Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Science/Mathematics and su-to:Science and su-to:Artificial Intelligence incl. Robotics '

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Aguilera, Marcos K. (1)
- Bui, Lam Thu (1)
- Cai, Zhipeng (1)
- Colbaugh, Richard (1)
- Dediu, Adrian-Horia (1)
- Dwyer, Tim (1)
- Filipič, Bogdan (1)
- Gonthier, Georges (1)
- Jin, Yaochu (1)
- Lodaya, Kamal (1)
- Nicosia, Giuseppe (1)
- Nisse, Nicolas (1)
- Plaat, Aske (1)
- Purchase, Helen (1)
- Shapiro, Marc (1)
- Tsao, Jeffrey (1)
- van den Herik, H. Ja... (1)
- Walteros, Jose L. (1)
- Whigham, Peter (1)
- Zelikovsky, Alex (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (21)
Collection
- Advanced Topics in S... (1)
- Communications in Co... (1)
- Lecture Notes in Com... (17)
- Lecture Notes of the... (1)
Sujets
- Algorithm Analysis a... (11)
- Algorithms (11)
- Artificial intellige... (21)
- Artificial Intellige... (21)
- Bioinformatics (3)
- Complex Systems (2)
- Computation by Abstr... (14)
- Computational Biolog... (3)
- Computer communicati... (5)
- Computer Communicati... (5)
- Computer logic (4)
- Computer science (42)
- Computer Science (21)
- Computers (19)
- Discrete Mathematics... (16)
- Logics and Meanings ... (4)
- Mathematical logic (4)
- Mathematical Logic a... (4)
- Theory of Computatio... (4)
- Afficher plus
- Afficher moins

		DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / Publication : . XII, 205 p. 73 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-01928-4, Ajouter au panier (Supprimer)
		Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / Publication : . XII, 339 p. 165 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03473-7, Ajouter au panier (Supprimer)
		Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / Publication : . XII, 309 p. 44 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03545-1, Ajouter au panier (Supprimer)
		Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / Publication : . XIV, 281 p. 62 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03850-6, Ajouter au panier (Supprimer)
		Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Publication : . XIV, 614 p. 108 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04921-2, Ajouter au panier (Supprimer)
		Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings / Publication : . XVI, 692 p. 126 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08783-2, Ajouter au panier (Supprimer)
		Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / Publication : . X, 251 p. 51 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08909-6, Ajouter au panier (Supprimer)
		Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / Publication : . XX, 257 p. 131 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09165-5, Ajouter au panier (Supprimer)
		Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Publication : . XXVI, 448 p. 77 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09284-3, Ajouter au panier (Supprimer)
		Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers / Publication : . XIII, 392 p. 80 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09584-4, Ajouter au panier (Supprimer)
		Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings / Publication : . XXIV, 955 p. 262 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-10762-2, Ajouter au panier (Supprimer)
		DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings / Publication : . X, 161 p. 51 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-11295-4, Ajouter au panier (Supprimer)
		Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers / Publication : . XII, 213 p. 89 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-12745-3, Ajouter au panier (Supprimer)
		Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings / Publication : . XVI, 862 p. 267 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-13563-2, Ajouter au panier (Supprimer)
		Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedings / Publication : . XVIII, 502 p. 95 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-14472-6, Ajouter au panier (Supprimer)
		Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / Publication : . X, 259 p. 18 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36039-8, Ajouter au panier (Supprimer)
		Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / Publication : . XVIII, 861 p. 220 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-38768-5, Ajouter au panier (Supprimer)
		Uncertainty Modeling for Data Mining A Label Semantics Approach / par Qin, Zengchang. Publication : . XIX, 291 p. Disponibilité : http://dx.doi.org/10.1007/978-3-642-41251-6, Ajouter au panier (Supprimer)
		Combinatorial Search: From Algorithms to Systems par Hamadi, Youssef. Publication : . XIII, 139 p. 30 illus., 16 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-642-41482-4, Ajouter au panier (Supprimer)
		Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / Publication : . XV, 470 p. 120 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-44973-4, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 21 résultats.