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
37. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part III
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part III
Author 
Calders, Toon. editor. Esposito, Floriana. editor. (orcid)0000-0002-1075-3239 Hüllermeier, Eyke. editor. Meo, Rosa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44845-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings
Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings
Author 
Casteleyn, Sven. editor. Rossi, Gustavo. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
Cover image for Artificial Intelligence for Knowledge Management First IFIP WG 12.6 International Workshop, AI4KM 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
Artificial Intelligence for Knowledge Management First IFIP WG 12.6 International Workshop, AI4KM 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
Author 
Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Author 
Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12057-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advances in Communication Networking 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers
Advances in Communication Networking 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers
Author 
Kermarrec, Yvon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13488-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Author 
Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers
Author 
Kratsch, Dieter. editor. Todinca, Ioan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12340-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13464-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action