skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 347  pour Tout le catalogue

résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Marcinkowski, Jerzy (Ed.) ; Tarlecki, Andrzej (1956-...) (Ed.)

Lecture Notes in Computer Science ; 3210

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2004

2
Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings

Furbach, Ulrich (Ed.) ; Sagiv, Yehoshua (Ed.) ; Palamidessi, Catuscia (Ed.) ; Lau, Kung-Kiu (Ed.) ; Lloyd, John (Ed.) ; Dahl, Veronica (1950-...) (Ed.) ; Kerber, Manfred (Ed.) ; Pereira, Luís Moniz (Ed.) ; Stuckey, Peter J (Ed.)

Lecture Notes in Computer Science ; 1861

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2000

3
Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans (1948-...) (Ed.)

Lecture Notes in Computer Science ; 1092

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

4
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Fribourg, Laurent (Ed.)

Lecture Notes in Computer Science ; 2142

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2001

5
Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Grandjean, Etienne (Ed.) ; Grandjean, Etienne (mathématicien) (19..-...) (Ed.) ; Gottlob, Georg (Ed.) ; Seyr, Katrin (Ed.)

Lecture Notes in Computer Science ; 1584

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 1999

6
Types for Proofs and Programs : International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
Material Type:
ebook
Ajouter au Panier

Types for Proofs and Programs : International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

Paulin-Mohring, Christine (1962-...) (Ed.) ; Giménez, Eduardo (1967-...) (Ed.)

Lecture Notes in Computer Science ; 1512

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2006

7
Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Thomas, Wolfgang (1947-...) (Ed.) ; Nielsen, Mogens Peter (1935-...) (Ed.) ; Nielsen, Mogens (1949-..) (Ed.)

Lecture Notes in Computer Science ; 1414

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

8
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Bradfield, Julian (Ed.)

Lecture Notes in Computer Science ; 2471

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2002

9
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

European Association for Computer Science Logic. Conference. 9th. 2000. Fischbachau, Germany ; Clote, Peter G (Ed.) ; Schwichtenberg, Helmut (Ed.)

Lecture Notes in Computer Science ; 1862

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2001

10
Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Baaz, Matthias (Ed.) ; Makowsky, Johann A (1948-..) (Ed.)

Lecture Notes in Computer Science ; 2803

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2003

Résultats 1 - 10 sur 347  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

  1. Mathematical Logic and Formal Languages  (337)
  2. Artificial intelligence  (158)
  3. Artificial Intelligence (incl. Robotics)  (157)
  4. Intelligence artificielle  (157)
  5. Programming Languages, Compilers, Interpreters  (149)
  6. Langages de programmation  (149)
  7. Software engineering  (148)
  8. Génie logiciel  (147)
  9. Ordinateurs. Programmation  (131)
  10. Programming Techniques  (100)
  11. Computation by Abstract Devices  (78)
  12. Algorithmes  (78)
  13. Algorithm Analysis and Problem Complexity  (67)
  14. Computer software  (67)
  15. Logic, Symbolic and mathematical  (56)
  16. Mathematical Logic and Foundations  (56)
  17. Programmation logique  (40)
  18. Théorèmes. Démonstration automatique  (37)
  19. Analyse combinatoire  (26)
  20. Combinatorics  (26)
  21. Informatique. Mathématiques  (26)
  22. Programming languages (Electronic computers)  (25)
  23. Structure logique  (21)
  24. Algebra. Data processing  (21)
  25. Symbolic and Algebraic Manipulation  (21)
  26. Structures de données (informatique)  (20)
  27. Logiciels. Développement  (19)
  28. Special Purpose and Application-Based Systems  (17)
  29. Data structures (Computer science)  (17)
  30. Logique informatique  (17)
  31. Ordinateurs  (17)
  32. Computers, Special purpose  (17)
  33. Data Structures  (17)
  34. Logiciels  (16)
  35. Computational complexity  (15)
  36. Automates mathématiques, Théorie des  (15)
  37. Discrete Mathematics in Computer Science  (15)
  38. Programmation par contraintes  (14)
  39. Réécriture, Systèmes de (informatique)  (14)
  40. Langages formels  (13)
  41. Circuits intégrés  (12)
  42. Méthodes formelles (informatique)  (12)
  43. Machine theory  (11)
  44. Integrated circuits--Verification  (11)
  45. Conception assistée par ordinateur  (11)
  46. Database management  (10)
  47. Essais  (9)
  48. Réseaux d'ordinateurs  (9)
  49. Complexité de calcul (informatique)  (9)
  50. Computer hardware  (9)
  51. Computer Communication Networks  (9)
  52. Logiciels. Vérification  (9)
  53. Logiciels. Essais  (8)
  54. Types abstraits de données (informatique)  (8)
  55. Computer graphics  (8)
  56. Systèmes d'exploitation (ordinateurs)  (7)
  57. Compilateurs (logiciels)  (7)
  58. Operating systems (Computers)  (7)
  59. Operating Systems  (7)
  60. Ingénierie assistée par ordinateur  (7)
  61. Logique algébrique  (7)
  62. Catégories (mathématiques)  (6)
  63. Computer Science, general  (6)
  64. Lambda-calcul  (6)
  65. Systèmes, Conception de  (6)
  66. Parallélisme (informatique)  (5)
  67. Computer aided design  (5)
  68. Systèmes, Analyse de  (5)
  69. Information Systems  (5)
  70. Informatique documentaire  (5)
  71. Information storage and retrieval  (5)
  72. Computer-Aided Engineering (CAD, CAE) and Design  (5)
  73. Information storage and retrieval systems  (5)
  74. Langages de programmation. Sémantique  (4)
  75. Microprogrammation  (4)
  76. System analysis  (4)
  77. Autres open sub menu

Auteur 

  1. Börger, Egon  (8)
  2. Kleine Büning, Hans  (7)
  3. Voronkov, Andrei  (6)
  4. Richter, Michael M  (6)
  5. Rozenberg, Grzegorz  (6)
  6. Levi, Giorgio  (5)
  7. Nipkow, Tobias  (5)
  8. Ehrig, Hartmut  (5)
  9. Meinke, Karl  (5)
  10. Wirsing, Martin  (5)
  11. Möller, Bernhard  (5)
  12. Rossi, Francesca  (4)
  13. Kirchner, Hélène  (4)
  14. Rydeheard, David E  (4)
  15. Bruynooghe, Maurice  (4)
  16. Bjørner, Dines  (3)
  17. Rovan, Branislav  (3)
  18. Thiagarajan, P. S  (3)
  19. Nielsen, Mogens  (3)
  20. Nivat, Maurice  (3)
  21. Nagl, Manfred  (3)
  22. Hartmanis, Juris  (3)
  23. Rodriguez Artalejo, Mario  (3)
  24. Goos, Gerhard  (3)
  25. Abramsky, Samson  (3)
  26. Palamidessi, Catuscia  (3)
  27. Lau, Kung-Kiu  (3)
  28. Mayr, Ernst W  (3)
  29. Pitt, David H  (3)
  30. Poigné, Axel  (3)
  31. Ganzinger, Harald  (3)
  32. Heering, Jan  (3)
  33. Nerode, Anil  (3)
  34. Dybjer, Peter  (3)
  35. Hermenegildo, Manuel  (3)
  36. Finkel, Alain  (3)
  37. Montanari, Ugo  (3)
  38. Salomaa, Arto  (3)
  39. Comon-Lundh, Hubert  (3)
  40. Penjam, Jaan  (2)
  41. Bowen, Jonathan Peter  (2)
  42. Gurevich, Yuri  (2)
  43. Fribourg, Laurent  (2)
  44. Tiuryn, Jerzy  (2)
  45. Peled, Doron A  (2)
  46. Glaser, Hugh  (2)
  47. Cousot, Patrick  (2)
  48. Smith, Jan  (2)
  49. Diekert, Volker  (2)
  50. Ronchi Della Rocca, Simona  (2)
  51. Kowalski, Robert A  (2)
  52. Kropf, Thomas  (2)
  53. Bezem, Marc  (2)
  54. Tarlecki, Andrzej  (2)
  55. Wood, Derick  (2)
  56. Broy, Manfred  (2)
  57. Schmidt, David  (2)
  58. Wiedermann, Juraj  (2)
  59. Pitts, Andrew M  (2)
  60. Rusinowitch, Michaël  (2)
  61. Nori, Kesav V  (2)
  62. Yu, Sheng  (2)
  63. Pottosin, Igor V  (2)
  64. Leeuwen, Jan  (2)
  65. Monien, Burkhard  (2)
  66. Małuszyński, Jan  (2)
  67. Taitslin, Mikhail A  (2)
  68. Pitt, David  (2)
  69. Clarke, Edmund M  (2)
  70. Smolka, Gert  (2)
  71. Walsh, Toby  (2)
  72. Vardi, Moshe Y  (2)
  73. Pnueli, Amir  (2)
  74. Mayr, Ernst  (2)
  75. Dezani-Ciancaglini, Mariangiola  (2)
  76. Hu, Alan J  (2)
  77. Larsen, Kim Guldstrand  (2)
  78. Basin, David  (2)
  79. Cori, Robert  (2)
  80. Cousot, Radhia  (2)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2000  (13)
  2. 2000 à 2001  (45)
  3. 2002 à 2003  (62)
  4. 2004 à 2006  (199)
  5. Après 2006  (28)
  6. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Börger, Egon
  2. Kleine Büning, Hans
  3. Voronkov, Andrei
  4. Richter, Michael M
  5. Rozenberg, Grzegorz

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.