Limit Search Results
Author
Language
Subject
Artificial intelligence.
(6)
Software engineering.
(5)
Compilers (Computer programs).
(4)
Compilers and Interpreters.
(4)
Computer Science Logic and Foundations of Programming.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
22 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Family planning perspectives.
Family planning perspectives.
Author 
Center for Family Planning Program Development (Planned Parenthood-World Population)
Preferred Shelf Number 
ALFABETİK V.6 1974
Format: 
Availability 
Health Sciences Library~2 ~0
Available:
Copies:
2. 
Cover image for Information security management handbook
Information security management handbook
Author 
Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number 
QA76.9 .A25 I54165 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Information security management handbook
Information security management handbook
Author 
Tipton, Harold F. Krause, Micki.
Preferred Shelf Number 
QA76.9 .A25 I54165 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Shoulder Surgery Rehabilitation A Teamwork Approach
Shoulder Surgery Rehabilitation A Teamwork Approach
Author 
Di Giacomo, Giovanni. editor. Bellachioma, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24856-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture
Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture
Author 
Rosenstock, Todd S. editor. Rufino, Mariana C. editor. Butterbach-Bahl, Klaus. editor. Wollenberg, Lini. editor. Richards, Meryl. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for GPS Theory, Algorithms and Applications
GPS Theory, Algorithms and Applications
Author 
Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50367-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tecnomatix Plant Simulation Modeling and Programming by Means of Examples
Tecnomatix Plant Simulation Modeling and Programming by Means of Examples
Author 
Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19503-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital Photogrammetry A Practical Course
Digital Photogrammetry A Practical Course
Author 
Linder, Wilfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50463-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fully Implicit, Coupled Procedures in Computational Fluid Dynamics An Engineer's Resource Book
Fully Implicit, Coupled Procedures in Computational Fluid Dynamics An Engineer's Resource Book
Author 
Mazhar, Zeka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29895-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Author 
Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41579-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Helicobacter pylori
Helicobacter pylori
Author 
Suzuki, Hidekazu. editor. Warren, Robin. editor. Marshall, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55705-0
Format: 
Availability 
Online Library~1
Available:
Copies: