Limit Search Results
Author
SpringerLink (Online service)
(47)
Taylor and Francis.
(4)
Chen, Phoebe. editor.
(2)
Dang-Nguyen, Duc-Tien. editor.
(2)
Dao, Minh-Son. editor.
(2)
Publication Date
-
Subject
Artificial intelligence.
(7)
Computer science.
(6)
Engineering.
(4)
Logic design.
(4)
Abstraction.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
87 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Handbook of Applied Cryptography
Handbook of Applied Cryptography
Author 
Menezes, Alfred J., author. Katz, Jonathan, author. van Oorschot, Paul C., author. Vanstone, Scott A., author. Taylor and Francis.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Testing Complex and Embedded Systems
Testing Complex and Embedded Systems
Author 
Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Introduction to sustainable infrastructure engineering design
Introduction to sustainable infrastructure engineering design
Author 
Neumann, Edward S., author.
Preferred Shelf Number 
TA170 N48 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Correct Software in Web Applications and Web Services
Correct Software in Web Applications and Web Services
Author 
Thalheim, Bernhard. editor. Schewe, Klaus-Dieter. editor. Prinz, Andreas. editor. Buchberger, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17112-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
Author 
Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 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 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Transactions on Computational Collective Intelligence XX
Transactions on Computational Collective Intelligence XX
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Hybrid Dynamical Systems Observation and Control
Hybrid Dynamical Systems Observation and Control
Author 
Djemai, Mohamed. editor. Defoort, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10795-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Visualization analysis and design
Visualization analysis and design
Author 
Munzner, Tamara, author. Maguire, Eamonn, illustrator.
Preferred Shelf Number 
QA76.9 .I52 M86 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
Author 
Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19872-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
Author 
Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action