skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :
Filtré par : Publisher: Springer-Verlag Springer e-books supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computation Theory and Logic
Material Type:
ebook
Ajouter au Panier

Computation Theory and Logic

Börger, Egon (1946-...) (Ed.)

Lecture Notes in Computer Science ; 270

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

2
Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Meinke, Karl (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Gurevich, Yuri (Ed.)

Lecture Notes in Computer Science ; 832

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

3
Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Material Type:
ebook
Ajouter au Panier

Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Börger, Egon (1946-...) (Ed.) ; Rödding, D (Ed.) ; Hasenjaeger, Gisbert (1919-2006) (Ed.)

Lecture Notes in Computer Science ; 171

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

4
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Material Type:
ebook
Ajouter au Panier

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Abrial, Jean-Raymond (1938-...) (Ed.) ; Langmaack, Hans (Ed.) ; Börger, Egon (1946-...) (Ed.)

Lecture Notes in Computer Science ; 1165

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

5
Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Kleine Büning, Hans (1948-...) (Ed.) ; Jäger, G (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Martini, S (Ed.)

Lecture Notes in Computer Science ; 702

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

6
Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

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

Lecture Notes in Computer Science ; 626

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

7
Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

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

Lecture Notes in Computer Science ; 533

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

8
CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

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

Lecture Notes in Computer Science ; 440

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

9
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

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

Lecture Notes in Computer Science ; 385

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

10
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

Refine Search Results

Date de parution 

Affiner à partir de Affiner jusqu'à

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. Richter, Michael M
  4. Hasenjaeger, Gisbert
  5. Meinke, Karl

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.