Limit Search Results
Author
SpringerLink (Online service)
(601)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Wiley InterScience (Online service)
(7)
Apduhan, Bernady O. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(187)
Artificial intelligence.
(152)
Computer software.
(143)
Computational complexity.
(116)
Mathematics.
(102)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
697 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Author 
Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34146-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Author 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Author 
Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-59533-6
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
Author 
Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21392-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
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:
66. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Discrete Geometry for Computer Imagery 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings
Discrete Geometry for Computer Imagery 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings
Author 
Couprie, Michel. editor. Cousty, Jean. editor. Kenmochi, Yukiko. editor. Mustafa, Nabil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14085-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
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:
69. 
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:
70. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I
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-27526-6
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author 
Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30923-7
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
Author 
Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18174-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action