Limit Search Results
Author
SpringerLink (Online service)
(22)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(7)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(7)
Spitzer, Cary R., editor.
(2)
Akan, H. Kaya. editor.
(1)
Publication Date
-
Subject
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(11)
Computer science.
(11)
Formal Languages and Automata Theory.
(11)
Machine theory.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for New pathways in teacher preparation and certification : perspectives on alternative teacher education methods
New pathways in teacher preparation and certification : perspectives on alternative teacher education methods
Author 
Wearne, Eric, 1977- editor.
Preferred Shelf Number 
LB1715
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003320234
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Pesticide application methods
Pesticide application methods
Author 
Matthews, G. A., author. Bateman, Roy, author.
Preferred Shelf Number 
SB953 .M37 2025 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394262236
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Textbook of Forest Science
Textbook of Forest Science
Author 
Mandal, Asim Kumar. editor. (orcid)0009-0005-7477-4759 Nicodemus, Abel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8289-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies
Knowledge Management and Artificial Intelligence for Growth Cases from Emerging and Developed Economies
Author 
Bianchi, Isaias. editor. (orcid)0000-0001-5480-0642 Dávila, Guillermo Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65552-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of Numerical Simulation of In-Flight Icing
Handbook of Numerical Simulation of In-Flight Icing
Author 
Habashi, Wagdi George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33845-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Continuous emission monitoring
Continuous emission monitoring
Author 
Jahnke, J. A. (James A.), author.
Preferred Shelf Number 
TD890 .J34 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119434009
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action