Your search returned 1334 results.

1.
Un monde meilleur : et si l'intelligence artificielle humanisait notre avenir ? / Hervé CuillandrePublication : Paris : Maxima Laurent du Mesnil, 2018Online access : http://passerelle.univ-rennes1.fr/login?url=http://univ.scholarvox.com/book/88861499Online access : http://passerelle.univ-rennes1.fr/login?url=http://univ.scholarvox.com/book/88861499Online access : http://univ.scholarvox.com.rproxy.insa-rennes.fr/book/88861499Online access : https://univ-scholarvox-com.passerelle.univ-rennes1.fr/book/88861499Availability : Items available for loan : Bibliothèque numérique (2), INSA (1).
2.
Web Engineering : International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings / edited by Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Jose Emilio Labra Gayo, María Puerto Paule Ruiz, Luis Joyanes Aguilar.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45068-8Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45068-8Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
3.
Advances in Artificial Intelligence – IBERAMIA 2004 : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings / edited by Christian Lemaître, Carlos A. Reyes, Jesús A. González.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b102591Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b102591Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
4.
Balancing Reactivity and Social Deliberation in Multi-Agent Systems : From RoboCup to Real-World Applications / by Markus Hannebauer, Jan Wendler, Enrico Pagello.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44568-4Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44568-4Availability : Items available for loan : INSA[006.3] (1), Bibliothèque numérique (1).
5.
Isabelle : A Generic Theorem Prover / edited by Lawrence C. Paulson.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0030541Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0030541Availability : Items available for loan : INSA[511.3028553] (1), Bibliothèque numérique (1).
6.
Geometry and Robotics : Workshop, Toulouse, France, May 26–28, 1988 Proceedings / edited by J. -D. Boissonnat, J. -P. Laumond.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-51683-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-51683-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
7.
Coordination Models and Languages : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings / edited by Farhad Arbab, Carolyn Talcott.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-46000-4Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-46000-4Availability : Items available for loan : INSA[004.35] (1), Bibliothèque numérique (1).
8.
Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6–9, 1997 : proceedings / [edited by] Ernesto Coasta, Amilcar CardosoPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0023905Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0023905Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
9.
Computer vision - ECCV 2002 : 7th European conference on computer vision Copenhagen, Denmark, May 28–31, 2002 : proceedings, part IV / [edited by] Anders Heyden, Gunnar Sparr, Mads Nielsen... [et al.]Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-47979-1Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-47979-1Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
10.
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-46562-6Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-46562-6Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
11.
Artificial Intelligence and Soft Computing - ICAISC 2004 : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / edited by Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b98109Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b98109Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
12.
DNA Computing : 6th InternationalWorkshop on DNA-Based Computers, DNA 2000 Leiden, The Netherlands, June 13–17, 2000 Revised Papers / edited by Anne Condon, Grzegorz Rozenberg.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44992-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44992-2Availability : Items available for loan : INSA[511.3] (1), Bibliothèque numérique (1).
13.
Advances in Multimodal Interfaces — ICMI 2000 : Third International Conference Beijing, China, October 14–16, 2000 Proceedings / edited by Tieniu Tan, Yuanchun Shi, Wen Gao.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-40063-XOnline access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-40063-XAvailability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
14.
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II / edited by Robert Meersman, Zahir Tari.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b102176Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b102176Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
15.
Engineering Knowledge in the Age of the Semantic Web : 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004. Proceedings / edited by Enrico Motta, Nigel R Shadbolt, Arthur Stutt, Nick Gibbins.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b101291Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b101291Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
16.
Knowledge representation and reasoning under uncertainty : logic at work / [edited by] Michael Masuch, László PólosPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-58095-6Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-58095-6Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
17.
Natural Language Processing and Information Systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28–30,2000 Revised Papers / edited by Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45399-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45399-7Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
18.
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / [edited by] P. Schroeder-HeisterPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0038689Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0038689Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
19.
Mathematical knowledge management : Third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej TrybulecPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b100478Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b100478Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
20.
Foundations of Computer Science : Potential — Theory — Cognition / edited by Christian Freksa, Matthias Jantzen, Rüdiger Valk.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0052071Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0052071Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).

 

Powered by Koha