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
Logic of Programs : Workshop, ETH Zürich, May–July 1979
Material Type:
ebook
Ajouter au Panier

Logic of Programs : Workshop, ETH Zürich, May–July 1979

Engeler, Erwin (1930-...) (Ed.)

Lecture Notes in Computer Science ; 125

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

2
Logics in AI : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Logics in AI : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings

Eijck, Jan van (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 478

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

3
CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Computer Science ; 329

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

4
Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Material Type:
ebook
Ajouter au Panier

Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Clarke, Edmund M (1945-...) (Ed.) ; Kozen, Dexter C (1951-...) (Ed.)

Lecture Notes in Computer Science ; 164

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

5
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Walsh, Toby (1964-...) (Ed.) ; Choueiry, Berthe Y (Ed.)

Lecture Notes in Computer Science ; 1864

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

6
Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
Material Type:
ebook
Ajouter au Panier

Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Pearce, David W (1941-...) () ; Pereira, Luís Moniz (1947-...) (Ed.) ; MacNish, Craig (Ed.) ; Pearce, David (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 838

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

7
STACS 84 : Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984
Material Type:
ebook
Ajouter au Panier

STACS 84 : Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984

Fontet, M (Ed.) ; Mehlhorn, Kurt (1949-...) (Ed.)

Lecture Notes in Computer Science ; 166

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

8
L Systems
Material Type:
ebook
Ajouter au Panier

L Systems

Salomaa, Arto (1934-...) (Ed.) ; Rozenberg, Grzegorz (Ed.)

Lecture Notes in Computer Science ; 15

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

9
Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings

Main, M (Ed.) ; Melton, A (Ed.) ; Mislove, M (Ed.) ; Schmidt, D (Ed.)

Lecture Notes in Computer Science ; 298

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

10
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Material Type:
ebook
Ajouter au Panier

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Koymans, Ron (1959-...) (Ed.)

Lecture Notes in Computer Science ; 651

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

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. Information systems  (5)
  68. Systèmes, Analyse de  (5)
  69. Informatique documentaire  (5)
  70. Information storage and retrieval  (5)
  71. Computer-Aided Engineering (CAD, CAE) and Design  (5)
  72. Information storage and retrieval systems  (5)
  73. Computer-aided design  (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.