Search Results for spécification.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsp$0025C3$0025A9cification.$0026te$003dILS$0026ps$003d300?2024-10-27T04:35:58ZSpecification developmentent://SD_ILS/0/SD_ILS:2979982024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Lalanne, Christian. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470611975">http://dx.doi.org/10.1002/9780470611975</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification developmentent://SD_ILS/0/SD_ILS:3420522024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Lalanne, Christian, author.<br/>Preferred Shelf Number ONLINE(342052.1)<br/>Electronic Access ebrary <a href="http://alltitles.ebrary.com/Doc?id=10862673">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118931219">http://dx.doi.org/10.1002/9781118931219</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification for tunnellingent://SD_ILS/0/SD_ILS:3214902024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor British Tunnelling Society. Institution of Civil Engineers (Great Britain)<br/>Preferred Shelf Number ONLINE(321490.1)<br/>Electronic Access Knovel <a href="http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling">http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software specification methodsent://SD_ILS/0/SD_ILS:3023622024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html">http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470612514">http://dx.doi.org/10.1002/9780470612514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification writing and managementent://SD_ILS/0/SD_ILS:538272024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor McRobb, Max<br/>Preferred Shelf Number TS 156 M39 1989 1.K<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:1870562024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model specification for tunnellingent://SD_ILS/0/SD_ILS:240412024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor The British Tunnelling Society. The Institution of Civil Engineers (Great Britain)<br/>Preferred Shelf Number TA 804.G7 M63 1997<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Product Reliability Specification and Performanceent://SD_ILS/0/SD_ILS:1757902024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Murthy, Dodderi Narshima Prabhakar. author. Rausand, Marvin. author. Østerås, Trond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-271-5">http://dx.doi.org/10.1007/978-1-84800-271-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Specification to Embedded Systems Applicationent://SD_ILS/0/SD_ILS:1653902024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relative Deprivation Specification, Development, and Integrationent://SD_ILS/0/SD_ILS:2381732024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Walker, Iain. Smith, Heather J..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511527753">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured analysis and system specificationent://SD_ILS/0/SD_ILS:474502024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor De Marco, Tom.<br/>Preferred Shelf Number T 57.6 D45 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Specification and uses of econometric modelsent://SD_ILS/0/SD_ILS:81022024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Brown Tillman Merritt,d1913-<br/>Preferred Shelf Number HB 74 M3 B77 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Key to technical translation. Vol 1, Concept specificationent://SD_ILS/0/SD_ILS:2793012024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hann, Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Chromatin Regulation of Early Embryonic Lineage Specificationent://SD_ILS/0/SD_ILS:4025752024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Knott, Jason. editor. Latham, Keith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63187-5">https://doi.org/10.1007/978-3-319-63187-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concrete mix design, quality control and specificationent://SD_ILS/0/SD_ILS:3427322024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Day, Ken W., author. Aldred, James, author. Hudson, Barry, author.<br/>Preferred Shelf Number ONLINE(342732.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203127797">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification and Verification of Multi-agent Systemsent://SD_ILS/0/SD_ILS:1727412024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software specification and design an engineering approachent://SD_ILS/0/SD_ILS:2873862024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Munson, John C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203496299">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concrete mix design, quality control, and specificationent://SD_ILS/0/SD_ILS:946212024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Day, Ken W.<br/>Preferred Shelf Number TA 439 D39 1999<br/>Format: Books<br/>Availability Beytepe Library~2<br/>ICE specification for piling and embedded retaining wallsent://SD_ILS/0/SD_ILS:3129952024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Institution of Civil Engineers (Great Britain)<br/>Preferred Shelf Number ONLINE(312995.1)<br/>Electronic Access Knovel <a href="http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling">http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling</a>
Knovel <a href="http://app.knovel.com/web/toc.v/cid:kpICESPER4">http://app.knovel.com/web/toc.v/cid:kpICESPER4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989ent://SD_ILS/0/SD_ILS:373732024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification (9th : 1989 : Enschede, The Netherlands) Brinksma, E., ed. Scollo, G., ed. Vissers, C.A., ed.<br/>Preferred Shelf Number TK 5105.5 I3426 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984ent://SD_ILS/0/SD_ILS:373722024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.<br/>Preferred Shelf Number TK 5105.5 I342 1984<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982ent://SD_ILS/0/SD_ILS:373712024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.<br/>Preferred Shelf Number TK 5105.5 I342 1982<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Security Policy in System-on-Chip Designs Specification, Implementation and Verificationent://SD_ILS/0/SD_ILS:4829202024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93464-8">https://doi.org/10.1007/978-3-319-93464-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugient://SD_ILS/0/SD_ILS:4872122024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jrent://SD_ILS/0/SD_ILS:3312782024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Chen, Xiaohong. editor. Swanson, Norman R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1653-1">http://dx.doi.org/10.1007/978-1-4614-1653-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An ASIC Low Power Primer Analysis, Techniques and Specificationent://SD_ILS/0/SD_ILS:3314642024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331464.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4271-4">http://dx.doi.org/10.1007/978-1-4614-4271-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomic networking-on-chip bio-inspired specification, development, and verificationent://SD_ILS/0/SD_ILS:2871132024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Cong-Vinh, Phan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829134">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Manual of engineering drawing technical product specification and documentation to British and international standardsent://SD_ILS/0/SD_ILS:1469782024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Simmons, C. H. (Colin H.) Phelps, Neil. Maguire, Dennis E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080966526">http://www.sciencedirect.com/science/book/9780080966526</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Algebraic Specification and Formal Software Developmentent://SD_ILS/0/SD_ILS:1935722024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computationent://SD_ILS/0/SD_ILS:1976682024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Molter, H. Gregor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemesent://SD_ILS/0/SD_ILS:1989172024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Storm, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2381-6">http://dx.doi.org/10.1007/978-3-8348-2381-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Specification and Design Languages Selected Contributions from FDL 2010ent://SD_ILS/0/SD_ILS:1739372024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1427-8">http://dx.doi.org/10.1007/978-1-4614-1427-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developing Business Application Systems On the Specification and Selection of Software Components and Servicesent://SD_ILS/0/SD_ILS:2019282024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Skroch, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-8858-4">http://dx.doi.org/10.1007/978-3-8349-8858-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specificationent://SD_ILS/0/SD_ILS:1721042024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Gamatie, Abdoulaye. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0941-1">http://dx.doi.org/10.1007/978-1-4419-0941-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chipent://SD_ILS/0/SD_ILS:1721092024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0959-6">http://dx.doi.org/10.1007/978-1-4419-0959-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification and Verification of Declarative Open Interaction Models A Logic-Based Approachent://SD_ILS/0/SD_ILS:1926882024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009ent://SD_ILS/0/SD_ILS:2054572024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Borrione, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9304-2">http://dx.doi.org/10.1007/978-90-481-9304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08ent://SD_ILS/0/SD_ILS:1706262024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Radetzki, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1908572024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory building for hypothesis specification in organizational studiesent://SD_ILS/0/SD_ILS:3697622024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Pawar, Badrinarayan Shankar, 1962-<br/>Preferred Shelf Number ONLINE(369762.1)<br/>Electronic Access SAGE knowledge <a href="http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies">http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-Time Systems Formal Specification and Automatic Verificationent://SD_ILS/0/SD_ILS:2361452024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Olderog, Ernst-Rüdiger. Dierks, Henning.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511619953">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems Specification and Design Languages Selected contributions from FDL’07ent://SD_ILS/0/SD_ILS:1701072024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Villar, Eugenio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8297-9">http://dx.doi.org/10.1007/978-1-4020-8297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papersent://SD_ILS/0/SD_ILS:1859922024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1858602024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69554-7">http://dx.doi.org/10.1007/978-3-540-69554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06ent://SD_ILS/0/SD_ILS:1697052024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Huss, Sorin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Global Specification and Validation of Embedded Systems Integrating Heterogeneous Componentsent://SD_ILS/0/SD_ILS:1697062024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005ent://SD_ILS/0/SD_ILS:1693402024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Vachoux, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4998-9">http://dx.doi.org/10.1007/978-1-4020-4998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1839522024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1855762024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04ent://SD_ILS/0/SD_ILS:1652372024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Boulet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830752024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidanceent://SD_ILS/0/SD_ILS:1118682024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Groten, Martin. Janda, Ralf. Latta, Mark.<br/>Preferred Shelf Number WU 190 G8813 2004<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>The green guide to specification an environmental profiling system for building materials and componentsent://SD_ILS/0/SD_ILS:2960322024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Anderson, Jane B.A., MSc. Shiers, David. Sinclair, Mike. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470690666">http://dx.doi.org/10.1002/9780470690666</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electromagnetic anechoic chambers a fundamental design and specification guideent://SD_ILS/0/SD_ILS:2497532024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hemming, Leland H. IEEE Electromagnetic Compatibility Society. IEEE Antennas and Propagation Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273701">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273701</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cold-formed steel structures to the AISI specificationent://SD_ILS/0/SD_ILS:2864012024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hancock, Gregory J. Murray, Thomas M., 1940- Ellifritt, Duane S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203907986">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architectural electromagnetic shielding handbook a design and specification guideent://SD_ILS/0/SD_ILS:2495862024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hemming, Leland H. Institute of Electrical and Electronics Engineers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265560">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265560</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed system : methods and tools for specification : an advanced courseent://SD_ILS/0/SD_ILS:325452024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Alford, M. F. Paul, M., ed. Siegert, H. J., ed.<br/>Preferred Shelf Number QA 76.9.D5 D5937 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Wood handbook : basic information on wood as a material of construction with data for its use in design and specification /U. S. Forest Products Laboratory, Madison, Wis.ent://SD_ILS/0/SD_ILS:472102024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor U. S. Forest Products Laboratory, Madison, Wis.<br/>Preferred Shelf Number TA 419 U63 1955<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212952024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521295.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Approaches for Cyber Security in Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:5201882024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Dimitrakos, Theo. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520188.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-16088-2">https://doi.org/10.1007/978-3-031-16088-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5204582024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520458.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34586-9">https://doi.org/10.1007/978-3-031-34586-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Software Verification From Model Checking to Annotation Checkingent://SD_ILS/0/SD_ILS:5205252024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208412024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520841.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30826-0">https://doi.org/10.1007/978-3-031-30826-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5209112024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520911.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5210732024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521073.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40132-9">https://doi.org/10.1007/978-3-031-40132-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5210952024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521095.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36889-9">https://doi.org/10.1007/978-3-031-36889-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisationent://SD_ILS/0/SD_ILS:5211032024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Ioannides, Marinos. editor. Patias, Petros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521103.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35593-6">https://doi.org/10.1007/978-3-031-35593-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5211202024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521120.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5207842024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Preferred Shelf Number XX(520784.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208682024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520868.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33498-6">https://doi.org/10.1007/978-3-031-33498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520889.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211442024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521144.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42921-7">https://doi.org/10.1007/978-3-031-42921-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213462024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521346.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48539-8">https://doi.org/10.1007/978-3-031-48539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212092024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521209.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pluripotent Stem Cell Therapy for Diabetesent://SD_ILS/0/SD_ILS:5222392024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Piemonti, Lorenzo. editor. Odorico, Jon. editor. Kieffer, Timothy J . editor. Sordi, Valeria. editor. de Koning, Eelco. editor.<br/>Preferred Shelf Number XX(522239.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41943-0">https://doi.org/10.1007/978-3-031-41943-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5205992024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520599.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39386-0">https://doi.org/10.1007/978-3-031-39386-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5184972024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518497.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17957-5">https://doi.org/10.1007/978-3-319-17957-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementationent://SD_ILS/0/SD_ILS:5186582024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Štuikys, Vytautas. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518658.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16913-2">https://doi.org/10.1007/978-3-319-16913-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5188402024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518840.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22969-0">https://doi.org/10.1007/978-3-319-22969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedingsent://SD_ILS/0/SD_ILS:5189772024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518977.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19458-5">https://doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190192024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519019.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19584-1">https://doi.org/10.1007/978-3-319-19584-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:5192972024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519297.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5193442024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number XX(519344.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16501-1">https://doi.org/10.1007/978-3-319-16501-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Örenent://SD_ILS/0/SD_ILS:5183402024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518340.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5183822024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.<br/>Preferred Shelf Number XX(518382.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29133-8">https://doi.org/10.1007/978-3-319-29133-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practiceent://SD_ILS/0/SD_ILS:5183992024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518399.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12838-2">https://doi.org/10.1007/978-3-319-12838-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5185252024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27218-4">https://doi.org/10.1007/978-3-319-27218-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015ent://SD_ILS/0/SD_ILS:5185282024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518528.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-09994-7">https://doi.org/10.1007/978-3-658-09994-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5185832024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.<br/>Preferred Shelf Number XX(518583.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21783-3">https://doi.org/10.1007/978-3-319-21783-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aspect-Oriented Security Hardening of UML Design Modelsent://SD_ILS/0/SD_ILS:5187222024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.<br/>Preferred Shelf Number XX(518722.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16106-8">https://doi.org/10.1007/978-3-319-16106-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5187632024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518763.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5187872024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518787.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16354-3">https://doi.org/10.1007/978-3-319-16354-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5187982024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518798.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188912024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518891.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5190072024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519007.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5190282024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519028.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191362024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519136.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191392024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals and evolution of MPEG-2 systems : paving the MPEG roadent://SD_ILS/0/SD_ILS:3419322024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Meer, Jan van der (Electrical engineer), author.<br/>Preferred Shelf Number ONLINE(341932.1)<br/>Electronic Access Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470974339.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470974339.jpg</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118875926">http://dx.doi.org/10.1002/9781118875926</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Gas insulated substationsent://SD_ILS/0/SD_ILS:3416742024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Koch, Hermann, 1954- editor.<br/>Preferred Shelf Number ONLINE(341674.1)<br/>Electronic Access ebrary <a href="http://alltitles.ebrary.com/Doc?id=10888213">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118694534">http://dx.doi.org/10.1002/9781118694534</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Current interruption transients calculationent://SD_ILS/0/SD_ILS:3416962024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Peelo, David F., author.<br/>Preferred Shelf Number ONLINE(341696.1)<br/>Electronic Access <a href="http://site.ebrary.com/lib/byuprovo/docDetail.action?docID=10831323">CLICK HERE for online access</a>
<a href="http://dx.doi.org/10.1002/9781118707227">http://dx.doi.org/10.1002/9781118707227</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=63509">http://www.books24x7.com/marc.asp?bookid=63509</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Contemporary high performance computing from petascale toward exascaleent://SD_ILS/0/SD_ILS:2917292024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Vetter, Jeffrey S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466568358">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced risk analysis in engineering enterprise systemsent://SD_ILS/0/SD_ILS:2871632024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Pinto, Cesar Ariel. Garvey, Paul R., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439826157">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Netcentric system of systems engineering with DEVS unified processent://SD_ILS/0/SD_ILS:2871742024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Mittal, Saurabh. Risco-Martn̕, Jos ̌Luis, 1975- Cetinkaya, Deniz. Verbraeck, Alexander. Seck, Mamadou D.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439827079">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Usability evaluation for in-vehicle systemsent://SD_ILS/0/SD_ILS:2899772024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Harvey, Catherine, 1984- Stanton, Neville, 1960-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466514300">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of analytical validationent://SD_ILS/0/SD_ILS:2876272024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Swartz, Michael (Michael E.) Krull, Ira S., 1940-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420014488">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordinate measuring machines and systemsent://SD_ILS/0/SD_ILS:2894452024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hocken, Robert J. Pereira, Paulo H.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420017533">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Health and safety at work revision guide for the NEBOSH National General Certificateent://SD_ILS/0/SD_ILS:2623672024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Ferrett, Ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203113813">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pharmaceutical water system design, operation, and validationent://SD_ILS/0/SD_ILS:2861082024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Collentro, William V., author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420077834">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reproductive physiology in plantsent://SD_ILS/0/SD_ILS:2890472024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Stewart, Philip, 1974- Globig, Sabine, 1949-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466561977">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mining software specifications methodologies and applicationsent://SD_ILS/0/SD_ILS:2897522024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Lo, David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439806272">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distillation control, optimization, and tuning fundamentals and strategiesent://SD_ILS/0/SD_ILS:2898592024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Robbins, Lanny.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439858004">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spatial data quality from process to decisionsent://SD_ILS/0/SD_ILS:2869572024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Devillers, Rodolphe. Goodchild, H. (Helen)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439810132">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thin-film optical filtersent://SD_ILS/0/SD_ILS:2914152024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Macleod, H. A. (Hugh Angus)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420073034">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete-event modeling and simulation theory and applicationsent://SD_ILS/0/SD_ILS:2878502024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Wainer, Gabriel A. Mosterman, Pieter J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420072341">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tubular structures XIII proceedings of the 13th International Symposium on Tubular Structures, Hong Kong, China, 15-17 December 2010ent://SD_ILS/0/SD_ILS:2861732024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor International Symposium on Tubular Structures (13th : 2010 : Hong Kong, China) Young, Ben.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439862988">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Chromosome nanoscience and technologyent://SD_ILS/0/SD_ILS:2868962024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Fukui, Kiichi. Ushiki, Tatsuo, 1957-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420044928">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Validation and qualification in analytical laboratoriesent://SD_ILS/0/SD_ILS:2847812024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Huber, Ludwig, 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780849382680">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Validation and qualification in analytical laboratoriesent://SD_ILS/0/SD_ILS:1091352024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Huber, Ludwig, 1948-<br/>Preferred Shelf Number QV 744 H877 2007<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>Geotechnical engineering of damsent://SD_ILS/0/SD_ILS:2856742024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Fell, Robin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780415889322">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pavements unbound proceedings of the 6th International Symposium on Pavements Unbound (UNBAR 6) : 6-8 July 2004, Nottingham, Englandent://SD_ILS/0/SD_ILS:2897972024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor International Symposium on Pavements Unbound (6th : 2004 : Nottingham, England) Dawson, A. R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439833803">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer-aided econometricsent://SD_ILS/0/SD_ILS:2901182024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Giles, David E. A., 1949-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203911570">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introductory medical statisticsent://SD_ILS/0/SD_ILS:2879512024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Mould, Richard F. (Richard Francis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439833681">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Development and formulation of veterinary dosage formsent://SD_ILS/0/SD_ILS:2884542024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Hardee, Gregory E., 1952- Baggot, J. Desmond.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420001860">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562024-10-27T04:35:58Z2024-10-27T04:35:58ZAuthor Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>