Limit Search Results
Author
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(543)
Software engineering.
(451)
Artificial intelligence.
(332)
Electronic books.
(244)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3450 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark
Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark
Author 
Srinivasa, K.G. author. Muppalla, Anil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Johnson, Colin. editor. Carballal, Adrian. editor. Correia, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16498-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21909-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Author 
Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20603-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Author 
Roubtsova, Ella. editor. McNeile, Ashley. editor. Kindler, Ekkart. editor. Gerth, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21912-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
Author 
Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16817-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action