Limit Search Results
Author
SpringerLink (Online service)
(73)
Dastani, Mehdi. editor.
(3)
Wiley InterScience (Online service)
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Language
English
(126)
Publication Date
-
Subject
Computer science.
(20)
Software engineering.
(20)
Engineering.
(12)
Systems engineering.
(12)
Logic design.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
128 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Specification development
Specification development
Author 
Lalanne, Christian. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470611975
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Specification development
Specification development
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Specification for tunnelling
Specification for tunnelling
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: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software specification methods
Software specification methods
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Specification writing and management
Specification writing and management
Author 
McRobb, Max
Preferred Shelf Number 
TS 156 M39 1989 1.K
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
6. 
Cover image for Logics of Specification Languages
Logics of Specification Languages
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: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Specification of Software Systems
Specification of Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Model specification for tunnelling
Model specification for tunnelling
Author 
The British Tunnelling Society. The Institution of Civil Engineers (Great Britain)
Preferred Shelf Number 
TA 804.G7 M63 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Product Reliability Specification and Performance
Product Reliability Specification and Performance
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: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for From Specification to Embedded Systems Application
From Specification to Embedded Systems Application
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: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Relative Deprivation Specification, Development, and Integration
Relative Deprivation Specification, Development, and Integration
Author 
Walker, Iain. Smith, Heather J..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Structured analysis and system specification
Structured analysis and system specification
Author 
De Marco, Tom.
Preferred Shelf Number 
T 57.6 D45 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
13. 
Cover image for Specification and uses of econometric models
Specification and uses of econometric models
Author 
Brown Tillman Merritt,d1913-
Preferred Shelf Number 
HB 74 M3 B77 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Key to technical translation. Vol 1, Concept specification
Key to technical translation. Vol 1, Concept specification
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: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Chromatin Regulation of Early Embryonic Lineage Specification
Chromatin Regulation of Early Embryonic Lineage Specification
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Concrete mix design, quality control and specification
Concrete mix design, quality control and specification
Author 
Day, Ken W., author. Aldred, James, author. Hudson, Barry, author.
Preferred Shelf Number 
ONLINE(342732.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
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: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software specification and design an engineering approach
Software specification and design an engineering approach
Author 
Munson, John C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Concrete mix design, quality control, and specification
Concrete mix design, quality control, and specification
Author 
Day, Ken W.
Preferred Shelf Number 
TA 439 D39 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
20. 
Cover image for ICE specification for piling and embedded retaining walls
ICE specification for piling and embedded retaining walls
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: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989
Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989
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: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984
Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984
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: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982
Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982
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: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Security Policy in System-on-Chip Designs Specification, Implementation and Verification
Security Policy in System-on-Chip Designs Specification, Implementation and Verification
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: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
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: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr
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: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for An ASIC Low Power Primer Analysis, Techniques and Specification
An ASIC Low Power Primer Analysis, Techniques and Specification
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: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Autonomic networking-on-chip bio-inspired specification, development, and verification
Autonomic networking-on-chip bio-inspired specification, development, and verification
Author 
Cong-Vinh, Phan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Manual of engineering drawing technical product specification and documentation to British and international standards
Manual of engineering drawing technical product specification and documentation to British and international standards
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
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: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
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: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for System Specification and Design Languages Selected Contributions from FDL 2010
System Specification and Design Languages Selected Contributions from FDL 2010
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: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Developing Business Application Systems On the Specification and Selection of Software Components and Services
Developing Business Application Systems On the Specification and Selection of Software Components and Services
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: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
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: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
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: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
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: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
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: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Theory building for hypothesis specification in organizational studies
Theory building for hypothesis specification in organizational studies
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: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Real-Time Systems Formal Specification and Automatic Verification
Real-Time Systems Formal Specification and Automatic Verification
Author 
Olderog, Ernst-Rüdiger. Dierks, Henning.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
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: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
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: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
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: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Software Engineering 2 Specification of Systems and Languages
Software Engineering 2 Specification of Systems and Languages
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Author 
Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11955757
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidance
Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidance
Author 
Groten, Martin. Janda, Ralf. Latta, Mark.
Preferred Shelf Number 
WU 190 G8813 2004
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
55. 
Cover image for The green guide to specification an environmental profiling system for building materials and components
The green guide to specification an environmental profiling system for building materials and components
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Electromagnetic anechoic chambers a fundamental design and specification guide
Electromagnetic anechoic chambers a fundamental design and specification guide
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Cold-formed steel structures to the AISI specification
Cold-formed steel structures to the AISI specification
Author 
Hancock, Gregory J. Murray, Thomas M., 1940- Ellifritt, Duane S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Architectural electromagnetic shielding handbook a design and specification guide
Architectural electromagnetic shielding handbook a design and specification guide
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Distributed system : methods and tools for specification : an advanced course
Distributed system : methods and tools for specification : an advanced course
Author 
Alford, M. F. Paul, M., ed. Siegert, H. J., ed.
Preferred Shelf Number 
QA 76.9.D5 D5937 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for 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.
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.
Author 
U. S. Forest Products Laboratory, Madison, Wis.
Preferred Shelf Number 
TA 419 U63 1955
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
61. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521295.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Collaborative Approaches for Cyber Security in Cyber-Physical Systems
Collaborative Approaches for Cyber Security in Cyber-Physical Systems
Author 
Dimitrakos, Theo. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520188.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-16088-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Author 
Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520458.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34586-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520525.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for 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
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
Author 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520841.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520911.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29476-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521073.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521095.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for 3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation
3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation
Author 
Ioannides, Marinos. editor. Patias, Petros. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521103.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35593-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Author 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521120.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
Author 
Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number 
XX(520784.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520868.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Author 
Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521144.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42921-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Author 
Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521346.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Author 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521209.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Pluripotent Stem Cell Therapy for Diabetes
Pluripotent Stem Cell Therapy for Diabetes
Author 
Piemonti, Lorenzo. editor. Odorico, Jon. editor. Kieffer, Timothy J . editor. Sordi, Valeria. editor. de Koning, Eelco. editor.
Preferred Shelf Number 
XX(522239.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41943-0
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520599.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
Author 
Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518497.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation
Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation
Author 
Štuikys, Vytautas. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518658.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16913-2
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Author 
Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518977.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19458-5
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Author 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519019.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519297.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
XX(519344.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
Author 
Yilmaz, Levent. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518340.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15096-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
Author 
Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.
Preferred Shelf Number 
XX(518382.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-29133-8
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
Author 
Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518399.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-12838-2
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518525.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27218-4
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for 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
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
Author 
Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518528.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-09994-7
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Author 
Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.
Preferred Shelf Number 
XX(518583.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Aspect-Oriented Security Hardening of UML Design Models
Aspect-Oriented Security Hardening of UML Design Models
Author 
Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.
Preferred Shelf Number 
XX(518722.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16106-8
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Author 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518763.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Author 
Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518787.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16354-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518798.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
Author 
Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518891.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19069-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for 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
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
Author 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519136.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519139.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Fundamentals and evolution of MPEG-2 systems : paving the MPEG road
Fundamentals and evolution of MPEG-2 systems : paving the MPEG road
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: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Gas insulated substations
Gas insulated substations
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: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Current interruption transients calculation
Current interruption transients calculation
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: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Contemporary high performance computing from petascale toward exascale
Contemporary high performance computing from petascale toward exascale
Author 
Vetter, Jeffrey S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Advanced risk analysis in engineering enterprise systems
Advanced risk analysis in engineering enterprise systems
Author 
Pinto, Cesar Ariel. Garvey, Paul R., 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Netcentric system of systems engineering with DEVS unified process
Netcentric system of systems engineering with DEVS unified process
Author 
Mittal, Saurabh. Risco-Martn̕, Jos ̌Luis, 1975- Cetinkaya, Deniz. Verbraeck, Alexander. Seck, Mamadou D.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Usability evaluation for in-vehicle systems
Usability evaluation for in-vehicle systems
Author 
Harvey, Catherine, 1984- Stanton, Neville, 1960-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Handbook of analytical validation
Handbook of analytical validation
Author 
Swartz, Michael (Michael E.) Krull, Ira S., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Coordinate measuring machines and systems
Coordinate measuring machines and systems
Author 
Hocken, Robert J. Pereira, Paulo H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Health and safety at work revision guide for the NEBOSH National General Certificate
Health and safety at work revision guide for the NEBOSH National General Certificate
Author 
Ferrett, Ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Pharmaceutical water system design, operation, and validation
Pharmaceutical water system design, operation, and validation
Author 
Collentro, William V., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Reproductive physiology in plants
Reproductive physiology in plants
Author 
Stewart, Philip, 1974- Globig, Sabine, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Mining software specifications methodologies and applications
Mining software specifications methodologies and applications
Author 
Lo, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Distillation control, optimization, and tuning fundamentals and strategies
Distillation control, optimization, and tuning fundamentals and strategies
Author 
Robbins, Lanny.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Spatial data quality from process to decisions
Spatial data quality from process to decisions
Author 
Devillers, Rodolphe. Goodchild, H. (Helen)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Thin-film optical filters
Thin-film optical filters
Author 
Macleod, H. A. (Hugh Angus)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Discrete-event modeling and simulation theory and applications
Discrete-event modeling and simulation theory and applications
Author 
Wainer, Gabriel A. Mosterman, Pieter J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Tubular structures XIII proceedings of the 13th International Symposium on Tubular Structures, Hong Kong, China, 15-17 December 2010
Tubular structures XIII proceedings of the 13th International Symposium on Tubular Structures, Hong Kong, China, 15-17 December 2010
Author 
International Symposium on Tubular Structures (13th : 2010 : Hong Kong, China) Young, Ben.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Chromosome nanoscience and technology
Chromosome nanoscience and technology
Author 
Fukui, Kiichi. Ushiki, Tatsuo, 1957-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Validation and qualification in analytical laboratories
Validation and qualification in analytical laboratories
Author 
Huber, Ludwig, 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Validation and qualification in analytical laboratories
Validation and qualification in analytical laboratories
Author 
Huber, Ludwig, 1948-
Preferred Shelf Number 
QV 744 H877 2007
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
123. 
Cover image for Geotechnical engineering of dams
Geotechnical engineering of dams
Author 
Fell, Robin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Pavements unbound proceedings of the 6th International Symposium on Pavements Unbound (UNBAR 6) : 6-8 July 2004, Nottingham, England
Pavements unbound proceedings of the 6th International Symposium on Pavements Unbound (UNBAR 6) : 6-8 July 2004, Nottingham, England
Author 
International Symposium on Pavements Unbound (6th : 2004 : Nottingham, England) Dawson, A. R.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Computer-aided econometrics
Computer-aided econometrics
Author 
Giles, David E. A., 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Introductory medical statistics
Introductory medical statistics
Author 
Mould, Richard F. (Richard Francis)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Development and formulation of veterinary dosage forms
Development and formulation of veterinary dosage forms
Author 
Hardee, Gregory E., 1952- Baggot, J. Desmond.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for An introduction to programming with specifications a mathematical approach
An introduction to programming with specifications a mathematical approach
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: 
Availability 
Online Library~1
Available:
Copies: