Linked documents : [261 document(s)]

Documents (MSC Codes)

• [Ouvrage] Informatique mathématique : - une photographie en 2020 / Principal Bonamy, Marthe ; Co-auteur Goaoc, Xavier ; Co-auteur Johansson, Fredrik ; Co-auteur Leroux, Jérôme ; Co-auteur Mishna, Marni ; Co-auteur Penev, Irina ; Co-auteur Schmitz, Sylvain ; Co-auteur Labbé, Sébastien ; Co-auteur Penelle, Vincent ; Dirigé par Labbé, Sébastien ; Dirigé par Penelle, Vincent. -Paris : CNRS Editions, 2020. - 1 vol. (vi-205 p.)
  ISBN 978-2-271-13413-4
  
• [Congrès] Relational and algebraic methods in computer science. - 19th international conference, RAMICS 2021 - Marseille # November 2-5, 2021 / Editor Fahrenberg, Uli ; Editor Gehrke, Mai ; Editor Santocanale, Luigi ; Editor Winter, Michael. -Cham : Springer, 2021. - xvii; 498 p.
  ISBN 978-3-030-88700-1
  
• [Ouvrage] Mathematics of quantum computation / Principal Brylinski, Ranee ; Co-auteur Chen, Goong. -Boca Raton, London, New York : Taylor & Francis Group, 2019. - xvi; 429 p.
  ISBN 978-0-367-39635-0
  
• [Congrès] Algorithms and complexity in mathematics, epistemology, and science. - Proceedings of 2015 and 2016 ACMES conferences / Editor Fillion, Nicolas ; Editor Corless, Robert M. ; Editor Kotsireas, Ilias. -New York : Springer;The Fields Institute for Research in Mathematical Sciences, 2019. - xi; 294 p.
  ISBN 978-1-4939-9050-4
  
• [Congrès] Algebraic informatics: - 5th international conference, CAI 2013 - Porquerolles # September 2013 / Editor Muntean, Traian ; Editor Poulakis, Dimitrios ; Editor Rolland, Robert. -Heidelberg, New York, Dordrecht : Springer, 2013. - x; 273 p.
  ISBN 978-3-642-40662-1
  
• [Ouvrage] The Turing guide / Principal Copeland, Jack ; Co-auteur Bowen, Jonathan ; Co-auteur Sprevak, Mark ; Co-auteur Wison, Robin. -Oxford : Oxford University Press, 2017. - xv; 546 p.
  ISBN 978-0-19-874782-6
  
• [Ouvrage] Handbook of graph drawing and visualization / Editor Tamassia, Roberto. -Boca Raton : CRC Press, 2014. - xiii; 851 p.
  ISBN 978-1-138-03424-2
  
• [Ouvrage] Selected contributions in data analysis and classification : in honour of Edwin Diday. / Editor Brito, P. ; Editor Bertrand, P. ; Editor Cucumel, G. ; Editor de Carvalho, F. ; Foreword Escoufier, Y.. -Berlin, Heidelberg : Springer, 2007. - xiii; 634 p.
  ISBN 978-3-540-73558-8
  
• [Congrès] Classification as a tool for research : - proceedings of the 11th IFCS biennal conference and 33rd annual conference of the Gesellschaft für klassifikation - Dresden # March 13-18, 2009 / Editor Locarek-Junge, Hermann ; Editor Weihs, Claus. -Berlin, Heidelberg : Springer, 2010. - xxxvi; 823 p.
  ISBN 978-3-642-10744-3
  
• [Congrès] Actes des 3èmes journées nationales PRC - GDR intelligence artificielle : - Paris-la-Défense # 5-7 mars 1990 / Editor Bouchon-Meunier, Bernadette. -Paris : Hermes, 1990. - 478 p.
  ISBN 978-2-86601-228-1
  
• [Ouvrage] Induction symbolique et numérique à partir de données : volume I. - Sélection de textes révisés et étendus des présentations des "Journées symbolique / numérique" organisées en alternance aux universités de Paris-Dauphine et de Paris-Sud - / Editor Kodratoff, Yves ; Editor Diday, Edwin. -Toulouse : Cépaduès Editions, 1991. - 459 p.
  ISBN 978-2-85428-282-5
  
• [Ouvrage] Induction symbolique numérique à partir de données. / Coordinateur Kodratoff, Y. ; Coordinateur Diday, E. ; Coordinateur Brito, P. ; Coordinateur Moulet, M.. -Toulouse : Cépaduès Editions, 2000. - 445 p.
  ISBN 978-2-85428-502-4
  
• [Congrès] Informatique : logiciel et matériel, application et implications. - Actes du congrès de l'AFCET - Nancy # 24-27 novembre 1980 -Boulogne-Billancourt : Editions Hommes et Techniques, 1980. - xx; 740 p.
  ISBN 978-2-7057-0335-6
  
• [Congrès] JOBIM - Journées ouvertes biologie informatique mathématiques - Marseille # 10-12 juillet 2007 / Editor Brun, Christine ; Editor Didier, Gilles ; Organisateur Guenoche, Alain ; Organisateur Jacq, Bernard. -Marseille : Université de la Méditerranée, 2007. - vi; 427 p.
  
• [Congrès] Algorithmic decision theory (ADT). - Second international conference, - Piscataway # October 2011 / Editor Brafman, Ronen I. ; Editor Roberts, Fred S. ; Editor Tsoukiàs, Alexis. -Berlin, Heidelberg : Springer, 2011. - xi; 343 p.
  ISBN 978-3-642-24872-6
  
• [Congrès] Computational biology. - First international conference on biology, informatics, and mathematics - JOBIM 2000 : Selected papers - Montpellier # May 2000 / Editor Gascuel, Olivier ; Editor Sagot, Marie-France. -Berlin, Heidelberg : Springer, 2001. - x; 163 p.
  ISBN 978-3-540-42242-6
  
• [Congrès] Classification, clustering, and data mining applications: - proceedings of the meeting of the international federation of classification societies (IFCS) - Chicago # 15-18 July 2004 / Editor Banks, David ; Editor House, Leanna ; Editor McMorris, Frederick R. ; Editor Arabie, Phipps ; Editor Gaul, Wolfgang. -Berlin, Heidelberg, New York : Springer, 2004. - xiv; 658 p.
  ISBN 978-3-540-22014-5
  
• [Ouvrage] Combinatorics, words and symbolic dynamics / Editor Berthé, Valérie ; Editor Rigo, Michel. -Cambridge : Cambridge University Press, 2016. - xviii; 475 p.
  ISBN 978-1-107-07702-7
  
• [Congrès] Algebra and computer science. - Joint AMS-EMS-SPM meeting algebra and computer science - Porto # June 10-13, 2015. - Joint mathematics meetings groups, algorithms, and cryptography - San Antonio # January 10-13, 2015. - Joint AMS-Israel mathematical union meeting applications of algebra to cryptography - Tel-Aviv # June 16-19, 2014 / Editor Kahrobaei, Delaram ; Editor Cavallo, Bren ; Editor Garber, David. -Providence : American Mathematical Society, 2016. - vii; 229 p.
  ISBN 978-1-4704-2303-2
  
• [Ouvrage] Future vision and trends on shapes, geometry and algebra / Editor De Amicis, Raffaele ; Editor Conti, Giuseppe. -London : Springer, 2014. - viii; 162 p.
  ISBN 978-1-4471-6460-9
  
• [Congrès] Modern mathematical methods and high performance computing in science and technology (M3HPCST) - Ghaziabad # December 2015 / Editor Singh, Vinai K. ; Editor Srivastava, H. M. ; Editor Venturino, Ezio ; Editor Resch, Michael ; Editor Gupta, Vijay. -Singapore : Springer, 2016. - xxi; 309 p.
  ISBN 978-981-10-1453-6
  
• [Congrès] Proceedings of the 5th congress of mathematicians of Macedonia, section 'History and education of mathematics and informatics' - Ohrid # September 24-27, 2014 / Editor Malceski, Aleksa ; Editor Brsakoska, Slagjana ; Editor Malceski, Risto ; Editor Celakoska-Jordanova, Vesna. -Skopje : Union of Mathematicians of Macedonia, 2015. - 151 p.
  ISBN 978-9989-646-69-0
  
• [Ouvrage] Mathematical foundations of computer science / Editor Mazurkiewicz, Antoni ; Editor Pawlak, Zdzislaw. -Warszawa : Polish Scientific Publishers, 1977. - 259 p.
  
• [Congrès] Algorithms and complexity: - new directions and recent results. - Proceedings of a symposium - Pittsburgh # April 7-9, 1976 / Editor Traub, J. F.. -New York, San Francisco : Academic Press Inc., 1976. - ix; 523 p.
  ISBN 978-0-12-697540-6
  
• [Ouvrage] Trends in theoretical computer science / Editor Börger, Egon. -Rockville : Computer Science Press, 1988. - vii; 380 p.
  ISBN 978-0-88175-084-3
  
• [Congrès] Algorithms - ESA'95: - third annual European symposium - Corfu # September 1995 / Editor Spirakis, Paul G.. -Berlin, Heidelberg : Springer, 1995. - xii; 598 p.
  ISBN 978-3-540-60313-9
  
• [Congrès] STACS 86: 3rd annual symposium on theoretical aspects of computer science - Orsay # January 1986 / Editor Monien, B. ; Editor Vidal-Naquet, G.. -Berlin, Heidelberg : Springer-Verlag, 1986. - ix; 368 p.
  ISBN 978-3-540-16078-6
  
• [Congrès] Algorithmic aspects of wireless sensor networks: - first international workshop, ALGOSENSORS 2004 - Turku # July 2004 / Editor Nikoletseas, Sotiris ; Editor Rolim, José D. P.. -Berlin, Heidelberg : Springer, 2004. - x; 200 p.
  ISBN 978-3-540-22476-1
  
• [Congrès] Advances in computer science - ASIAN 2004: higher-level decision making. - 9th Asian computing science conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday. - Chiang Mai # December 2004 / Editor Maher, Michael J.. -Berlin, Heidelberg : Springer, 2004. - xii; 510 p.
  ISBN 978-3-540-24087-7
  
• [Congrès] TAPSOFT'89: - proceedings of the international joint conference on theory and pratice of software development. - Barcelona # March 1989 - Volume 1: advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'89) / Editor Diaz, J. ; Editor Orejas, F.. -Berlin, Heidelberg : Springer-Verlag, 1989. - x; 383 p.
  ISBN 978-3-540-50939-4
  
• [Congrès] Algorithms - ESA'94: - second annual European symposium - Utrecht # September 1994 / Editor Van Leeuwen, Jan. -Berlin, Heidelberg : Springer-Verlag, 1994. - x; 510 p.
  ISBN 978-3-540-58434-6
  
• [Congrès] Algorithms, concurrency and knowledge: - 1995 Asian computing science conference, ACSC'95 - Pathumthani # December 1995 / Editor Kanchanasut, Kanchana ; Editor Lévy, Jean-Jacques. -Berlin, Heidelberg : Springer, 1995. - x; 410 p.
  ISBN 978-3-540-60688-8
  
• [Congrès] Automata, languages and programming: - 27th international colloquium, ICALP 2000 - Geneva # July 9-15, 2000 / Editor Montanari, Ugo ; Editor Rolim, José D. P. ; Editor Welzl, Emo. -Berlin, Heidelberg : Springer, 2000. - xvi; 941 p.
  ISBN 978-3-540-67715-4
  
• [Congrès] Algorithms - ESA '93. - First annual European symposium - Bad Honnef # September 30 - October 2, 1993 / Editor Lengauer, Thomas. -Berlin, Heidelberg : Springer-Verlag, 1993. - ix; 418 p.
  ISBN 978-3-540-57273-2
  
• [Congrès] Foundations of data organization and algorithms. - 3rd international conference, FODO 1989 - Paris # June 1989 / Editor Litwin, Witold ; Editor Schek, H.-J.. -Berlin, Heidelberg : Springer-Verlag, 1989. - viii; 531 p.
  ISBN 978-3-540-51295-0
  
• [Ouvrage] Boolean models and methods in mathematics, computer science, and engineering / Editor Crama, Yves ; Editor Hammer, Peter L.. -Cambridge, New York : Cambridge University Press, 2010. - xviii; 759 p.
  ISBN 978-0-521-84752-0
  
• [Congrès] Mathematics and computer science III: - algorithms, trees, combinatorics and probabilities. - Vienna # September 13-17, 2004 / Editor Drmota, Michael ; Editor Flajolet, Philippe ; Editor Gardy, Danièle ; Editor Gittenberger, Bernhard. -Basel : Birkhäuser, 2004. - xv; 554 p.
  ISBN 978-3-7643-7128-9
  
• [Congrès] Mathematics and computer science II: - algorithms, trees, combinatorics and probabilities. - Versailles # September 18-20, 2002 / Editor Chauvin, Brigitte ; Editor Flajolet, Philippe ; Editor Gardy, Danièle ; Editor Mokkadem, Abdelkader. -Basel : Birkhäuser, 2002. - xiii; 557 p.
  ISBN 978-3-7643-6933-0
  
• [Congrès] Mathematics and computer science: - algorithms, trees, combinatorics and probabilities. - Versailles # September 18-20, 2000 / Editor Gardy, Danièle ; Editor Mokkadem, Abdelkader. -Basel : Birkhäuser, 2000. - xi; 340 p.
  ISBN 978-3-7643-6430-4
  
• [Congrès] Théorie des automates et applications: - actes des deuxièmes journées franco-belges - Rouen # 3-5 septembre 1991 / Editor Krob, Daniel. -Rouen : Universite De Rouen, 1992. - 159 p.
  ISBN 978-2-87775-047-9
  
• [Ouvrage] The mathematics of Paul Erdös I / Principal Erdos, Paul ; Editor Graham, Ronald L. ; Editor Nesetril, Jaroslav ; Editor Butler, Steve. -New York : Springer, 2013. - xix; 563 p.
  ISBN 978-1-4614-7257-5
  
• [Congrès] Recent advances in real complexity and computation. - UIMP-RSME Lluis A. Santalo summer school - Santander # july 16-20, 2012 / Editor Montana, José Luis ; Editor Pardo, Luis M.. -Providence, Madrid : American Mathematical Society;Real Sociedad Matematica Espanola, 2013. - xi; 185 p.
  ISBN 978-0-8218-9150-6
  
• [Ouvrage] Statistical and machine learning approaches for network analysis / Editor Dehmer, Matthias ; Editor Basak, Subhash C.. -Hoboken : John Wiley & Sons, Inc., 2012. - xii; 331 p.
  ISBN 978-0-470-19515-4
  
• [Ouvrage] Advances in network complexity / Editor Dehmer, Matthias ; Editor Mowshowitz, Abbe ; Editor Emmert-Streib, Frank. -Weinheim : Wiley-Blackwell, 2013. - xiv; 293 p.
  ISBN 978-3-527-33291-5
  
• [Ouvrage] Mathematical foundations of information flow: - Clifford lectures information flow in physics, geometry, logic and computation# March 12-15, 2008# Tulane University, New Orleans, Louisana - / Editor Abramsky, Samson ; Editor Mislove, Michael. -Providence : American Mathematical Society, 2012. - x-267 p.
  ISBN 978-0-8218-4923-1
  
• [Ouvrage] Advances in applied and computational topology - AMS short course topology # january 4-5, 2011# New Orleans, Louisana / Editor Zomorodian, Afra J.. -Providence : American Mathematical Society, 2012. - x-232 p.
  ISBN 978-0-8218-5327-6
  
• [Congrès] Tools for teaching logic. - Third international congress, TICTTL 2011 - Salamanca # june 1-4, 2011 - / Editor Blackburn, Patrick ; Editor Van Ditmarsch, Hans ; Editor Manzano, Maria ; Editor Soler-Toscano, Fernando. -Berlin, Heidelberg : Springer, 2011. - xi, 255 p.
  ISBN 978-3-642-21349-6
  
• [Ouvrage] Computability in context: - computation and logic in the real world / Editor Barry Cooper, S. ; Editor Sorbi, Andrea. -Londres : Imperial College Press, 2011. - viii-410 p.
  ISBN 978-1-84816-245-7
  
• [Congrès] Graph-theoretic concepts in computer science. - 19th international workshop, WG'93 - Utrecht # june 1993 / Editor Van Leeuwen, Jan. -Berlin, Heidelberg : Springer-Verlag, 1994. - ix; 429 p.
  ISBN 978-3-540-57899-4
  
• [Congrès] STACS 2006. - 23rd annual symposium on theoretical aspects of computer science - Marseille # february 2006 / Editor Durand, Bruno ; Editor Thomas, Wolfgang. -Berlin, Heidelberg : Springer, 2006. - xix; 714 p.
  ISBN 978-3-540-32301-3
  
• [Congrès] Algorithms - ESA '96. - 4th annual European symposium - Barcelona # september 1996 / Editor Diaz, Josep ; Editor Serna, Maria. -Berlin, Heidelberg : Springer, 1996. - xii; 566 p.
  ISBN 978-3-540-61680-1
  
• [Congrès] ESOP'92. - 4th European symposium on programming - Rennes # february 1992 / Editor Krieg-Brückner, B.. -Berlin, Heidelberg : Springer-Verlag, 1992. - viii; 491 p.
  ISBN 978-3-540-55253-6
  
• [Congrès] Automata, languages and programming: - 11th colloquium - Antwerp # july 16-20, 1984 / Editor Paredaens, Jan. -Berlin, Heidelberg : Springer-Verlag, 1984. - viii; 526 p.
  ISBN 978-3-540-13345-2
  
• [Congrès] Algorithms - ESA'99. - 7th annual European symposium. - Prague # july 16-18, 1999 / Editor Nesetril, Jaroslav. -Berlin, Heidelberg, New York : Springer, 1999. - xii; 552 p.
  ISBN 978-3-540-66251-8
  
• [Congrès] Algorithms - ESA'97. - 5th annual european symposium. - Graz # september 15-17, 1997 / Editor Burkard, Rainer ; Editor Woeginger, Gerhard. -Berlin, Heidelberg, New York : Springer, 1997. - xi; 513 p.
  ISBN 978-3-540-63397-6
  
• [Congrès] CAAP'92. - 17th colloquium on trees in algebra and programming. - Rennes # february 26-28, 1992 / Editor Raoult, J.-C.. -Berlin, Heidelberg, New York : Springer-Verlag, 1992. - viii; 361 p.
  ISBN 978-3-540-55251-2
  
• [Congrès] Automata, languages and programming. - Ninth colloquium - Aarhus # july 12-16, 1982 / Editor Nielsen, M. ; Editor Schmidt, E. M.. -Berlin, Heidelberg, New York : Springer-Verlag, 1982. - vii; 613 p.
  ISBN 978-3-540-11576-2
  
• [Congrès] Automata, languages and programming. - 10th colloquium - Barcelona # july 18-22, 1983 / Editor Diaz, J.. -Berlin, Heidelberg, New York, Tokyo : Springer-Verlag, 1983. - viii; 733 p.
  ISBN 978-3-540-12317-0
  
• [Congrès] Fundamentals of computation theory: FCT'85 - Cottbus # september 9-13, 1985 / Editor Budach, Lothar. -Berlin, Heidelberg, New York, Tokyo : Springer-Verlag, 1985. - xii; 542 p.
  ISBN 978-3-540-15689-5
  
• [Congrès] LATIN 2000: theoretical informatics. - 4th Latin American symposium - Punta del Este # april 2000 / Editor Gonnet, Gaston H ; Editor Panario, Daniel ; Editor Viola, Alfredo. -Berlin, Heidelberg, New York : Springer, 2000. - xiv; 484 p.
  ISBN 978-3-540-67306-4
  
• [Congrès] Algorithms - ESA 2003. - 11th annual European symposium - Budapest # september 16-19, 2003 / Editor Di Battista, Giuseppe ; Editor Zwick, Uri. -Berlin, Heidelberg, New York : Springer, 2003. - xiv; 790 p.
  ISBN 978-3-540-20064-2
  
• [Congrès] Automata, languages and programming. - Proceedings of a symposium organized by the Institut de Recherche d'Informatique et d'Automatique (IRIA) - Rocquencourt # july 3-7, 1972 / Editor Nivat, M.. -Amsterdam, London, New York : North-Holland Publishing Co.;American Elsevier Publishing Co., Inc., 1973. - 622 p.
  ISBN 978-0-7204-2074-6
  
• [Congrès] Langages algébriques: - actes des premières journées d'informatique théorique - Bonascre # 1973 / Editor Crestin, Jean-Pierre ; Editor Nivat, Maurice. -Paris : Ecole Nationale Supérieure de Techniques Avancées, 1978. - 281 p.
  ISBN 978-2-7225-0424-0
  
• [Congrès] Information processing 83. - Proceedings of the IFIP 9th world computer congress - Paris # september 19-23, 1983 / Editor Mason, R. E. A.. -Amsterdam, New York, Oxford : North-Holland, 1983. - xvi; 964 p.
  
• [Congrès] Séries formelles et combinatoire algébrique. - Actes du colloque - Bordeaux # 2-4 mai 1991 / Editor Delest, M. ; Editor Jacob, G. ; Editor Leroux, P.. -Bordeaux : Université Bordeaux I, 1991. - vii; 409 p.
  
• [Congrès] GASCom and bijective combinatorics. - Dijon # september 11-14, 2006 / Editor Pinzani, R. ; Editor Vajnovszki, V.. -Dijon : Université de Bourgone, 2006. - viii; 187 p.
  
• [Congrès] IIIème colloque R.C.P. algorithmique - Nice # 18-20 juin, 1980 / Editor Morgenstern, J.. -Nice : C.N.R.S.;I.N.R.I.A., 1980. - pag. multi.
  
• [Congrès] Automata, languages and programming. - 36th international colloquium (ICALP) - Rhodes # july 2009 - Proceedings, part I. / Editor Albers, Susanne ; Editor Marchetti-Spaccamela, Alberto ; Editor Matias, Yossi ; Editor Nikoletseas, Sotiris ; Editor Thomas, Wolfgang. -Berlin, Heidelberg : Springer, 2009. - xxii; 789 p.
  ISBN 978-3-642-02926-4
  
• [Ouvrage] Design and optimization of compilers / Editor Rustin, Randall. -Englewood Cliffs : Prentice-Hall, Inc., 1972. - 141 p.
  ISBN 978-0-13-200204-2
  
• [Congrès] Automata, languages and programming. - 28th international colloquium, ICALP 2001 - Crete # july 8-12, 2001 / Editor Orejas, Fernando ; Editor Spirakis, Paul G. ; Editor Van Leeuwen, Jan. -Berlin, Heidelberg, New York : Springer, 2001. - xiv; 1083 p.
  ISBN 978-3-540-42287-7
  
• [Ouvrage] Experimental algorithmics: - from algorithm design to robust and efficient software / Editor Fleischer, Rudolf ; Editor Moret, Bernard ; Editor Schmidt, Erik Meineche. -Berlin, Heidelberg, New York : Springer, 1998. - xvii; 278 p.
  ISBN 978-3-540-00346-5
  
• [Ouvrage] Average-case analysis of algorithms. - Dedicated to Philippe Flajolet on the occasion of his 50th birthday / Editor Prodinger, H. ; Editor Szpankowski, W.. -New York : Springer, 1998. - 363-690 p.
  
  
• [Ouvrage] Journées scientifiques & prix UAP 1985, 1986, 1987 -Paris : Conseil Scientifique de l'UAP, 1988. - 199 p.
  ISBN 978-2-906121-08-9
  
• [Congrès] Les mathématiques de l'informatique. - AFCET colloque - Paris # 16-18 mars 1982 / Editor Robinet, Bernard. -Paris : AFCET, 1982. - vii; 561 p.
  
• [Congrès] Analysis and design of algorithms for combinatorial problems. - Selected papers based on the issues presented by the autors at the workshop held at CISM - Udine # september 1982 / Editor Ausiello, G. ; Editor Lucertini, M.. -Amsterdam, New York, Oxford : North-Holland, 1985. - x; 319 p.
  ISBN 978-0-444-87699-7
  
• [Congrès] Model theoretic methods in finite combinatorics. - AMS-ASL joint special session - Washington # january 5-8, 2009 / Editor Grohe, Martin ; Editor Makowsky, Johann A.. -Providence : American Mathematical Society, 2011. - viii; 519 p.
  ISBN 978-0-8218-4943-9
  
• [Congrès] Algorithmic aspects of algebra and logic. - Collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday -Moscow : MAIK Nauka/Interperiodica Publishing, 2011. - 325 p.
  
• [Ouvrage] Combinatorics, automata and number theory / Editor Berthé, Valérie ; Co-auteur Rigo, Michel. -Cambridge, New York : Cambridge University Press, 2010. - xix; 615 p.
  ISBN 978-0-521-51597-9
  
• [Congrès] Proceedings of the European Workshop on Mixed Integer Nonlinear Programming - CIRM, Marseille # 12-16 April 2010 / Editor Bonami, Pierre ; Editor Liberti, Leo ; Editor Miller, Andrew J. ; Editor Sartenaer, Annick. -Marseille : CIRM, 2010. - vii, 278 p.
  
• [Congrès] Essays on the complexity of continuous problems. - Festschrift for Henryk Wozniakowski. - Jena # june 6, 2008 / Principal Novak, Erich ; Co-auteur Sloan, Ian H. ; Co-auteur Traub, Joseph F. ; Co-auteur Wozniakowski, Henryk. -Zürich : European Mathematical Society, 2009. - viii; 97 p.
  ISBN 978-3-03719-069-2
  
• [Ouvrage] the Shortest path problem: - ninth DIMACS implementation challenge / Editor Demetrescu, Camil ; Editor Goldberg, Andrew V. ; Editor Johnson, David S.. -Providence : American Mathematical Society, 2009. - xii; 319 p.
  ISBN 978-0-8218-4383-3
  
• [Congrès] Graphs and discovery - proceedings of the DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases and DIMACS public event, graph theory day 42 - Piscataway # november 10 and 12-16, 2001 / Editor Fajtlowicz, Siemion ; Editor Fowler, Patrick W. ; Editor Hansen, Pierre ; Editor Janowitz, Melvin F. ; Editor Roberts, Fred S.. -Providence : American Mathematical Society, 2005. - xiv; 370 p.
  ISBN 978-0-8218-4380-2
  
• [Congrès] Algorithmic number theory - 7th international symposium, ANTS-VII - Berlin # july 23-28, 2006 - proceedings / Editor Hess, Florian ; Editor Pauli, Sebastian ; Editor Pohst, Michael. -Berlin, Heidelberg, New York : Springer, 2006. - x; 598 p.
  ISBN 978-3-540-36075-9
  
• [Ouvrage] Polyhedral computation / Editor Avis, David ; Editor Bremner, David ; Editor Deza, Antoine. -Providence : American Mathematical Society, 2009. - ix; 147 p.
  ISBN 978-0-8218-4633-9
  
• [Ouvrage] Logic in computer science / Editor Ognjanovic, Zoran. -Beograd : Matematicki Institut SANU, 2009. - 215 p.
  ISBN 978-86-80593-40-1
  
• [Congrès] Modeling, simulation and optimization of complex processes: - proceedings of the 3rd international conference on high performance scientific computing - Hanoi#6-10 mar. 2006 / Editor Bock, Hans Georg ; Editor Kostina, Ekaterina ; Editor Phu, Hoang Xuan ; Editor Rannacher, Rolf. -Berlin, Heidelberg : Springer-Verlag, 2008. - XI; 666 p.
  ISBN 978-3-540-79408-0
  
• [Congrès] Software for algebraic geometry: - papers of a workshop - Minneapolis#october 23-27, 2006 / Editor Stillman, Michael E. ; Editor Takayama, Nobuki ; Editor Verschelde, Jan. -New York : Springer, 2008. - ix; 172 p.
  ISBN 978-0-387-78132-7
  
• [Ouvrage] New challenges in applied intelligence technologies / Editor Nguyen, Ngoc Thanh ; Editor Katarzyniak, Radoslaw. -Berlin, Heidelberg : Springer-Verlag, 2008. - x, 394 p.
  ISBN 978-3-540-79354-0
  
• [Congrès] Logic programming and automated reasoning: - 4th international conference, LPAR'93#July13-20 / Editor Voronkov, Andrei. -Berlin, Heidelberg : Springer-Verlag, 1993. - 386p.
  ISBN 978-3-540-56944-2
  
• [Congrès] Constraints in computational logics: - first international conference, CCL'94#Sept.7-9 / Editor Jouannaud, Jean-Pierre. -Berlin, Heidelberg : Springer-Verlag, 1994. - 367p.
  ISBN 978-3-540-58403-2
  
• [Congrès] Principles and practice of constraint programming-CP'95: - first international conference, CP'95#Sept.19-22 / Editor Montanari, Ugo ; Editor Rossi, Francesca. -Berlin, Heidelberg : Springer-Verlag, 1995. - 650p.
  ISBN 978-3-540-60299-6
  
• [Congrès] Correct hardware design and verification methods: - IFIPWG10.2 advanced research working conference , CHARME'93#May24-26 / Editor Milne, George J. ; Editor Pierre, Laurence. -Berlin, Heidelberg : Springer-Verlag, 1993. - 269p.
  ISBN 978-3-540-56778-3
  
• [Congrès] Programming languages implementation and logic programming: - 6th international symposium, PLILP'94#Sept.14-16 / Editor Hermenegildo, Manuel ; Editor Penjam, Jaan. -Berlin, Heidelberg : Springer-Verlag, 1994. - 468p.
  ISBN 978-3-540-58402-5
  
• [Congrès] Programming languages and systems-ESOP'94: - 5th european symposium on programming#April11-13 / Editor Sannella, Donald. -Berlin, Heidelberg : Springer-Verlag, 1994. - 516p.
  ISBN 978-3-540-57880-2
  
• [Congrès] A decade of concurrency: - reflections and perspectives; REX school/symposium#June1-4 / Editor De Bakker, J. W. ; Editor De Roever, W. P. ; Editor Rosenberg, G.. -Berlin, Heidelberg : Springer-Verlag, 1994. - 684p.
  ISBN 978-3-540-58043-0
  
• [Congrès] Tools and algorithms for the construction and analysis of systems: - 6th international workshop, TACAS2000#March27-31 held as part of the ETAPS2000#March25-April2 / Editor Graf, S. ; Editor Schwartzbach, M.. -Berlin, Heidelberg : Springer-Verlag, 2000. - 552p.
  ISBN 978-3-540-67282-1
  
• [Congrès] Tools and algorithms for the construction and analysis of systems: - 5th international workshop, TACAS'99#March22-25 held as part of the ETAPS'99#March22-28 / Editor Cleaveland, W. R.. -Berlin, Heidelberg : Springer-Verlag, 1999. - 443p.
  ISBN 978-3-540-65703-3
  
• [Congrès] Tools and algorithms for the construction and analysis of systems: - third international workshop, TACAS'97#April2-4 / Editor Brinksma, E.. -Berlin, heidelberg : Springer-Verlag, 1997. - 431p.
  ISBN 978-3-540-62790-6
  
• [Congrès] Tools and algorithms for the construction and analysis of systems: - second international workshop, TACAS'96#March27-29 / Editor Margaria, T. ; Editor Steffen, B.. -Berlin, Heidelberg : Springer-Verlag, 1996. - 434p.
  ISBN 978-3-540-61042-7
  
• [Congrès] Tools and algorithms for the construction and analysis of systems: - first international workshop, TACAS'95#May19-20 / Editor Brinksma, E. ; Editor Cleaveland, W. R. ; Editor Larsen, K. G. ; Editor Margaria, T. ; Steffen, B.. -Berlin, Heidelberg : Springer-Verlag, 1995. - 289p.
  ISBN 978-3-540-60630-7
  
• [Congrès] Computer aided verification: - fourth international workshop, CAV'92#June29-July1 / Editor Bochmann, G. V. ; Editor Probst, D. K.. -Berlin, Heidelberg : Springer-Verlag, 1993. - 422p.
  ISBN 978-3-540-56496-6
  
• [Congrès] Static analysis: - third international workshop,WSA'93#Sept.22-24 / Editor Cousot, Patrick ; Editor Falaschi, Moreno ; Editor Filè, Gilberto ; Editor Rauzy, Antoine. -Berlin, Heidelberg : Springer-Verlag, 1993. - 283p.
  ISBN 978-3-540-57264-0
  
• [Congrès] Constraint programming: basics and trends: - 1994 Châtillon spring school#May16-20 / Editor Podelski, Andreas. -Berlin, Heidelberg : Springer-Verlag, 1995. - 316p.
  ISBN 978-3-540-59155-9
  
• [Congrès] Symbolic and quantitative approaches to uncertainty: - european conference ECSQAU#Oct.15-17 / Editor Kruse, Rudolf ; Editor Siegel, Pierre. -Berlin, Heidelberg : Springer-Verlag, 1991. - 359p.
  ISBN 978-3-540-54659-7
  
• [Congrès] Static analysis: - first international static analysis symposium, SAS'94#Sept.28-30 / Editor Le Charlier, Baudouin. -Berlin, Heidelberg : Springer-Verlag, 1994. - 463p.
  ISBN 978-3-540-58485-8
  
• [Congrès] Constraint processing: - selected papers / Editor Meyer, Manfred. -Berlin, Heidelberg : Springer-Verlag, 1995. - 287p.
  ISBN 978-3-540-59479-6
  
• [Congrès] Principles and practice of constraint programming: - second international workshop, PPCP'94#May2-4 / Editor Borning, Alan. -Berlin, Heidelberg : Springer-Verlag, 1994. - 360p.
  ISBN 978-3-540-58601-2
  
• [Congrès] Formal methods in computer-aided design: - first international conference, FMCAD'96#Nov.6-8 / Editor Srivas, Mandayam ; Editor Camilleri, Albert. -Berlin, Heidelberg : Springer-Verlag, 1996. - 470p.
  ISBN 978-3-540-61937-6
  
• [Congrès] Automatic verification methods for finite state systems: - international workshop#June12-14 / Editor Sifakis, J.. -Berlin, Heidelberg : Springer-Verlag, 1990. - 382p.
  ISBN 978-3-540-52148-8
  
• [Congrès] Computer aided verification: - 5th international conference, CAV'93#June28-July1 / Editor Courcoubetis, Costas. -Berlin, Heidelberg : Springer-Verlag, 1993. - 504p.
  ISBN 978-3-540-56922-0
  
• [Congrès] Computer aided verification: - 7th international conference, CAV'95#July 3-5 / Editor Wolper, Pierre. -Berlin, Heidelberg : Springer-Verlag, 1995. - 450p.
  ISBN 978-3-540-60045-9
  
• [Congrès] Computer aided verification: - 11th international conference, CAV'99#July 6-10 / Editor Halbwachs, Nicolas ; Editor Peled, Doron A.. -Berlin, Heidelberg : Springer-Verlag, 1999. - 506p.
  ISBN 978-3-540-66202-0
  
• [Congrès] Computer aided verification: - 8th international conference, CAV'96#July31-Aug.3 / Editor Alur, Rajeev ; Editor Henzinger, Thomas A.. -Berlin, Heidelberg : Springer-Verlag, 1996. - 472p.
  ISBN 978-3-540-61474-6
  
• [Congrès] Computer-aided verification: - 2nd international conference, CAV'90#June18-21 / Editor Clarke, E. M. ; Editor Kurshan, R. P.. -Berlin, Heidelberg : Springer-Verlag, 1991. - 372p.
  ISBN 978-3-540-54477-7
  
• [Congrès] Computer aided verification: - 3rd international workshop, CAV'91#July1-4 / Editor Larsen, K. G. ; Editor Skou, A.. -Berlin, Heidelberg : Springer-Verlag, 1992. - 487p.
  ISBN 978-3-540-55179-9
  
• [Congrès] Computer aided verification: - 9th international conference, CAV'97#June 22-25 / Editor Grumberg, Orna. -Berlin, Heidelberg : Springer-Verlag, 1997. - 486p.
  ISBN 978-3-540-63166-8
  
• [Congrès] Computer aided verification: - 12th international conference, CAV#July15-19 / Editor Emerson, Allen E. ; Editor Sistla, Prasad A.. -Berlin, Heidelberg : Springer-Verlag, 2000. - 582p.
  ISBN 978-3-540-67770-3
  
• [Congrès] Computer aided verification: - 10th international conference, CAV'98#june28-july2 / Editor Hu, Alain J. ; Editor Vardi, Moshe Y.. -Berlin, Heidelberg, Allemagne : Springer-Verlag, 1998. - 552p.
  ISBN 978-3-540-64608-2
  
• [Ouvrage] Entropy, search, complexity / Editor Csiszar, Imre ; Editor Katona, Gyula O. H. ; Editor Tardos, Gabor. -Berlin, Heidelberg : Springer, 2007. - 264 p.
  ISBN 978-3-540-32573-4
  
• [Congrès] Symbolic-numeric computation - july 19-21 / Editor Wang, Dongming ; Editor Zhi, Lihong. -Basel, Boston, Berlin : Springer, 2007. - 394 p.
  ISBN 978-3-7643-7983-4
  
• [Congrès] Mathematical logic in computer science# Sept. 10 - 15 / Editor Dömölki, B. ; Editor Gergely, T.. North-Holland, 1981. - 758 p.
  ISBN 978-0-444-85440-7
  
• [Congrès] Developments in language theory : - 11th international conference, DLT 2007 / Editor Harju, Tero ; Editor Karhumäki, Juhani ; Editor Lepistö, Arto. -Berlin, Heidelberg : Springer, 2007. - 421 p.
  ISBN 978-3-540-73207-5
  
• [Congrès] Proceedings of the seventeenth annual ACM-SIAM symposium on discrete algorithms : - proceedings in applied mathematics 122#Jan. 22-24 -N. Y., Philadelphia : SIAM, 2006. - 1242 p.
  ISBN 978-0-89871-605-4
  
• [Ouvrage] Computational complexity theory / Editor Rudich, Steven ; Editor Wigderson, Avi. -Providence, Rhode Island : American Mathematical Society, 2004. - 389 p.
  ISBN 978-0-8218-2872-4
  
• [Ouvrage] High performance computing in science and engineering'05 : - transactions of the high performance computing center, Stuttgart (HLRS) 2005 / Editor Nagel, Wolfgang E. ; Editor Jäger, Willi ; Editor Resch, Michael. -Berlin, heidelberg : Springer, 2006. - 340 p.
  ISBN 978-3-540-28377-5
  
• [Ouvrage] Information security and cryptology - ICISC 2004 : - 7th international conference#Dec. 2-3 / Editor Choonsik, Park ; Editor Seongtaek, Chee. -Berlin, Heidelberg : Springer, 2005. - 490 p.
  ISBN 978-3-540-26226-8
  
• [Ouvrage] Deep structure, singularities, and computer vision : - first international workshop, DSSCV 2005#June 9-10 / Editor Olsen, Ole Fogh ; Editor Florack, Luc ; Editor Kuijper, Arjan. -Berlin, Heidelberg : Springer, 2005. - 258 p.
  ISBN 978-3-540-29836-6
  
• [Ouvrage] Advances in computers. Vol. 2 / Editor Alt, Franz L. ; Editor Boothby, William M. ; Editor Meagher, R. E.. -N. Y., London : Academic Press, 1961. - 434 p.
  
• [Ouvrage] The origins of digital computers : - selected papers / Editor Randell, Brian. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1973. - 464 p.
  ISBN 978-3-540-06169-4
  
• [Congrès] Structural theory of automata, semigroups, and universal algebra : - proceedings of the NATO advanced study institute on structural theory of automata, semigroups, and universal algebra#July 7-18 / Editor Kudryavtsev, Valery B. ; Editor Rosenberg, Ivo G.. -Dordrecht : Springer, 2005. - 434 p.
  ISBN 978-1-4020-3815-0
  
• [Congrès] Group theory, statistics, and cryptography : - AMS special session combinatorial and statistical group theory held at New York University#April 12-13 / Editor Myasnikov, Alexei G. ; Editor Shpilrain, Vladimir. -Providence : American Mathematical Society, 2004. - 177 p.
  ISBN 978-0-8218-3444-2
  
• [Congrès] Novel approaches to hard discrete optimization : - papers from the workshop held at the University of Waterloo#April 26-28 / Editor Pardalos, Panos ; Editor Wolkowicz, Henry. -Providence : American Mathematical Society, 2004. - 181 p.
  ISBN 978-0-8218-3248-6
  
• [Congrès] Interactive systems for experimental applied mathematics : - proceedings of the Association for Computing Machibnery Inc. on ...#Aug. / Editor Klerer, Melvin. -London, N. Y. : Academic Press, 1968. - 472 p.
  
• [Congrès] Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications#Sept. 11-15 / Editor Kalmar, Laszlo. -Louvain, Paris : Gauthier-Villars et Cie.;Louvain E. Nauwelaerts, 1965. - 317 p.
  
• [Congrès] Category theory applied to computation and control : - proccedings of the first international symposium held at the St. Francis Hotel#Feb. 25-26 / Editor Manes, E. G.. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1975. - 245 p.
  ISBN 978-3-540-07142-6
  
• [Congrès] Automata, languages and programming : - 2nd colloquium on ... held at the University of Saarbrucken#July 29 - Aug. 2 / Editor Loeckx, Jacques. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1974. - 619 p.
  ISBN 978-3-540-06841-9
  
• [Congrès] Theoretical computer science : - 3rd Gl (Gesellschaft für Informatik) conference#March 28-30 / Editor Tzschach, H. ; Editor Waldschmidt, H. ; Editor Walter, H. K. G.. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1977. - 418 p.
  ISBN 978-3-540-08138-8
  
• [Congrès] Categoriy theory and computer science : - proceedings held at the University of Edinburgh#Sept. 7-9 / Editor Pitt, D. H. ; Editor Poigné, A. ; Editor Rydeheard, D. E.. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1987. - 299 p.
  ISBN 978-0-387-18508-8
  
• [Congrès] Mathematical models for the semantics of parallelism : - advanced school held at the Istituto per le Applicasioni del Calcolo (IAC) "Mauro Picone"#Sept. 24 - Oct. 1 / Editor Zilli, Marisa Venturini. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1987. - 230 p.
  ISBN 978-3-540-18419-5
  
• [Congrès] Foundations of computational mathematics: - Minneapolis 2002 / Editor Cucker, Felipe ; Editor DeVore, Ron ; Editor Olver, Peter. -Cambridge : Cambridge University Press, 2004. - 206 p.
  
• [Congrès] Advances in cryptology - CRYPTO 2003 : - 23re annual international cryptology conference#Aug. 17-21 / Editor Boneh, Dan. -Berlin, Heidelberg, N.Y. : Springer, 2003. - 630 p.
  ISBN 978-3-540-40674-7
  
• [Congrès] Intelligence and security informatics : - first NSF/NIJ symposium#ISI 2003#June 2-3 / Editor Chen, Hsinchun ; Editor Miranda, Richard ; Editor Zeng, Daniel D.. Springer, 2003. - 392 p.
  ISBN 978-3-540-40189-6
  
• [Congrès] Advances in cryptology - EUROCRYPT 2003 : - international conference on the theory and applications of cryptographic techniques#May 4-8 / Editor Biham, Eli. -Berlin, Heidelberg, N.Y. : Springer, 2003. - 648 p.
  ISBN 978-3-540-14039-9
  
• [Congrès] CONCUR 2003 - concurrency theory - proceeedings of the 14th international conference on ...#Sept. 3-5 / Editor Amadio, Roberto M. ; Editor Lugiez, Denis. -Berlin, Heidelberg, N.Y. : Springer, 2003. - 524 p.
  ISBN 978-3-540-40753-9
  
• [Congrès] Semigroups, algorithms, automata and language : - thematic tern on ... held at the International Centre of Mathematics, CIM #May-July / Editor Gomes, Gracinda M. S. ; Editor Pin, Jean-Eric ; Editor Silva, Pedro V.. -London, New Jersey, Singapore : World Scientific, 2002. - 515 p.
  ISBN 978-981-238-099-9
  
• [Congrès] JNCF' 2003 : - journées nationales de calcul formel#CIRM#Janv. 20-24 / Organisateur Boucher, Delphine ; Organisateur Hanrot, Guillaume ; Organisateur Rouillier, Fabrice ; Organisateur Schost, Eric. -Marseille : CNRS;INRIA, 2003. - 65 p.
  
• [Congrès] Words, languages and combinatorics III : - proceedings of the third international conference#March 14-18 / Editor Ito, Masami ; Editor Imaoka, Teruo. -London, New Jersey, Singapore : World Scientific Publishing, 2003. - 477 p.
  ISBN 978-981-02-4948-9
  
• [Congrès] Advances in cryptology - CRYPTO 2002 : - 22nd annual international cryptology conference#Aug. 18-22 / Editor Yung, Moti. -Berlin, Heidelberg, N.Y. : Springer, 2002. - 626 p.
  ISBN 978-3-540-44050-5
  
• [Congrès] Experimental robotics III : - the 3rd international symposium#Oct. 28-30 / Editor Yoshikawa, Tsuneo ; Editor Miyazaki, Fumio. -Berlin : Springer, 1994. - 598 p.
  ISBN 978-3-540-19905-2
  
• [Congrès] Advances in computing and control : - papers selected presented at the 1988 international conference on ...#Oct. 19-21 / Editor Porter, W. A. ; Editor Kak, S. C. ; Editor Aravena, J. L.. -Berlin : Springer, 1989. - 367 p.
  ISBN 978-3-540-51425-1
  
• [Congrès] Computer algebra : - EUROCAL'83, european computer algebra conference#March 28-30 / Principal Van Hulzen, J. A.. -Berlin, Heidelberg, N.Y. : Springer, 1983. - 305 p.
  ISBN 978-3-540-12868-7
  
• [Congrès] Discrete mathematics - presented at the semester ... #Feb. 15 - June 16 / Editor Kulikowski, J. L. ; Editor Michalewicz, Zbigniew ; Editor Yablonskii, S. B.. -Warszawa : Institute Of Mathematics;Polish Academy of Sciences, 1982. - 224 p.
  ISBN 978-83-01-01494-0
  
• [Congrès] Data structures, near neighbor searches, and methodology : - fifth and sixth DIMACS implementation challenges#papers related to the 5th DIMACS challenge on dictionaries and priority queues#Oct. 28-30 and the 6th DIMACS challenge on near neighbor searches#Jan. 15 / Editor Goldwasser, Michael H. ; Editor Johnson, David S. ; Editor McGeoch, Catherine C.. -Providence : American Mathematical Society, 2002. - 256 p.
  ISBN 978-0-8218-2892-2
  
• [Congrès] Smart card programming and security : - proceedings of an international conference on research in smart cards, E-smart 2001#Sept. 19-21 / Editor Attali, Isabelle ; Editor Jensen, Thomas. -Berlin, Heidelberg, N.Y. : Springer, 2001. - 254 p.
  ISBN 978-3-540-42610-3
  
• [Ouvrage] Handbook of computational geometry / Editor Sack, J. R. ; Editor Urrutia, J.. -Amsterdam, Lausanne, N.Y. : Elsevier, 2000. - 1027 p.
  ISBN 978-0-444-82537-7
  
• [Congrès] Computer mathematics : - proceedings of the fith Asian symposium (ADCM 2001)#Sept. 26-28 / Editor Shirayanagi, Kiyoshi ; Editor Yokoyama, Kazuhiro. -London, New Jersey, Singapore : World Scientific Publishing, 2001. - 227 p.
  ISBN 978-981-02-4763-8
  
• [Ouvrage] Algebraic combinatorics and computer science : - a tribute of Gian-Carlo Rota / Editor Crapo, H. ; Editor Senato, D.. -Berlin, Heidelberg, Milano : Springer, 2001. - 546 p.
  ISBN 978-88-470-0078-0
  
• [Ouvrage] Partiality, modality, and nonmonotonicity / Principal Doherty, Patrick. -Stanford : CSLI Publications;FoLLI, 1996. - 300 p.
  ISBN 978-1-57586-030-5
  
• [Congrès] Symbolic computation and automated reasoning : - the CALCULEMUS-2000 symposium#8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000 / Editor Kerber, Manfred ; Editor Kohlhase, Michael. A.K. Peters, 2000. - 270 p.
  ISBN 978-1-56881-145-1
  
• [Congrès] Advances in cryptology - CRYPTO 2001 : - 21st annual international cryptology conference#Aug. 19-23 / Editor Kilian, Joe. -Berlin, Heidelberg, N.Y. : Springer, 2001. - 598 p.
  ISBN 978-3-540-42456-7
  
• [Ouvrage] Computations in algebraic geometry with MacAulay 2 / Editor Eisenbud, David ; Editor Grayson, Daniel R. ; Editor Stillman, Michael ; Editor Sturmfels, Bernd. -Berlin, Heidelberg, N.Y. : Springer, 2002. - 329 p.
  ISBN 978-3-540-42230-3
  
• [Ouvrage] Geometric computing with Clifford algebras : - theoretical foundations and applications in computer vision and robotics / Editor Sommer, Gerald. -Berlin, Heidelberg, N.Y. : Springer, 2001. - 551 p.
  ISBN 978-3-540-41198-7
  
• [Congrès] Robust communication networks : - interconnection and survivability#papers from the DIMACS Workshop held at Rutgers University#Nov. 18-20 / Editor Dean, Nathaniel ; Editor Hsu, D. Frank ; Editor Ravi, R.. -Providence : American Mathematical Society, 2000. - 167 p.
  ISBN 978-0-8218-1546-5
  
• [Congrès] Combinatorial and computational algebra : - international conference on ... held at the University of Hong Kong#May 24-29 / Editor Chan, Kai Yuen ; Editor Mikhalev, Alexander A. ; Editor Siu, Man-Keung. -Providence : American Mathematical Society, 2000. - 305 p.
  ISBN 978-0-8218-1984-5
  
• [Congrès] Developments in language theory : - foundations, applications, and perspectives#papers presented a the fourth international conference on ...#July 6-9 / Editor Rozenberg, G. ; Editor Thomas , W.. -London, New Jersey, Singapore : World Scientific, 2000. - 385 p.
  ISBN 978-981-02-4380-7
  
• [Ouvrage] Computing tomorrow - future research directions in computer science / Editor Milner, Robin ; Editor Wand, Ian. -Cambridge : Cambridge University Press, 1996. - 373 p.
  ISBN 978-0-521-46085-9
  
• [Congrès] Automated deduction in geometry - second international workshop, ADG'98 proceedings - Aug. 1-3 / Editor Gao, Wiao-Shan ; Editor Wang, Dongming ; Editor Yang, Lu. -Berlin, Heidelberg, N.Y. : Springer, 1999
  ISBN 978-3-540-66672-1
  
• [Congrès] Idempotency - workshop on ... held at Hewlett-Packard"s basic research institute in the mathematical science - Oct. 3-7 / Editor Gunawardena, Jeremy. -Cambridge : Cambridge University Press, 1998
  ISBN 978-0-521-55344-5
  
• [Congrès] Graph drawing : - proceedings of the 7th international symposium, GD"99#Sept. 15-19 / Editor Kratochvil, Jan. -Berlin, Heidelberg, N.Y. : Springer, 1999. - 422 p.
  ISBN 978-3-540-66904-3
  
• [Congrès] Higher order operational techniques in semantics - papers from the HOOTS workshop - Oct. / Editor Gordon, Andrew D. ; Editor Pitts, Andrex M.. -Cambridge : Cambridge University Press, 1998
  ISBN 978-0-521-63168-6
  
• [Congrès] Computing and combinatorics : - 4th annual international conference, COCOON"98 proceedings#Aug. 12-14 / Editor Hsu, Wen-Lian ; Editor Kao, Ming-Yang. -Berlin, Heidelberg, N.Y. : Springer, 1998. - 370 p.
  ISBN 978-3-540-64824-6
  
• [Congrès] Graph theoretic concepts in computer science : - 25th international workshop, WG / Editor Eidenbenz, Stephan ; Editor Neyer, Gabriele ; Editor Widmayer, Peter. -Berlin, Heidelberg, N.Y. : Springer, 1999. - 414 p.
  ISBN 978-3-540-66731-5
  
• [Congrès] High performance computing - HiPC'99 : - 6th international conference on ...#Dec. 17-20 / Editor Banerjee, Prith ; Editor Prasanna, Viktor K. ; Editor Sinha, Bhabani P.. -Berlin, Heidelberg, N.Y. : Springer, 1999. - 412 p.
  ISBN 978-3-540-66907-4
  
• [Congrès] Computer vision-ECCV : - second european conference on computer vision#May 19-22 / Editor Sandini, G.. -Berlin, Heidelberg, N.y. : Springer-Verlag, 1992. - 909 p.
  ISBN 978-3-540-55426-4
  
• [Congrès] Attribute grammars and their applications : - International conference waga#Sept. 19-21 / Editor Deransart, P. ; Editor Jourdan, M.. -Berlin, Heidelberg, N.y. : Springer-Verlag, 1990. - 357 p.
  ISBN 978-3-540-53101-2
  
• [Congrès] Papers selected from the fifth canadian conference on computational geometry - aug. 5-9 / Editor Lubiw A. ; Editor Urrutia, J.. -Amsterdam, Lausane, N.y. : Elsevier, 1997
  
• [Congrès] Algorithms for parallel processing - Worhshop on ... held at the university of minnesota - sept. 16-20 / Editor Heath, Michael T. ; Editor Ranade, Abhiram ; Editor Schreiber, Robert S.. -Berlin, Heidelberg, N.y. : Springer, 1999
  ISBN 978-0-387-98680-7
  
• [Congrès] Dna based computers III : - Dimacs workshop#June 23-25 / Editor Rubin, Harvey ; Editor Wood, David Harlan. -Providence : American Mathematical Society, 1999. - 375 p.
  ISBN 978-0-8218-0842-9
  
• [Congrès] Mathematical foundations of computer science 1990 : - Papers selected for presentation at the 15th symposium on mfcs / Editor Rovan, B.. -Berlin, Heidelberg, N.y. : Springer-Verlag, 1990. - 544 p.
  ISBN 978-3-540-52953-8
  
• [Congrès] STACS 94 : - 11th annual symposium on theoretical aspects of computer science#Feb. 24-26 / Editor Enjalbert, P. ; Editor Mayr, E. W. ; Editor Wagner, K. W.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1994. - 782 p.
  ISBN 978-3-540-57785-0
  
• [Congrès] Network threats : - DIMACS workshop#Dec. 2-4 / Editor Neumann, Peter G. ; Editor Wright, Rebecca N.. -Providence, R.I. : American Mathematical Society, 1998. - 110 p.
  ISBN 978-0-8218-0832-0
  
• [Congrès] Parallel algorithms : - third DIMACS implementation challenge Univerity of Princeton#Oct. 17-19 / Editor Bhatt, Sandeep N.. -Providence, R.I. : American Mathematical Society, 1997. - 403 p.
  ISBN 978-0-8218-0447-6
  
• [Congrès] Proceedings of the 1997 international conference on software engineering - May 17-23 -N.Y. : A.C.M.;I.E.E.E., 1997
  ISBN 978-0-89791-914-2
  
• [Congrès] Compte rendu des 2ème journées réseaux - JRES 97 - Oct. 7-10 / Organisateur Bourmaud, Fabienne ; Organisateur Coris, Jean-Marc ; Secondaire Dejancourt, Catherine ; Organisateur Denyset, Jacqueline. -La Rochelle : Comité Réseaux des Universités l'Unité Réseau du CNRS, 1997
  ISBN 978-2-9510137-2-8
  
• [Ouvrage] High performance computing in RIKEN 1996 -Saitama : RIKEN, 1996. - 229 p.
  
• [Congrès] CG'94 10th European workshop on computational geometry - March 17-18 / Editor Mazon, M. ; Editor Recio, T. ; Editor Santos, F.. -Santander : Departamento de Publicationes;Universidad de Cantabria, 1994
  ISBN 978-84-8102-054-0
  
• [Congrès] Fundamentals of computation theory : - 10th international conference, FCT'95#Aug. 22-25 / Editor Reichel, Horst. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 433 p.
  ISBN 978-3-540-60249-1
  
• [Congrès] STACS 95 - 12th annual symposium on theoretical aspects of computer science#March 2-4 / Editor Mayr, Ernst W. ; Editor Puech, Claude. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 654 p.
  ISBN 978-3-540-59042-2
  
• [Congrès] Automata, languages and programming : - 22nd international colloquium, ICALP95#July 10-14 / Editor Fülöp, Zoltan ; Editor Gecseg, Ferenc. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 683 p.
  ISBN 978-3-540-60084-8
  
• [Congrès] Temporal logic - first international conference, ICTL '94 - July 11-14 / Editor Gabbay, Dov. M. ; Editor Ohlbach, Hans Jürgen. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1994. - 545p.
  ISBN 978-3-540-58241-0
  
• [Congrès] Trends in natural language generation - an artificial intelligence perspective - fourth european workshop, EWNLG '93 - selected papers - April 28-30 / Editor Adorni, Giovanni ; Editor Zock, Michael. -Berlin, Heidelberg, N.Y. : Springer, 1996
  ISBN 978-3-540-60800-4
  
• [Congrès] Algorithms and computation : - 6th international symposium, ISAAC '95#Dec. 4-6 / Editor Eades, Peter ; Editor Katoh, Naoki ; Editor Moffat, Alistair ; Editor Staples, John. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 440 p.
  ISBN 978-3-540-60573-7
  
• [Ouvrage] High performance computing in RIKEN. Vol. 1 1995 / Editor Ebisuzaki, Toshikazu. -Saitama, Wako-shi : Institute of Physical and Chemical Reseach, 1996. - 251 p.
  
• [Congrès] Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications - Sept. 11-15 / Editor Kalmar, Laszlo. -Louvain, Paris : Gauthier-Villars et Cie., 1965
  
• [Congrès] Applications of computer algebras - American Chemical Society held their 188th national meeting - Aug. 26-27 / Editor Pavelle, Richard. -Boston, Dordrecht, Lancaster : Kluwer Academic Publishers, 1985
  ISBN 978-0-89838-173-3
  
• [Congrès] Computer algebra : - EUROCAM'82, European computer algebra conference#April 5-7 / Editor Calmet, Jacques. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 301 p.
  ISBN 978-3-540-11607-3
  
• [Congrès] Parallel programming environments for high performance computing - second european school of computer science - Institut d'Etudes Scientifiques Avancées de Grenoble - Institut IMAG (Projet APACHE) - April 1-5 / Editor Chassin de Kergommeaux, Jacques ; Editor Trystram, Denis. -Grenoble : Institut Imag, 1996
  
• [Congrès] Symbolic computational methods and applications - March 21-23 - fourth international colloquium on advanced computing methods in theoretical physics / Editor Visconti, A.. -s.l. : S.N., 1977
  
• [Congrès] Méthodes de calcul pour des systèmes de type cellulaire - Mai18-20 / Organisateur Gastinel, N. ; Organisateur Robert, F.. -Ciens : S.N., 1978
  
• [Congrès] Reliability of computer and communication networks : - proceedings of a DIMACS Workshop#Rutgers University New Jersey#Dec. 2-4 / Editor Hwang, Frank ; Editor Monma, Clyde ; Editor Roberts, Fred. American Mathematical Society;Association for Computing Machinery, 1991. - 259 p.
  ISBN 978-0-8218-6592-7