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

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Bravo, José (2)
- Das, Swagatam (2)
- Dash, Shubhransu Sek... (2)
- Dediu, Adrian-Horia (2)
- Ermolayev, Vadim (3)
- Kotzé, Paula (4)
- Lindgaard, Gitte (4)
- Margaria, Tiziana (2)
- Marsden, Gary (4)
- Martín-Vide, Carlos (2)
- Mayr, Heinrich C. (3)
- Nikitchenko, Mykola (3)
- Panigrahi, Bijaya Ke... (2)
- Spivakovsky, Aleksan... (3)
- Stamelos, Ioannis (2)
- Steffen, Bernhard (2)
- Suganthan, Ponnuthur... (2)
- Wesson, Janet (4)
- Winckler, Marco (5)
- Zholtkevych, Grygori... (3)
- Afficher plus
- Afficher moins
Types de document
- Ebook (47)
Collection
- Advanced Topics in S... (1)
- Communications in Co... (5)
- IFIP Advances in Inf... (1)
- Lecture Notes in Com... (38)
- NASA Monographs in S... (1)
Sujets
- Artificial intellige... (47)
- Artificial Intellige... (47)
- Computation by Abstr... (12)
- Computer Communicati... (19)
- Computer communicati... (19)
- Computer logic (19)
- Computer Science (47)
- Computer science (47)
- Computers (18)
- Information Systems ... (11)
- Logics and Meanings ... (19)
- Mathematical logic (19)
- Mathematical Logic a... (19)
- Programming Language... (20)
- Programming language... (20)
- Simulation and Model... (9)
- Software engineering (47)
- Software Engineering (47)
- User interfaces (Com... (9)
- User Interfaces and ... (9)
- Afficher plus
- Afficher moins

		Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / Publication : . XII, 385 p. 156 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-02654-1, Ajouter au panier (Supprimer)
		Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / Publication : . XX, 366 p. 147 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03077-7, Ajouter au panier (Supprimer)
		Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / Publication : . XVI, 401 p. 166 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03176-7, Ajouter au panier (Supprimer)
		Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / Publication : . XXVI, 776 p. 272 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03753-0, Ajouter au panier (Supprimer)
		Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / Publication : . XXVI, 672 p. 275 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03756-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)
		Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / Publication : . XII, 379 p. 89 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03998-5, Ajouter au panier (Supprimer)
		Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / Publication : . XVI, 353 p. 81 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07151-0, Ajouter au panier (Supprimer)
		Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings / Publication : . XVI, 199 p. 22 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09764-0, Ajouter au panier (Supprimer)
		Autonomy Requirements Engineering for Space Missions par Vassev, Emil. Publication : . XVII, 250 p. 38 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09816-6, Ajouter au panier (Supprimer)
		Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / Publication : . XIV, 354 p. 123 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-11245-9, Ajouter au panier (Supprimer)
		Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings / Publication : . XV, 749 p. 315 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-11854-3, Ajouter au panier (Supprimer)
		Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings / Publication : . XVI, 594 p. 268 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-11900-7, Ajouter au panier (Supprimer)
		Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / Publication : . X, 287 p. 107 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-12154-3, Ajouter au panier (Supprimer)
		Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings / Publication : . XXII, 552 p. 192 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-13102-3, Ajouter au panier (Supprimer)
		Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / Publication : . XIV, 371 p. 106 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-13206-8, Ajouter au panier (Supprimer)
		Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / Publication : . XVI, 302 p. 78 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-13338-6, Ajouter au panier (Supprimer)
		Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / Publication : . XII, 268 p. 74 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-13749-0, Ajouter au panier (Supprimer)
		Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings / Publication : . XII, 366 p. 108 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-14130-5, 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)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 47 résultats.