Limit Search Results
Author
SpringerLink (Online service)
(92)
Vatansever, Fahri.
(5)
Cormen, Thomas H.
(3)
Esparza, Javier. editor.
(3)
Ju, Zhaojie. editor.
(3)
Language
Publication Date
-
Subject
Computers.
(52)
Artificial intelligence.
(44)
Software engineering.
(24)
Programming languages (Electronic computers).
(21)
Computer communication systems.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
132 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Author 
Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19212-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Author 
Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings
Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings
Author 
Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Author 
Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16692-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Author 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31784-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27532-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Author 
Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24922-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12988-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Keras to Kubernetes : the journey of a machine learning model to production
Keras to Kubernetes : the journey of a machine learning model to production
Author 
Rao, Dattaraj, author.
Preferred Shelf Number 
Q325.5 .R36 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564843
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Python machine learning
Python machine learning
Author 
Lee, Wei-Meng, author.
Preferred Shelf Number 
QA76.73 .P98 L44 2019 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action