Limit Search Results
Author
SpringerLink (Online service)
(160)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Dongarra, Jack. editor.
(14)
Language
English
(160)
Publication Date
-
2009
(20)
2007
(19)
2008
(19)
2006
(18)
2013
(17)
Subject
Computer science.
(153)
Computer software.
(84)
Software engineering.
(56)
Artificial intelligence.
(51)
Computational complexity.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
160 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41550-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334653.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38703-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
Author 
Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335050.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41062-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Author 
Lingras, Pawan. editor. Wolski, Marcin. editor. Cornelis, Chris. editor. Mitra, Sushmita. editor. Wasilewski, Piotr. editor.
Preferred Shelf Number 
ONLINE(335087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41299-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
Author 
Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41501-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Author 
Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Author 
Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29828-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Author 
Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31365-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets