Limit Search Results
Author
SpringerLink (Online service)
(61)
Project Muse.
(35)
Bouchon-Meunier, Bernadette. editor.
(3)
Bouras, Abdelaziz. editor.
(3)
Calders, Toon. editor.
(3)
Language
Subject
Artificial intelligence.
(21)
Application software.
(18)
Mathematical logic.
(13)
Software engineering.
(12)
Computer logic.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
173 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Games and Learning Alliance Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers
Games and Learning Alliance Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers
Author 
De Gloria, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12157-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
Author 
O'Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10428-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Toward Structural Mechanics Through Wooden Bridges in France (1716-1841)
Toward Structural Mechanics Through Wooden Bridges in France (1716-1841)
Author 
Tardini, Chiara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-00287-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I
Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I
Author 
Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Fels, Deborah. editor. Archambault, Dominique. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Author 
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II
Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II
Author 
Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Fels, Deborah. editor. Archambault, Dominique. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08599-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers
Author 
Formenti, Enrico. editor. Tagliaferri, Roberto. editor. Wit, Ernst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09042-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
Author 
Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08855-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Author 
Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11683-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers
Author 
Ceppi, Sofia. editor. David, Esther. editor. Podobnik, Vedran. editor. Robu, Valentin. editor. Shehory, Onn. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13218-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Governing Sourcing Relationships. A Collection of Studies at the Country, Sector and Firm Level 8th Global Sourcing Workshop 2014, Val d'Isere, France, March 23-26, 2014, Revised Selected Papers
Governing Sourcing Relationships. A Collection of Studies at the Country, Sector and Firm Level 8th Global Sourcing Workshop 2014, Val d'Isere, France, March 23-26, 2014, Revised Selected Papers
Author 
Kotlarsky, Julia. editor. Oshri, Ilan. editor. Willcocks, Leslie P. editor. (orcid)0000-0003-2572-9554 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action