Limit Search Results
Author
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)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(6)
Language
Publication Date
-
2019
(35)
2014
(19)
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
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-24311-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
Author 
Norman, Gethin. editor. Sanders, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers
Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers
Author 
Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. (orcid)0000-0003-0538-8430 Larionov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05209-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances in Wireless Sensor Networks 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013. Revised Selected Papers
Advances in Wireless Sensor Networks 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013. Revised Selected Papers
Author 
Sun, Limin. editor. Ma, Huadong. editor. Hong, Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54522-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
Author 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10214-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ
Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ
Author 
Fei, Minrui. editor. Peng, Chen. editor. Su, Zhou. editor. Song, Yang. editor. Han, Qinglong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45261-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings
Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings
Author 
Dudin, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. Gortsev, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Introduction to Software Quality
Introduction to Software Quality
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action