Limit Search Results
Author
SpringerLink (Online service)
(46)
Ali, Moonis. editor.
(2)
Aniorté, Philippe. editor. (orcid)0000-0003-2499-7549
(2)
Benferhat, Salem. editor. (orcid)0000-0002-4853-3637
(2)
Chbeir, Richard. editor. (orcid)0000-0003-4112-1426
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(17)
Computer science -- Mathematics.
(13)
Computer Communication Networks.
(12)
Computer networks .
(12)
Software engineering.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Author 
Rueher, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers
Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers
Author 
Siarry, Patrick. editor. (orcid)0000-0002-5722-4115 Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50307-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
Author 
Bonnevay, Stéphane. editor. Legrand, Pierrick. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31471-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Author 
Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43144-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
Author 
Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43659-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings
Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings
Author 
Gavoille, Cyril. editor. Ilcinkas, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53426-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings
Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings
Author 
Monrose, Fabian. editor. Dacier, Marc. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 Garcia-Alfaro, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45719-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 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 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
Author 
Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12970-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action