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
37. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II
Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II
Author 
Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30244-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I
Author 
Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0108-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I
Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I
Author 
Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30241-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Author 
Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12561-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Author 
Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Fair Scheduling in High Performance Computing Environments
Fair Scheduling in High Performance Computing Environments
Author 
Sedighi, Art. author. Smith, Milton. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III
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-27535-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Author 
Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30275-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
Author 
Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33394-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action