Supernova

Your cart is empty.

 

Your search returned 250 results.

1.
New computing techniques in physics research : proceedings of the first International workshop on software engineering, artificial intelligence and expert systems in high energy and nuclear physics, March 19-24, 1990, Centre de calcul de l'IN2 P3, Lyon Villeurbanne (France) / edited by D. Perret-Gallix, W. Wojcik,...Publication : Paris : Ed. du Centre national de la recherche scientifique, 1990Availability : Items available for loan : BU Beaulieu[C20010] (1).
Place hold Add to cart
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).
Place hold Add to cart
3.
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).
Place hold Add to cart
4.
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).
Place hold Add to cart
5.
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).
Place hold Add to cart
6.
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).
Place hold Add to cart
7.
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).
Place hold Add to cart
8.
RoboCup 2002: Robot Soccer World Cup VI / edited by Gal A. Kaminka, Pedro U. Lima, Raúl Rojas.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b11927Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b11927Availability : Items available for loan : INSA[629.892] (1), Bibliothèque numérique (1).
Place hold Add to cart
9.
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems Barcelona, Spain, June 3–7, 2000 Revised Papers / edited by Tom Wagner, Omer F. Rana.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-47772-1Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-47772-1Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
10.
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / edited by Rajeev Alur, Doron A. Peled.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b98490Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b98490Availability : Items available for loan : INSA[004.24] (1), Bibliothèque numérique (1).
Place hold Add to cart
11.
Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings / edited by I. V. Ramakrishnan.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45241-9Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45241-9Availability : Items available for loan : INSA[005.131] (1), Bibliothèque numérique (1).
Place hold Add to cart
12.
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b11831Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b11831Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
13.
Biometric Authentication : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings / edited by Davide Maltoni, Anil K. Jain.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b99174Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b99174Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
14.
Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-55930-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-55930-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
15.
The design of intelligent agents : a layered approach / Jörg P. MüllerPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0017806Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0017806Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
16.
Industrial and engineering applications of artificial intelligence and expert systems : 5th international conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings / [edited by] F. Belli, F.-J. RadermacherPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0024949Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0024949Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
17.
Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India December 17–19, 1987 Proceedings / edited by Kesav V. Nori.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-18625-5Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-18625-5Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
18.
Intelligent agent systems : theoretical and practical issues : based on a workshop held at PRICAI '96 Cairns, Australia, August 26-30, 1996 / [edited by] Lawrence Cavedon, Anand Rao, Wayne WobckePublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-62686-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-62686-7Availability : Items available for loan : INSA[006.3] (1), Bibliothèque numérique (1).
Place hold Add to cart
19.
Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / edited by Kesav V. Nori, Sanjeev Kumar.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-50517-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-50517-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
20.
Advances in Learning Software Organizations : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings / edited by Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44814-4Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44814-4Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart

 

Powered by Koha