Limit Search Results
Author
SpringerLink (Online service)
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Sgouros, George.
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Zaidi, Habib.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(3)
Formal Languages and Automata Theory.
(3)
Machine theory.
(3)
Software engineering.
(3)
Compilers (Computer programs).
(2)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for RILEM Technical Committee 195-DTD Recommendation for Test Methods for AD and TD of Early Age Concrete Round Robin Documentation Report: Program, Test Results and Statistical Evaluation
RILEM Technical Committee 195-DTD Recommendation for Test Methods for AD and TD of Early Age Concrete Round Robin Documentation Report: Program, Test Results and Statistical Evaluation
Author 
Bjøntegaard, Øyvind. author. Martius-Hammer, Tor Arne. author. Krauss, Matias. author. Budelmann, Harald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9266-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Author 
Benbassat, Jochanan. author. (orcid)0000-0002-6217-5821 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76845-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for GeNeDis 2022 Neuroscientific Advances
GeNeDis 2022 Neuroscientific Advances
Author 
Vlamos, Panagiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31986-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Programming multicore and many-core computing systems
Programming multicore and many-core computing systems
Author 
Pllana, Sabri, editor. Xhafa, Fatos, editor.
Preferred Shelf Number 
QA76.642 .P767 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119332015
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
Author 
Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55961-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Understanding and Analysis: The California Air Resources Board Forest Offset Protocol
Understanding and Analysis: The California Air Resources Board Forest Offset Protocol
Author 
Marland, Eric. author. Domke, Grant. author. Hoyle, Jason. author. Marland, Gregg. author. Bates, Laurel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52434-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Phytoremediation for Green Energy
Phytoremediation for Green Energy
Author 
Öztürk, Münir. editor. Ashraf, Muhammad. editor. Aksoy, Ahmet. editor. Ahmad, Muhammad Sajid Aqeel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7887-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine
Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine
Author 
Sills, E Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in understanding human performance : neuroergonomics, human factors design, and special populations
Advances in understanding human performance : neuroergonomics, human factors design, and special populations
Author 
Karwowski, Waldemar, 1953- Marek, Tadeusz. Rice, Valerie J. Berg.
Preferred Shelf Number 
TA166 .A399 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: