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

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Blockeel, Hendrik (3)
- Coello, Carlos A. Co... (2)
- Croitoru, Madalina (2)
- Guo, Chengan (2)
- Hees, Frank (2)
- Henning, Klaus (2)
- Hou, Zeng-Guang (2)
- Isenhardt, Ingrid (2)
- Jeschke, Sabina (2)
- Kersting, Kristian (3)
- Kohlenbach, Ulrich (2)
- Mo, Hongwei (2)
- Morrill, Glyn (2)
- Nijssen, Siegfried (3)
- Queiroz, Ruy de (2)
- Shi, Yuhui (5)
- Sojka, Petr (2)
- Tan, Ying (4)
- Zeng, Zhigang (2)
- Železný, Filip (3)
- Afficher plus
- Afficher moins
Types de document
- Ebook (84)
Collection
- Advanced Information... (1)
- Advanced Topics in S... (1)
- Advances in Computer... (1)
- Advances in Intellig... (2)
- Communications in Co... (2)
- IFSR International S... (1)
- Lecture Notes in Bus... (1)
- Lecture Notes in Com... (63)
- Lecture Notes of the... (1)
- Springer Proceedings... (1)
- SpringerBriefs in Co... (1)
- SpringerBriefs in Ma... (1)
- Texts in Computer Sc... (1)
- Afficher plus
- Afficher moins
Sujets
- Algorithm Analysis a... (32)
- Algorithms (32)
- Artificial intellige... (84)
- Artificial Intellige... (84)
- Computation by Abstr... (16)
- Computer logic (14)
- Computer science (148)
- Computer Science (77)
- Computers (22)
- Data mining (13)
- Data Mining and Know... (13)
- Discrete Mathematics... (48)
- Logics and Meanings ... (14)
- Math Applications in... (12)
- Mathematical logic (24)
- Mathematical Logic a... (24)
- Mathematics (9)
- Pattern Recognition (13)
- Pattern recognition (13)
- Afficher plus
- Afficher moins

		Economic Modeling Using Artificial Intelligence Methods par Marwala, Tshilidzi. Publication : . XVI, 261 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5010-7, Ajouter au panier (Supprimer)
		Computational Intelligence A Methodological Introduction / par Kruse, Rudolf. Publication : . XII, 492 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5013-8, Ajouter au panier (Supprimer)
		Person Re-Identification Publication : . XVIII, 445 p. 163 illus., 154 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-6296-4, Ajouter au panier (Supprimer)
		Extremal Fuzzy Dynamic Systems Theory and Applications / par Sirbiladze, Gia. Publication : . XXII, 402 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-4250-9, Ajouter au panier (Supprimer)
		Search Theory A Game Theoretic Perspective / Publication : . VIII, 303 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-6825-7, Ajouter au panier (Supprimer)
		Handbook of Human Centric Visualization Publication : . XXI, 743 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-7485-2, Ajouter au panier (Supprimer)
		Digital Da Vinci Computers in the Arts and Sciences / Publication : . XIX, 292 p. 137 illus., 107 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4939-0965-0, Ajouter au panier (Supprimer)
		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)
		SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / Publication : . XXIV, 528 p. 103 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04298-5, Ajouter au panier (Supprimer)
		Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / Publication : . X, 211 p. 64 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04534-4, 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)
		Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / Publication : . XVIII, 433 p. 95 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04939-7, Ajouter au panier (Supprimer)
		Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings / Publication : . XII, 463 p. 28 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06251-8, Ajouter au panier (Supprimer)
		Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings / Publication : . XII, 482 p. 88 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07046-9, Ajouter au panier (Supprimer)
		Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings / Publication : . XII, 378 p. 141 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07890-8, Ajouter au panier (Supprimer)
		Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings / Publication : . XX, 450 p. 126 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07959-2, Ajouter au panier (Supprimer)
		Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / Publication : . XIV, 311 p. 93 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08389-6, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 84 résultats.