skip to main content
Langue :
Afficher les résultats avec :
Filtré par : auteur: Meinke, Karl supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Material Type:
ebook
Ajouter au Panier

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Bennaceur, Amel (Ed.) ; Hähnle, Reiner (Ed.) ; Meinke, Karl (Ed.)

Appartient à la collection : Lecture notes in computer science, 11026, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2018

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
Principles of Declarative Programming : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Principles of Declarative Programming : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Palamidessi, Catuscia (Ed.) ; Glaser, Hugh (Ed.) ; Meinke, Karl (Ed.)

Lecture Notes in Computer Science ; 1490

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

4
Algebraic and Logic Programming : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic and Logic Programming : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Heering, Jan (Ed.) ; Hanus, Michael (Ed.) ; Meinke, Karl (Ed.)

Lecture Notes in Computer Science ; 1298

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

Refine Search Results

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.