Limit Search Results
Author
SpringerLink (Online service)
(423)
Dongarra, Jack. editor.
(19)
Wiley InterScience (Online service)
(17)
Alexander, Michael. editor.
(11)
Karczewski, Konrad. editor.
(11)
Language
Publication Date
-
Subject
Computer science.
(144)
Software engineering.
(109)
Electronic books.
(103)
Artificial intelligence.
(88)
Computer software.
(80)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
934 Results Found Subscribe to search results
000000000000DEFAULT
Print
685. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
686. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
687. 
Cover image for Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers
Author 
Li, Xiao-Li. editor. Cao, Tru. editor. Lim, Ee-Peng. editor. Zhou, Zhi-Hua. editor. Ho, Tu-Bao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25660-3
Format: 
Availability 
Online Library~1
Available:
Copies:
688. 
Cover image for Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings
Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings
Author 
Di Fatta, Giuseppe. editor. Fortino, Giancarlo. editor. Li, Wenfeng. editor. Pathan, Mukaddim. editor. Stahl, Frederic. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23237-9
Format: 
Availability 
Online Library~1
Available:
Copies:
689. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
690. 
Cover image for Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers
Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers
Author 
Bampis, Evripidis. editor. Svensson, Ola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18263-6
Format: 
Availability 
Online Library~1
Available:
Copies:
691. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
692. 
Cover image for High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
Author 
Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20119-1
Format: 
Availability 
Online Library~1
Available:
Copies:
693. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
694. 
Cover image for Genomic Applications in Pathology
Genomic Applications in Pathology
Author 
Netto, George Jabboure. editor. Schrijver, Iris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0727-4
Format: 
Availability 
Online Library~1
Available:
Copies:
695. 
Cover image for Handbook on Data Centers
Handbook on Data Centers
Author 
Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2092-1
Format: 
Availability 
Online Library~1
Available:
Copies:
696. 
Cover image for Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings
Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings
Author 
Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets