Limit Search Results
Author
SpringerLink (Online service)
(234)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(8)
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128
(8)
Cheng, Long. editor. (orcid)0000-0001-7565-8788
(7)
Leung, Andrew Chi Sing. editor.
(7)
Language
Publication Date
-
2018
(95)
2019
(75)
2014
(40)
2013
(23)
2007
(1)
Subject
Computer science.
(79)
Software engineering.
(74)
Algorithms.
(52)
Computer software.
(39)
Computer science—Mathematics.
(37)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
234 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Author 
Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30281-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III
Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III
Author 
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30508-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers
Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers
Author 
Li, Shijian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Author 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
Cover image for Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Author 
Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28423-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
Cover image for High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Author 
Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Author 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Author 
Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14805-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I
Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I
Author 
Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635 Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action