Limit Search Results
Author
SpringerLink (Online service)
(364)
Anderson, Tom. editor.
(8)
Kim, Tai-hoon. editor.
(7)
Yang, Laurence T. editor.
(7)
Guo, Minyi. editor.
(6)
Language
Publication Date
-
2009
(63)
2013
(47)
2018
(39)
2012
(37)
2010
(33)
Subject
Computer system performance.
(364)
Software engineering.
(215)
Computer Communication Networks.
(175)
Information systems.
(79)
Computer network architectures.
(77)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
364 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Analyzing Computer System Performance with Perl::PDQ
Analyzing Computer System Performance with Perl::PDQ
Author 
Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
Author 
Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01790-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings
Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings
Author 
Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Author 
Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91563-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Graph Data Management Fundamental Issues and Recent Developments
Graph Data Management Fundamental Issues and Recent Developments
Author 
Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96193-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Author 
Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91764-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action