Limit Search Results
Author
SpringerLink (Online service)
(35)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Language
Publication Date
-
2019
(26)
2014
(9)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
35 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24296-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Author 
Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23502-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transactions on Pattern Languages of Programming IV
Transactions on Pattern Languages of Programming IV
Author 
Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24289-3
Format: 
Availability 
Online Library~1
Available:
Copies: