Limit Search Results
Author
SpringerLink (Online service)
(75)
Akay, Metin.
(2)
Anguita, Davide. author.
(2)
Cooper, S. Barry. editor.
(2)
Csuhaj-Varjú, Ersébet. editor.
(2)
Language
Publication Date
-
Subject
Mathematical logic.
(33)
Artificial intelligence.
(25)
Computer logic.
(25)
Software engineering.
(22)
Computer science—Mathematics.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
79 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Author 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13435-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Author 
Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17953-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Author 
van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19955-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Author 
Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21733-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
Author 
Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33749-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Author 
Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets