1.  Congrès 7th international conference on automated deduction : Napa, California, May 14-16, 1984 / R. E. Shostak Type de document: Congrès.Collection: Lecture notes in computer science ; 625Éditeur: Berlin : Springer, 1984 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 SHO] (1). Actions: Add to Cart
2.  Congrès 8th international conference on automated deduction : Oxford, England, July 27-August 1, 1986 / Jorg H. SiekmannType de document: Congrès.Collection: Lecture notes in computer science ; 230Éditeur: Berlin : Springer, 1986 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 SIE] (1). Actions: Add to Cart
3.  Monographie A concurrent Pascal compiler for minicomputers / Alfred C. HartmannType de document: Monographie.Collection: Lecture notes in computer science ; 50Éditeur: Berlin : Springer, 1977 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 HAR] (1). Actions: Add to Cart
4.  Congrès Advances in computing science - ASIAN 2000 : 6th Asian computing science conference, Penang, Malaysia, November 25-27, 2000 proceedings. / Jifeng He, Masahiko SatoType de document: Congrès.Collection: Lecture notes in computer science ; 1961Éditeur: Berlin : Springer, 2000 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 HE] (1). Actions: Add to Cart
5. Livre numérique Advances in cryptology - ASIACRYPT 2004 : 10th international conference on the theory and application of cryptology and information security, Jeju Island, Korea, December 5-9, 2004 / Pil Joong LeeType de document: Livre numérique.Collection: Lecture notes in computer science ; 3329Éditeur: Berlin : Springer, 2004 En-ligne: sur Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
6. Livre numérique Advances in cryptology - ASIACRYPT 2005 : 11th international conference on the theory and application of cryptology and information security : Chennai, India, December 4-8, 2005 / Bimal RoyType de document: Livre numérique.Collection: Lecture notes in computer science ; 3788Éditeur: Berlin : Springer, 2005 En-ligne: sur Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
7. Livre numérique Advances in cryptology - ASIACRYPT 2011 : 17th international conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4-8, 2011 / Dong Hoon Lee, Xiaoyun WangType de document: Livre numérique.Collection: Lecture notes in computer science ; 7073Éditeur: Berlin : Springer, 2011En-ligne: Springerlink | MSNDisponibilité: Pas de copie disponible Actions: Add to Cart
8.  Congrès Advances in cryptology, ASIACRYPT '94 : 4th international conference on the theory and applications of cryptology, Wollongong, Australia, November 28-December 1, 1994 / Josef Pieprzyk, Reihanah Safavi-NaniType de document: Congrès.Collection: Lecture notes in computer science ; 917Éditeur: Berlin : Springer-Verlag, 1995 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[94-06 PIE] (1). Actions: Add to Cart
9.  Congrès Advances in cryptology, CRYPTO '92 : 12th annual international cryptology conference, Santa Barbara, California, USA, August 16-20, 1992 / Ernest F. BrickellType de document: Congrès.Collection: Lecture notes in computer science ; 740Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[94-06 BRI] (1). Actions: Add to Cart
10.  Congrès Advances in cryptology, EUROCRYPT '94 : international conference on the theory and application of cryptographic techniques Saint-Malo, France, May 1995 / Louis C. Guillou, Jean-Jacques QuisquaterType de document: Congrès.Collection: Lecture notes in computer science ; 921Éditeur: Berlin : Springer, 1995 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[94-06 GUI] (1). Actions: Add to Cart
11.  Congrès Advances in database technology - EDBT'94 : 4th International conference on extending database technology, Cambridge, United Kingdom, March 28-31, 1994 / Matthias Jarke, Janis Bubenko, Keith JefferyType de document: Congrès.Collection: Lecture notes in computer science ; 779Éditeur: Berlin : Springer, 1994 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 JAR] (1). Actions: Add to Cart
12.  Congrès Advances in Petri nets 1985 / G. RozenbergType de document: Congrès.Collection: Lecture notes in computer science ; 222Éditeur: Berlin : Springer-Verlag, 1986 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ROZ] (1). Actions: Add to Cart
13.  Congrès Advances in Petri nets 1987 / Grzegorz RozenbergType de document: Congrès.Collection: Lecture notes in computer science ; 266Éditeur: Berlin : Springer-Verlag, 1987 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ROZ] (1). Actions: Add to Cart
14.  Congrès Advances in Petri nets 1989 / Grzegorz RozenbergType de document: Congrès.Collection: Lecture notes in computer science ; 424Éditeur: Berlin : Springer-Verlag, 1990 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ROZ] (1). Actions: Add to Cart
15.  Congrès Advances in Petri nets 1990 / Grzegorz RozenbergType de document: Congrès.Collection: Lecture notes in computer science ; 483Éditeur: Berlin : Springer-Verlag, 1991 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ROZ] (1). Actions: Add to Cart
16.  Congrès Advances in Petri nets 1992 / G. RozenbergType de document: Congrès.Collection: Lecture notes in computer science ; 609Éditeur: Berlin : Springer-Verlag, 1992 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ROZ] (1). Actions: Add to Cart
17.  Congrès Advances in spatial databases : 5th international symposium, SSD '97, Berlin, Germany, July 15-18, 1997 / Michel Scholl, Agnes VoisardType de document: Congrès.Collection: Lecture notes in computer science ; 1262Éditeur: Berlin : Springer-Verlag, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 SCH] (1). Actions: Add to Cart
18.  Congrès Algorithmic number theory : 1st international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994. Proceedings / Leonard M. Adleman, Ming-Deh HuangType de document: Congrès.Collection: Lecture notes in computer science ; 877Éditeur: Berlin : Springer, 1994 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[11-06 ADL] (1). Actions: Add to Cart
19. Livre numérique Algorithmic number theory : third international symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998 / Joe BuhlerType de document: Livre numérique.Collection: Lecture notes in computer science ; 1423Éditeur: New York : Springer, 1998 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
20. Livre numérique Algorithmic number theory : 4th international symposium, ANTS-IV, Leiden, the Netherlands, July 2-7, 2000 / Wieb BosmaType de document: Livre numérique.Collection: Lecture notes in computer science ; 1838Éditeur: New York : Springer, 2000 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
21. Livre numérique Algorithmic number theory : second international symposium, ANTS-II, Talence, France, May 18-23, 1996 / Henri CohenType de document: Livre numérique.Collection: Lecture notes in computer science ; 1122Éditeur: Berlin : Springer, 1996 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
22. Livre numérique Algorithmic number theory : 9th International symposium, ANTS-IX, Nancy, France, July 19-23, 2010 / Guillaume Hanrot, François Morain, Emmanuel ThoméType de document: Livre numérique.Collection: Lecture notes in computer science ; 6197Éditeur: Berlin : Springer, 2010 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
23. Livre numérique Algorithmic number theory : 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 / Alfred J. van der Poorten, Andreas SteinType de document: Livre numérique.Collection: Lecture notes in computer science ; 6197Éditeur: Berlin : Springer, 2010 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
24. Livre numérique Algorithmic number theory : 5th international symposium, ANTS-V, Sydney, Australia, July 7-12, 2002 / Claus Fieker, David R. KohelType de document: Livre numérique.Collection: Lecture notes in computer science ; 2369Éditeur: Berlin : Springer, 2002 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
25. Livre numérique Algorithmic number theory : 7th international symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006 / Florian Hess, Sebastian Pauli, Michael PohstType de document: Livre numérique.Collection: Lecture notes in computer science ; 4076Éditeur: Berlin : Springer, 2006 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
26. Livre numérique Algorithmic number theory : 6th international symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004 / Duncan BuellType de document: Livre numérique.Collection: Lecture notes in computer science ; 3076Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
27.  Congrès Artificial evolution : 6th international conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 / Pierre Liardet, Pierre Collet, Cyril Fonlupt, ... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2936Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 LIA] (1). Actions: Add to Cart
28.  Congrès Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-SpaccamelaType de document: Congrès.Collection: Lecture notes in computer science ; 1256Éditeur: Berlin : Springer, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 DEG] (1). Actions: Add to Cart
29.  Congrès Automata, languages and programming : 29th International colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 / Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, ...[et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2380Éditeur: Berlin : Springer, 2002 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 WID] (1). Actions: Add to Cart
30.  Congrès Automata, languages and programming : 31st International colloquium, ICALP 2004, Turku, Finland, July 2004 / Josep Diaz, Juhani Karhumaki, Arto Lepisto... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 3142Éditeur: Berlin : Springer, 2004 Disponibilité: Pour le prêt: CMI[68-06 DIA] (1). Actions: Add to Cart
31.  Congrès Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 / Luis Caires ... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 3580Éditeur: Berlin : Springer, 2005 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 CAI] (1). Actions: Add to Cart
32.  Congrès Compiler construction : 4th international conference, CC '92, Paderborn, Germany, October 5-7, 1992 proceedings / U. Kastens, P. PfahlerType de document: Congrès.Collection: Lecture notes in computer science ; 641Éditeur: Berlin : Springer-Verlag, 1992 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 KAS] (1). Actions: Add to Cart
33.  Congrès Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 / Jerzy Marcinkowski, Andrzej TarleckiType de document: Congrès.Collection: Lecture notes in computer science ; 3210Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MAR] (1). Actions: Add to Cart
34.  Congrès Computer Vision - ECCV 2002 : 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002. Part III / Anders Heyden, Gunnar Sparr, Mads Nielsen, ...[et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2352Éditeur: Berlin : Springer-Verlag, 2002En-ligne: Springerlink - part III | Springerlink - part IV Disponibilité: Pour le prêt: CMI[68-06 HEY] (1). Actions: Add to Cart
35.  Congrès Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973. Part 1 / R. Glowinski and J. L. LionsType de document: Congrès.Collection: Lecture notes in computer science ; 10Éditeur: Berlin : Springer-Verlag, 1974 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[65-06 GLO] (1). Actions: Add to Cart
36.  Congrès Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973. Part 2 / R. Glowinski and J. L. LionsType de document: Congrès.Collection: Lecture notes in computer science ; 11Éditeur: Berlin : Springer-Verlag, 1974 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[65-06 GLO] (1). Actions: Add to Cart
37.  Congrès CONCUR 2000 - Concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 / Catuscia PalamidessiType de document: Congrès.Collection: Lecture notes in computer science ; 2352Éditeur: Berlin : Springer, 2000 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 PAL] (1). Actions: Add to Cart
38.  Congrès CONCUR 2001 - Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings / Kim G. Larsen, Mogens NielsenType de document: Congrès.Collection: Lecture notes in computer science ; 2154Éditeur: Berlin : Springer, cop. 2001 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 LAR] (1). Actions: Add to Cart
39.  Congrès CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 / Lubos Brim, ... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2421Éditeur: Berlin : Springer, 2002 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 BRI] (1). Actions: Add to Cart
40.  Congrès CONCUR 2003 - Concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 / Roberto Amadio, Denis LugiezType de document: Congrès.Collection: Lecture notes in computer science ; 2761Éditeur: Berlin : Springer, 2003 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 AMA] (2). Actions: Add to Cart
41.  Congrès CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 / Philippa Gardner, Nobuko YoshidaType de document: Congrès.Collection: Lecture notes in computer science ; 3170Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GAR] (2). Actions: Add to Cart
42.  Congrès CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 / Martín Abadi, Luca de AlfaroType de document: Congrès.Collection: Lecture notes in computer science ; 3653Éditeur: Berlin : Springer, 2005 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ABA] (1). Actions: Add to Cart
43. Livre numérique CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 / Joost-Pieter Katoen, Barbara KönigType de document: Livre numérique.Collection: Lecture notes in computer science ; 6901Éditeur: Berlin : Springer, 2011 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
44.  Congrès CONCUR '93 : 4th International conference on concurrency theory, Hildesheim, Germany, August 23-26, 1993 / Eike BestType de document: Congrès.Collection: Lecture notes in computer science ; 715Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 BES] (1). Actions: Add to Cart
45.  Congrès CONCUR '96 - concurrency theory : 7th international conference, Pisa, Italy, August 26-29, 1996 / Ugo Montanari, Vladimiro SassoneType de document: Congrès.Collection: Lecture notes in computer science ; 1119Éditeur: Berlin : Springer, 1996 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MON] (1). Actions: Add to Cart
46.  Congrès CONCUR '98 - Concurrency theory : 9th international conference, Nice, France, September 8-11, 1998 / Davide Sangiorgi, Robert de SimoneType de document: Congrès.Collection: Lecture notes in computer science ; 1466Éditeur: Berlin : Springer, 1998 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 SAN] (1). Actions: Add to Cart
47.  Congrès CONCUR '99 - Concurrency theory : 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 / Jos C.M. Baeten, Sjouke MauwType de document: Congrès.Collection: Lecture notes in computer science ; 1664Éditeur: Berlin : Springer, 1999 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 BAE] (1). Actions: Add to Cart
48.  Monographie Constraint processing : selected papers / Manfred MeyerType de document: Monographie.Collection: Lecture notes in computer science ; 923Éditeur: Berlin : Springer-Verlag, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 MEY] (1). Actions: Add to Cart
49.  Congrès Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 / David Garlan, Daniel Le MétayerType de document: Congrès.Collection: Lecture notes in computer science ; 1282Éditeur: Berlin : Springer, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GAR] (1). Actions: Add to Cart
50.  Congrès Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 / George J. Milne, Laurence PierreType de document: Congrès.Collection: Lecture notes in computer science ; 683Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MIL] (1). Actions: Add to Cart
1 2 3 Next >>
Languages: English | Français | |