Limit Search Results
Author
SpringerLink (Online service)
(587)
Apduhan, Bernady O. editor.
(22)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(17)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(17)
Language
English
(593)
Publication Date
-
2019
(150)
2015
(148)
2014
(146)
2018
(144)
2010
(2)
Subject
Artificial intelligence.
(210)
Software engineering.
(163)
Algorithms.
(146)
Computer science—Mathematics.
(102)
Computer science.
(99)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
593 Results Found Subscribe to search results
000000000000DEFAULT
Print
385. 
Cover image for Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Author 
Durand-Lose, Jerome. editor. Nagy, Benedek. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519156.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23111-2
Format: 
Availability 
Online Library~1
Available:
Copies:
386. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
387. 
Cover image for Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Author 
Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519163.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17473-0
Format: 
Availability 
Online Library~1
Available:
Copies:
388. 
Cover image for Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Thai, My T. editor. Nguyen, Nam P. editor. Shen, Huawei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519166.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
389. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519169.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
390. 
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 
XX(519079.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
391. 
Cover image for Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Author 
van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519080.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48540-8
Format: 
Availability 
Online Library~1
Available:
Copies:
392. 
Cover image for Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
Author 
Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519082.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25258-2
Format: 
Availability 
Online Library~1
Available:
Copies:
393. 
Cover image for Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Author 
Heule, Marijn. editor. Weaver, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519084.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
394. 
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 
XX(519086.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20119-1
Format: 
Availability 
Online Library~1
Available:
Copies:
395. 
Cover image for Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519088.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
396. 
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 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action