Search Results for spécification.

Specification development

2026-01-01T15:44:52Z

Author Lalanne, Christian. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470611975
Format: Electronic Resources
Availability Online Library~1

Specification development

2026-01-01T15:44:52Z

Author Lalanne, Christian, author.
Preferred Shelf Number ONLINE(342052.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118931219
Format: Electronic Resources
Availability Online Library~1

Specification for tunnelling

2026-01-01T15:44:52Z

Author British Tunnelling Society. Institution of Civil Engineers (Great Britain)
Preferred Shelf Number ONLINE(321490.1)
Electronic Access Knovel http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling
Format: Electronic Resources
Availability Online Library~1

Software specification methods

2026-01-01T15:44:52Z

Author Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html John Wiley http://dx.doi.org/10.1002/9780470612514
Format: Electronic Resources
Availability Online Library~1

Specification writing and management

2026-01-01T15:44:52Z

Author McRobb, Max
Preferred Shelf Number TS 156 M39 1989 1.K
Format: Books
Availability Health Sciences Library~1

Logics of Specification Languages

2026-01-01T15:44:52Z

Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources
Availability Online Library~1

Specification of Software Systems

2026-01-01T15:44:52Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

Model specification for tunnelling

2026-01-01T15:44:52Z

Author The British Tunnelling Society. The Institution of Civil Engineers (Great Britain)
Preferred Shelf Number TA 804.G7 M63 1997
Format: Books
Availability Beytepe Library~1

Product Reliability Specification and Performance

2026-01-01T15:44:52Z

Author Murthy, Dodderi Narshima Prabhakar. author. Rausand, Marvin. author. Østerås, Trond. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-271-5
Format: Electronic Resources
Availability Online Library~1

From Specification to Embedded Systems Application

2026-01-01T15:44:52Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11523277
Format: Electronic Resources
Availability Online Library~1

Relative Deprivation Specification, Development, and Integration

2026-01-01T15:44:52Z

Author Walker, Iain. Smith, Heather J..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Structured analysis and system specification

2026-01-01T15:44:52Z

Author De Marco, Tom.
Preferred Shelf Number T 57.6 D45 1979
Format: Books
Availability Beytepe Library~1

Specification and uses of econometric models

2026-01-01T15:44:52Z

Author Brown Tillman Merritt,d1913-
Preferred Shelf Number HB 74 M3 B77 1970
Format: Books
Availability Beytepe Library~1

Key to technical translation. Vol 1, Concept specification

2026-01-01T15:44:52Z

Author Hann, Michael.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654
Format: Electronic Resources
Availability Online Library~1

Toward a Semantic Specification of Deep Case

2026-01-01T15:44:52Z

Author Nilsen, Don L., author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110815504 https://www.degruyter.com/isbn/9783110815504 Cover https://www.degruyter.com/document/cover/isbn/9783110815504/original
Format: Electronic Resources
Availability Online Library~1

Chromatin Regulation of Early Embryonic Lineage Specification

2026-01-01T15:44:52Z

Author Knott, Jason. editor. Latham, Keith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63187-5
Format: Electronic Resources
Availability Online Library~1

Formal Specification Level Concepts, Methods, and Algorithms

2026-01-01T15:44:52Z

Author Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08699-6
Format: Electronic Resources
Availability Online Library~1

Concrete mix design, quality control and specification

2026-01-01T15:44:52Z

Author Day, Ken W., author. Aldred, James, author. Hudson, Barry, author.
Preferred Shelf Number TA439 .D39 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Specification and Verification of Multi-agent Systems

2026-01-01T15:44:52Z

Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: Electronic Resources
Availability Online Library~1

Software specification and design : an engineering approach

2026-01-01T15:44:52Z

Author Munson, John C., author.
Preferred Shelf Number QA76.76 .D47 M853 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Concrete mix design, quality control, and specification

2026-01-01T15:44:52Z

Author Day, Ken W.
Preferred Shelf Number TA 439 D39 1999
Format: Books
Availability Beytepe Library~2

ICE specification for piling and embedded retaining walls

2026-01-01T15:44:52Z

Author Institution of Civil Engineers (Great Britain)
Preferred Shelf Number ONLINE(312995.1)
Electronic Access Knovel http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling Knovel http://app.knovel.com/web/toc.v/cid:kpICESPER4
Format: Electronic Resources
Availability Online Library~1

Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989

2026-01-01T15:44:52Z

Author 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.
Preferred Shelf Number TK 5105.5 I3426 1990
Format: Books
Availability Beytepe Library~1

Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984

2026-01-01T15:44:52Z

Author IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.
Preferred Shelf Number TK 5105.5 I342 1984
Format: Books
Availability Beytepe Library~1

Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982

2026-01-01T15:44:52Z

Author IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.
Preferred Shelf Number TK 5105.5 I342 1982
Format: Books
Availability Beytepe Library~1

Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

2026-01-01T15:44:52Z

Author Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26651-5
Format: Electronic Resources
Availability Online Library~1

Security Policy in System-on-Chip Designs Specification, Implementation and Verification

2026-01-01T15:44:52Z

Author Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93464-8
Format: Electronic Resources
Availability Online Library~1

High Efficiency Video Coding Coding Tools and Specification

2026-01-01T15:44:52Z

Author Wien, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44276-0
Format: Electronic Resources
Availability Online Library~1

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2026-01-01T15:44:52Z

Author Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54624-2
Format: Electronic Resources
Availability Online Library~1

An ASIC Low Power Primer Analysis, Techniques and Specification

2026-01-01T15:44:52Z

Author Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331464.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: Electronic Resources
Availability Online Library~1

Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr

2026-01-01T15:44:52Z

Author Chen, Xiaohong. editor. Swanson, Norman R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331278.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1653-1
Format: Electronic Resources
Availability Online Library~1

Manual of engineering drawing technical product specification and documentation to British and international standards

2026-01-01T15:44:52Z

Author Simmons, C. H. (Colin H.) Phelps, Neil. Maguire, Dennis E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080966526
Format: Electronic Resources
Availability Online Library~1

System Specification and Design Languages Selected Contributions from FDL 2010

2026-01-01T15:44:52Z

Author Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: Electronic Resources
Availability Online Library~1

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

2026-01-01T15:44:52Z

Author Storm, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Algebraic Specification and Formal Software Development

2026-01-01T15:44:52Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

2026-01-01T15:44:52Z

Author Molter, H. Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-658-00397-5
Format: Electronic Resources
Availability Online Library~1

Autonomic networking-on-chip : bio-inspired specification, development, and verification

2026-01-01T15:44:52Z

Author Cong-Vinh, Phan.
Preferred Shelf Number TK5105.546 .A98 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Tonal Accents in Norwegian : Phonology, morphology and lexical specification

2026-01-01T15:44:52Z

Author Wetterlin, Allison, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110234381 https://www.degruyter.com/isbn/9783110234381 Cover https://www.degruyter.com/document/cover/isbn/9783110234381/original
Format: Electronic Resources
Availability Online Library~1

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification

2026-01-01T15:44:52Z

Author Gamatie, Abdoulaye. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: Electronic Resources
Availability Online Library~1

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip

2026-01-01T15:44:52Z

Author Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0959-6
Format: Electronic Resources
Availability Online Library~1

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

2026-01-01T15:44:52Z

Author Borrione, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9304-2
Format: Electronic Resources
Availability Online Library~1

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2026-01-01T15:44:52Z

Author Montali, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14538-4
Format: Electronic Resources
Availability Online Library~1

Developing Business Application Systems On the Specification and Selection of Software Components and Services

2026-01-01T15:44:52Z

Author Skroch, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8349-8858-4
Format: Electronic Resources
Availability Online Library~1

Theory building for hypothesis specification in organizational studies

2026-01-01T15:44:52Z

Author Pawar, Badrinarayan Shankar, 1962-
Preferred Shelf Number ONLINE(369762.1)
Electronic Access SAGE knowledge http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies
Format: Electronic Resources
Availability Online Library~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2026-01-01T15:44:52Z

Author Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Electronic Resources
Availability Online Library~1

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

2026-01-01T15:44:52Z

Author Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04164-8
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2026-01-01T15:44:52Z

Author Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2026-01-01T15:44:52Z

Author Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: Electronic Resources
Availability Online Library~1

Real-Time Systems Formal Specification and Automatic Verification

2026-01-01T15:44:52Z

Author Olderog, Ernst-Rüdiger. Dierks, Henning.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2026-01-01T15:44:52Z

Author Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2026-01-01T15:44:52Z

Author Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources
Availability Online Library~1

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2026-01-01T15:44:52Z

Author Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2026-01-01T15:44:52Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2026-01-01T15:44:52Z

Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752707
Format: Electronic Resources
Availability Online Library~1

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005

2026-01-01T15:44:52Z

Author Vachoux, A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-4998-9
Format: Electronic Resources
Availability Online Library~1

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings

2026-01-01T15:44:52Z

Author Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11955757
Format: Electronic Resources
Availability Online Library~1

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

2026-01-01T15:44:52Z

Author Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135596
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2026-01-01T15:44:52Z

Author Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136935
Format: Electronic Resources
Availability Online Library~1

Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidance

2026-01-01T15:44:52Z

Author Groten, Martin. Janda, Ralf. Latta, Mark.
Preferred Shelf Number WU 190 G8813 2004
Format: Books
Availability Health Sciences Library~1

The green guide to specification an environmental profiling system for building materials and components

2026-01-01T15:44:52Z

Author Anderson, Jane B.A., MSc. Shiers, David. Sinclair, Mike. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470690666
Format: Electronic Resources
Availability Online Library~1

Electromagnetic anechoic chambers a fundamental design and specification guide

2026-01-01T15:44:52Z

Author Hemming, Leland H. IEEE Electromagnetic Compatibility Society. IEEE Antennas and Propagation Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273701
Format: Electronic Resources
Availability Online Library~1

Cold-formed steel structures to the AISI specification

2026-01-01T15:44:52Z

Author Hancock, Gregory J., author. Murray, Thomas M., 1940- author. Ellifritt, Duane S., author.
Preferred Shelf Number TA684 .H345 2001 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429207778 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Architectural electromagnetic shielding handbook a design and specification guide

2026-01-01T15:44:52Z

Author Hemming, Leland H. Institute of Electrical and Electronics Engineers.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265560
Format: Electronic Resources
Availability Online Library~1

Distributed system : methods and tools for specification : an advanced course

2026-01-01T15:44:52Z

Author Alford, M. F. Paul, M., ed. Siegert, H. J., ed.
Preferred Shelf Number QA 76.9.D5 D5937 1985
Format: Books
Availability Beytepe Library~1

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.

2026-01-01T15:44:52Z

Author U. S. Forest Products Laboratory, Madison, Wis.
Preferred Shelf Number TA 419 U63 1955
Format: Books
Availability Beytepe Library~1

It-Clefts : Empirical and Theoretical Surveys and Advances

2026-01-01T15:44:52Z

Author Belletti, Adriana, contributor. Bertollo, Sabrina, contributor. Bocci, Giuliano, contributor. Bonan, Caterina, contributor. Bonan, Caterina, editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110734140 https://www.degruyter.com/isbn/9783110734140 Cover https://www.degruyter.com/document/cover/isbn/9783110734140/original
Format: Electronic Resources
Availability Online Library~1

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

2026-01-01T15:44:52Z

Author Dimitrakos, Theo. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-16088-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

2026-01-01T15:44:52Z

Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39386-0
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

2026-01-01T15:44:52Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33498-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2026-01-01T15:44:52Z

Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27481-7
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings

2026-01-01T15:44:52Z

Author Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42921-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

2026-01-01T15:44:52Z

Author Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48539-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third Doctoral Symposium on Computational Intelligence DoSCI 2022

2026-01-01T15:44:52Z

Author Khanna, Ashish. editor. Gupta, Deepak. editor. Kansal, Vineet. editor. Fortino, Giancarlo. editor. Hassanien, Aboul Ella. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3148-2
Format: Electronic Resources
Availability Online Library~1

The Networking of Chaperones by Co-Chaperones

2026-01-01T15:44:52Z

Author Edkins, Adrienne L. editor. Blatch, Gregory L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-14740-1
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Verification From Model Checking to Annotation Checking

2026-01-01T15:44:52Z

Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30167-4
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-01-01T15:44:52Z

Author Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30826-0
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

2026-01-01T15:44:52Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29476-1
Format: Electronic Resources
Availability Online Library~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2026-01-01T15:44:52Z

Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33163-3
Format: Electronic Resources
Availability Online Library~1

Pluripotent Stem Cell Therapy for Diabetes

2026-01-01T15:44:52Z

Author Piemonti, Lorenzo. editor. Odorico, Jon. editor. Kieffer, Timothy J . editor. Sordi, Valeria. editor. de Koning, Eelco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41943-0
Format: Electronic Resources
Availability Online Library~1

Hair Cell Regeneration

2026-01-01T15:44:52Z

Author Warchol, Mark E. editor. Stone, Jennifer S. editor. Coffin, Allison B. editor. Popper, Arthur N. editor. Fay, Richard R. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20661-0
Format: Electronic Resources
Availability Online Library~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2026-01-01T15:44:52Z

Author Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28332-1
Format: Electronic Resources
Availability Online Library~1

Neurogenetics Current Topics in Cellular and Developmental Neurobiology

2026-01-01T15:44:52Z

Author Egger, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-07793-7
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings

2026-01-01T15:44:52Z

Author Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34586-9
Format: Electronic Resources
Availability Online Library~1

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2026-01-01T15:44:52Z

Author Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21203-1
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2026-01-01T15:44:52Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2026-01-01T15:44:52Z

Author Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40132-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-01-01T15:44:52Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation

2026-01-01T15:44:52Z

Author Ioannides, Marinos. editor. Patias, Petros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35593-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

2026-01-01T15:44:52Z

Author Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42441-0
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

2026-01-01T15:44:52Z

Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44267-4
Format: Electronic Resources
Availability Online Library~1

Principles of Radical CV Phonology : A Theory of Segmental and Syllabic Structure

2026-01-01T15:44:52Z

Author van der Hulst, Harry, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9781474454681?locatt=mode:legacy https://www.degruyter.com/isbn/9781474454681 Cover https://www.degruyter.com/document/cover/isbn/9781474454681/original
Format: Electronic Resources
Availability Online Library~1

Experimental Insights into the Syntax of Romanian Ditransitives

2026-01-01T15:44:52Z

Author Tigău, Alina, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9781501513657 https://www.degruyter.com/isbn/9781501513657 Cover https://www.degruyter.com/document/cover/isbn/9781501513657/original
Format: Electronic Resources
Availability Online Library~1

Pump user's handbook : life extension

2026-01-01T15:44:52Z

Author Bloch, Heinz P., 1933- author. Budris, Allan R., author.
Preferred Shelf Number TJ900
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003151807 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Language and Politics

2026-01-01T15:44:52Z

Author Apte, Mahadev L., contributor. Bailey, F. G., contributor. Bretton, Henry L., contributor. Conti, Eugene A., contributor. DuBow, Fred, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110807134 https://www.degruyter.com/isbn/9783110807134 Cover https://www.degruyter.com/document/cover/isbn/9783110807134/original
Format: Electronic Resources
Availability Online Library~1

Avionics : elements, software and functions

2026-01-01T15:44:52Z

Author Spitzer, Cary R., author. Spitzer, Cary R., editor.
Preferred Shelf Number TL695
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315222240 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören

2026-01-01T15:44:52Z

Author Yilmaz, Levent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15096-3
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers

2026-01-01T15:44:52Z

Author Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29133-8
Format: Electronic Resources
Availability Online Library~1

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

2026-01-01T15:44:52Z

Author Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12838-2
Format: Electronic Resources
Availability Online Library~1

E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings

2026-01-01T15:44:52Z

Author Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17957-5
Format: Electronic Resources
Availability Online Library~1

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2026-01-01T15:44:52Z

Author Štuikys, Vytautas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16913-2
Format: Electronic Resources
Availability Online Library~1

Aspect-Oriented Security Hardening of UML Design Models

2026-01-01T15:44:52Z

Author Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16106-8
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings

2026-01-01T15:44:52Z

Author Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16354-3
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2026-01-01T15:44:52Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17404-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2026-01-01T15:44:52Z

Author Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19458-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2026-01-01T15:44:52Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21690-4
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-01-01T15:44:52Z

Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2026-01-01T15:44:52Z

Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2026-01-01T15:44:52Z

Author Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources
Availability Online Library~1

FPGA Design Best Practices for Team-based Reuse

2026-01-01T15:44:52Z

Author Simpson, Philip Andrew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17924-7
Format: Electronic Resources
Availability Online Library~1

Development and Reproduction in Humans and Animal Model Species

2026-01-01T15:44:52Z

Author Mueller, Werner A. author. Hassel, Monika. author. Grealy, Maura. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43784-1
Format: Electronic Resources
Availability Online Library~1

The Networking of Chaperones by Co-chaperones Control of Cellular Protein Homeostasis

2026-01-01T15:44:52Z

Author Blatch, Gregory Lloyd. editor. Edkins, Adrienne Lesley. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11731-7
Format: Electronic Resources
Availability Online Library~1

Vertebrate Myogenesis Stem Cells and Precursors

2026-01-01T15:44:52Z

Author Brand-Saberi, Beate. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44608-9
Format: Electronic Resources
Availability Online Library~1

Stem Cells in the Lung Development, Repair and Regeneration

2026-01-01T15:44:52Z

Author Bertoncello, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21082-7
Format: Electronic Resources
Availability Online Library~1

Formalisms for Reuse and Systems Integration

2026-01-01T15:44:52Z

Author Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16577-6
Format: Electronic Resources
Availability Online Library~1

The Morpheme : A Theoretical Introduction

2026-01-01T15:44:52Z

Author Embick, David, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9781501502569 https://www.degruyter.com/isbn/9781501502569 Cover https://www.degruyter.com/document/cover/isbn/9781501502569/original
Format: Electronic Resources
Availability Online Library~1

Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics

2026-01-01T15:44:52Z

Author Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15847-1
Format: Electronic Resources
Availability Online Library~1

Modelling Behaviour Design Modelling Symposium 2015

2026-01-01T15:44:52Z

Author Thomsen, Mette Ramsgaard. editor. Tamke, Martin. editor. Gengnagel, Christoph. editor. Faircloth, Billie. editor. Scheurer, Fabian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24208-8
Format: Electronic Resources
Availability Online Library~1

Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014

2026-01-01T15:44:52Z

Author Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2274-3
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2026-01-01T15:44:52Z

Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23485-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2026-01-01T15:44:52Z

Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2026-01-01T15:44:52Z

Author Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources
Availability Online Library~1

Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings

2026-01-01T15:44:52Z

Author Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21783-3
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2026-01-01T15:44:52Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27218-4
Format: Electronic Resources
Availability Online Library~1

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 2015

2026-01-01T15:44:52Z

Author Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-09994-7
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

2026-01-01T15:44:52Z

Author Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19069-3
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2026-01-01T15:44:52Z

Author de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19584-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2026-01-01T15:44:52Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013

2026-01-01T15:44:52Z

Author Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06317-1
Format: Electronic Resources
Availability Online Library~1

Taurine 9

2026-01-01T15:44:52Z

Author Marcinkiewicz, Janusz. editor. Schaffer, Stephen W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15126-7
Format: Electronic Resources
Availability Online Library~1

New Research in Multimedia and Internet Systems

2026-01-01T15:44:52Z

Author Zgrzywa, Aleksander. editor. Choroś, Kazimierz. editor. Siemiński, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10383-9
Format: Electronic Resources
Availability Online Library~1

Geotechnical engineering of dams

2026-01-01T15:44:52Z

Author Fell, Robin, author.
Preferred Shelf Number TC540 .F45 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Preventing medical device recalls

2026-01-01T15:44:52Z

Author Raheja, Dev, author.
Preferred Shelf Number R859.7 .S43 P74 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Phonology and Morphology of the Germanic Languages

2026-01-01T15:44:52Z

Author Alber, Birgit, contributor. Booij, Geert, contributor. Golston, Chris, contributor. Grijzenhout, Janet, contributor. Hülst, Harry van der, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110919769 https://www.degruyter.com/isbn/9783110919769 Cover https://www.degruyter.com/document/cover/isbn/9783110919769/original
Format: Electronic Resources
Availability Online Library~1

Nano-scale CMOS analog circuits : models and CAD techniques for high-level design

2026-01-01T15:44:52Z

Author Pandit, Soumya, author. Mandal, Chittaranjan, author. Patra, Amit, author.
Preferred Shelf Number TK7871.99 .M44 P36 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Reflective Cracking in Pavements : State of the Art and Design Recommendations

2026-01-01T15:44:52Z

Author Degeimbre, R., editor. Francken, L., editor. Rigo, J.M., editor.
Preferred Shelf Number TE220.3 R445 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Fundamentals and evolution of MPEG-2 systems : paving the MPEG road

2026-01-01T15:44:52Z

Author Meer, Jan van der (Electrical engineer), author.
Preferred Shelf Number ONLINE(341932.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9780470974339.jpg John Wiley http://dx.doi.org/10.1002/9781118875926
Format: Electronic Resources
Availability Online Library~1

Gas insulated substations

2026-01-01T15:44:52Z

Author Koch, Hermann, 1954- editor.
Preferred Shelf Number ONLINE(341674.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118694534
Format: Electronic Resources
Availability Online Library~1

Current interruption transients calculation

2026-01-01T15:44:52Z

Author Peelo, David F., author.
Preferred Shelf Number ONLINE(341696.1)
Electronic Access CLICK HERE for online access http://dx.doi.org/10.1002/9781118707227 Books24x7 http://www.books24x7.com/marc.asp?bookid=63509
Format: Electronic Resources
Availability Online Library~1

Prestressed Concrete Designer's Handbook, Third ed

2026-01-01T15:44:52Z

Author Abeles, P.W., author. Bardhan-Roy, B K, author.
Preferred Shelf Number TA683.9 A245 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Concrete Masonry Designer's Handbook, Second Edition

2026-01-01T15:44:52Z

Author Fried, Anton, author. Roberts, J.J., author. Tovey, Alan, author.
Preferred Shelf Number TH1491 .F754 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of Missing Data Methodology

2026-01-01T15:44:52Z

Author Molenberghs, Geert, author. Fitzmaurice, Garrett, editor. Kenward, Michael G., editor. Tsiatis, Anastasios, editor. Verbeke, Geert, editor.
Preferred Shelf Number QA276 .M654 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software engineering mathematics

2026-01-01T15:44:52Z

Author Woodcock, Janet, author. Taylor and Francis.
Preferred Shelf Number QA76.758 .W661989
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Concrete durability

2026-01-01T15:44:52Z

Author Dyer, Thomas (Civil engineer), author.
Preferred Shelf Number TA440 .D894 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advanced risk analysis in engineering enterprise systems

2026-01-01T15:44:52Z

Author Pinto, Cesar Ariel., author. Garvey, Paul R., 1956-
Preferred Shelf Number TA169 .P56 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Netcentric system of systems engineering with DEVS unified process

2026-01-01T15:44:52Z

Author Mittal, Saurabh., author. Cetinkaya, Deniz. Risco-Martin, Jose Luis, 1975- Seck, Mamadou D. Verbraeck, Alexander.
Preferred Shelf Number TA168 .M58 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Usability evaluation for in-vehicle systems

2026-01-01T15:44:52Z

Author Harvey, Catherine, 1984, author. Stanton, Neville, 1960-
Preferred Shelf Number TL272.55 .H37 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Distinctive Feature Theory

2026-01-01T15:44:52Z

Author Avery, Peter, contributor. Clements, G. N., contributor. Ghini, Mirco, contributor. Grijzenhout, Janet, contributor. Hall, T. Alan, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110886672 https://www.degruyter.com/isbn/9783110886672 Cover https://www.degruyter.com/document/cover/isbn/9783110886672/original
Format: Electronic Resources
Availability Online Library~1

Aspect Bound : A Voyage into the Realm of Germanic, Slavonic and Finno-Ugrian Aspectology

2026-01-01T15:44:52Z

Author ANDERSSON, STIG-OLAV, contributor. ANDERSSON, SVEN-GUNNAR, contributor. BRIGDEN, NIGEL, contributor. DAHL, ÖSTEN, contributor. DE GROOT, CASPER, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110846195 https://www.degruyter.com/isbn/9783110846195 Cover https://www.degruyter.com/document/cover/isbn/9783110846195/original
Format: Electronic Resources
Availability Online Library~1

Health and safety at work revision guide for the NEBOSH National General Certificate

2026-01-01T15:44:52Z

Author Ferrett, Ed.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Coordinate measuring machines and systems

2026-01-01T15:44:52Z

Author Hocken, Robert J. Pereira, Paulo H.
Preferred Shelf Number TA165.5 .C66 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of analytical validation

2026-01-01T15:44:52Z

Author Swartz, Michael (Michael E.), author. Krull, Ira S., 1940-
Preferred Shelf Number QD75.4 .Q34 S93 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Expecting the Unexpected: Exceptions in Grammar

2026-01-01T15:44:52Z

Author Alexiadou, Artemis, contributor. Anderson, Stephen R., contributor. Corbett, Greville G., contributor. Cysouw, Michael, contributor. Dahl, Östen, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110219098 https://www.degruyter.com/isbn/9783110219098 Cover https://www.degruyter.com/document/cover/isbn/9783110219098/original
Format: Electronic Resources
Availability Online Library~1

History of Englishes : New Methods and Interpretations in Historical Linguistics

2026-01-01T15:44:52Z

Author Aertsen, Henk, contributor. Anderson, John, contributor. Bailey, Guy, contributor. Biber, Douglas, contributor. Blake, N. F., contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110877007 https://www.degruyter.com/isbn/9783110877007 Cover https://www.degruyter.com/document/cover/isbn/9783110877007/original
Format: Electronic Resources
Availability Online Library~1

The nature of translation : Essays on the theory and practice of literary translation

2026-01-01T15:44:52Z

Author BABLER, O. F., contributor. BALCERZAN, EDWARD, contributor. DOBOSSY, LÁSZLÓ, contributor. FERENČÍK, JÁN, contributor. GACHECHILADZE, GIVI R., contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110871098 https://www.degruyter.com/isbn/9783110871098 Cover https://www.degruyter.com/document/cover/isbn/9783110871098/original
Format: Electronic Resources
Availability Online Library~1

Advances in human factors, ergonomics, and safety in manufacturing and service industries

2026-01-01T15:44:52Z

Author Karwowski, Waldemar, 1953- Salvendy, Gavriel, 1938-
Preferred Shelf Number TA166 .A383 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Reproductive physiology in plants

2026-01-01T15:44:52Z

Author Stewart, Philip, 1974- Globig, Sabine, 1949-
Preferred Shelf Number QK825 .R47 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Distillation control, optimization, and tuning : fundamentals and strategies

2026-01-01T15:44:52Z

Author Robbins, Lanny., author.
Preferred Shelf Number TP156 .D5 R625 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Pharmaceutical water : system design, operation, and validation

2026-01-01T15:44:52Z

Author Collentro, William V., author.
Preferred Shelf Number RS199 .W37 C64 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mining software specifications : methodologies and applications

2026-01-01T15:44:52Z

Author Lo, David.
Preferred Shelf Number QA76.9 .D343 M558 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Lectures on Government and Binding : The Pisa Lectures

2026-01-01T15:44:52Z

Author Chomsky, Noam, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110884166 https://www.degruyter.com/isbn/9783110884166 Cover https://www.degruyter.com/document/cover/isbn/9783110884166/original
Format: Electronic Resources
Availability Online Library~1

Spatial data quality : from process to decisions

2026-01-01T15:44:52Z

Author Devillers, Rodolphe. Goodchild, H. (Helen)
Preferred Shelf Number G70.212 .S648 2010
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781439810132 Taylor & Francis https://www.taylorfrancis.com/books/9780367806903 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Discrete-event modeling and simulation : theory and applications

2026-01-01T15:44:52Z

Author Mosterman, Pieter J. Wainer, Gabriel A.
Preferred Shelf Number TA168 .D566 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Tubular structures XIII : proceedings of the 13th International Symposium on Tubular Structures, Hong Kong, China, 15-17 December 2010

2026-01-01T15:44:52Z

Author International Symposium on Tubular Structures (13th : 2010 : Hong Kong, China) Young, Ben.
Preferred Shelf Number TA684 .I58 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Thin-film optical filters

2026-01-01T15:44:52Z

Author Macleod, H. A. (Hugh Angus), author.
Preferred Shelf Number QC373 .L5 M34 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Variation and Gradience in Phonetics and Phonology

2026-01-01T15:44:52Z

Author Bergmann, Pia, contributor. Christophe, Anne, contributor. Cristófaro-Silva, Thaïs, contributor. Darcy, Isabelle, contributor. Dupoux, Emmanuel, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110219326 https://www.degruyter.com/isbn/9783110219326 Cover https://www.degruyter.com/document/cover/isbn/9783110219326/original
Format: Electronic Resources
Availability Online Library~1

Laboratory Phonology 8

2026-01-01T15:44:52Z

Author Baayen, Harald, contributor. Baltazani, Mary, contributor. Best, Catherine T., editor. Brentari, Diane, contributor. Byrd, Dani, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110197211 https://www.degruyter.com/isbn/9783110197211 Cover https://www.degruyter.com/document/cover/isbn/9783110197211/original
Format: Electronic Resources
Availability Online Library~1

Boilers for power and process

2026-01-01T15:44:52Z

Author RayaProfilu, Kumar., author.
Preferred Shelf Number TJ263.5 .R388 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Process algebra for parallel and distributed processing

2026-01-01T15:44:52Z

Author Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-
Preferred Shelf Number QA76.58 .P7664 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multi-agent systems : simulation and applications

2026-01-01T15:44:52Z

Author Uhrmacher, Adelinde. Weyns, Danny.
Preferred Shelf Number QA76.76 .I58 M864 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Human-computer interaction. Development process

2026-01-01T15:44:52Z

Author Sears, Andrew. Jacko, Julie A.
Preferred Shelf Number QA76.9 .H85 H85653 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Modelling urban development with geographical information systems and cellular automata

2026-01-01T15:44:52Z

Author Liu, Yan, 1965 Oct. 29, author.
Preferred Shelf Number HT166 .L58 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Chromosome nanoscience and technology

2026-01-01T15:44:52Z

Author Fukui, Kiichi. Ushiki, Tatsuo, 1957-
Preferred Shelf Number QH600 .C4943 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Implementing electronic document and record management systems

2026-01-01T15:44:52Z

Author Adam, Azad., author.
Preferred Shelf Number HF5738 .A32 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software solutions for engineers and scientists

2026-01-01T15:44:52Z

Author Sanchez, Julio, 1938- author. Canton, Maria P.
Preferred Shelf Number TA345 .S31535 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Steel-reinforced concrete structures : assessment and repair of corrosion

2026-01-01T15:44:52Z

Author El-Reedy, Mohamed A. (Mohamed Abdallah), author.
Preferred Shelf Number TA445.5 .E47 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The Internet of things : from RFID to the next-generation pervasive networked systems

2026-01-01T15:44:52Z

Author Yan, Lu.
Preferred Shelf Number QA76.5915 .I68 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of machining with grinding wheels

2026-01-01T15:44:52Z

Author Marinescu, Ioan D.
Preferred Shelf Number TJ1280 .H425 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

What every engineer should know about software engineering

2026-01-01T15:44:52Z

Author Laplante, Phillip A., author.
Preferred Shelf Number QA76.758 .L327 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Validation and qualification in analytical laboratories

2026-01-01T15:44:52Z

Author Huber, Ludwig, 1948-
Preferred Shelf Number QV 744 H877 2007
Format: Books
Availability Health Sciences Library~1

Nonlinear time series : semiparametric and nonparametric methods

2026-01-01T15:44:52Z

Author Gao, Jiti, 1962, author.
Preferred Shelf Number QA280 .G36 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Validation and qualification in analytical laboratories

2026-01-01T15:44:52Z

Author Huber, Ludwig, 1948- author.
Preferred Shelf Number QD75.4 .Q34 H83 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded systems handbook

2026-01-01T15:44:52Z

Author Zurawski, Richard.
Preferred Shelf Number TK7895 .E42 E64 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

EDA for IC system design, verification, and testing

2026-01-01T15:44:52Z

Author Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Louis Kossuth.
Preferred Shelf Number TK7874 .E26 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The practical handbook of Internet computing

2026-01-01T15:44:52Z

Author Singh, Munindar P. (Munindar Paul), 1964-
Preferred Shelf Number QA76.625 .P73 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The industrial information technology handbook

2026-01-01T15:44:52Z

Author Zurawski, Richard.
Preferred Shelf Number T58.5 .I513 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Shotcrete : more engineering developments : proceedings of the Second International Conference on Engineering Developments in Shotcrete, 4 October 2004, Cairns, Queensland, Australia

2026-01-01T15:44:52Z

Author International Conference on Engineering Developments in Shotcrete (2nd : 2004 : airns, Qld.) Bernard, E. Stefan (Erik Stefan)
Preferred Shelf Number TA446 .I58 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Isolation technology : a practical guide

2026-01-01T15:44:52Z

Author Coles, Tim P.
Preferred Shelf Number RS192 .C645 2004 EB
Electronic Access Taylor & Francis http://www.taylorfrancis.com/books/9781420025842 Taylor & Francis https://www.taylorfrancis.com/books/9781420025842 Taylor & Francis https://www.taylorfrancis.com/books/9780367801182 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Generalized latent variable modeling : multilevel, longitudinal, and structural equation models

2026-01-01T15:44:52Z

Author Skrondal, Anders., author. Rabe-Hesketh, S.
Preferred Shelf Number QA278.6 .S57 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Testing computer systems for FDA/MHRA compliance

2026-01-01T15:44:52Z

Author Stokes, David., author.
Preferred Shelf Number RS418 .S76 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computer-aided econometrics

2026-01-01T15:44:52Z

Author Giles, David E. A., 1949-
Preferred Shelf Number HB139 .C647 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software engineering measurement

2026-01-01T15:44:52Z

Author Munson, John C., author.
Preferred Shelf Number QA76.76 .S65 M86 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Inverse engineering handbook

2026-01-01T15:44:52Z

Author Woodbury, Keith A.
Preferred Shelf Number TA647 .D45 I575 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software engineering handbook

2026-01-01T15:44:52Z

Author Keyes, Jessica, 1950, author.
Preferred Shelf Number QA76.758 .K48 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Thin-film optical filters

2026-01-01T15:44:52Z

Author Macleod, H. A. (Hugh Angus), author.
Preferred Shelf Number QC373 .L5 M34 2001
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software testing and continuous quality improvement

2026-01-01T15:44:52Z

Author Lewis, William E., author.
Preferred Shelf Number QA76.76 .T48 L495 2000
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Centrifugal and rotary pumps : fundamentals with applications

2026-01-01T15:44:52Z

Author Nelik, Lev., author.
Preferred Shelf Number TJ919 .N34 1999
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Introductory medical statistics

2026-01-01T15:44:52Z

Author Mould, Richard F. (Richard Francis), author.
Preferred Shelf Number R853 .S7 M685 1998
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Concrete materials : problems and solutions

2026-01-01T15:44:52Z

Author Levitt, M., author.
Preferred Shelf Number TA439 .L442 1997
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

An introduction to programming with specifications a mathematical approach

2026-01-01T15:44:52Z

Author Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: Electronic Resources
Availability Online Library~1