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)
Language
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
88 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers
Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers
Author 
Aramaki, Mitsuko. editor. Hirata, Keiji. editor. Kitahara, Tetsuro. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35382-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Software defined networking : design and deployment
Software defined networking : design and deployment
Author 
Morreale, Patricia, author. Anderson, James, author.
Preferred Shelf Number 
TK5105.5833 .M67 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
Cover image for Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Author 
Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14806-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action