1 696 Notices bibliographiques

Votre Recherche

Recherche simple :

Localisation
  • Ressource électronique acquise
Date de publication
  • 1900-1999
Sujets
  • Informatique
Sauvegarder votre recherche

Affiner

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

  • Ajouter un filtre
Voir la sélection (0)
Ajouter à mes références (0)

1 1997

Danthine, André

From Multimedia Services to Network Services : 4th International COST 237 Workshop Lisboa, Portugal, December 15-19, 1997 Proceedings / edited by André Danthine, Christophe Diot
Springer-Verlag
Livres

2 1998

Hu, Alan J.

Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings / edited by Alan J. Hu, Moshe Y. Vardi
Springer-Verlag
Livres

3 1996

Danvy, Olivier

Partial Evaluation : International Seminar Dagstuhl Castle, Germany, February 12-16, 1996 Selected Papers / edited by Olivier Danvy, Robert Glück, Peter Thiemann
Springer-Verlag
Livres

4 1997

Hénon, Michel (1931-2013)

Generating Families in the Restricted Three-Body Problem / by Michel Hénon
Springer-Verlag Berlin Heidelberg
Livres

5 1997

Lukose, Dickson

Conceptual Structures : Fulfilling Peirce's Dream : Fifth International Conference on Conceptual Structures, ICCS'97 Seattle, Washington, USA, August 3-8, 1997 Proceedings / edited by Dickson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, John Sowa
Springer-Verlag
Livres

6 1997

Lavrač, Nada

Inductive Logic Programming : 7th International Workshop, ILP-97 Prague, Czech Republic September 17-20, 1997 Proceedings / edited by Nada Lavrač, Sašo Džeroski
Springer-Verlag
Livres

7 1997

Fumy, Walter

Advances in Cryptology -- EUROCRYPT '97 : International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11-15, 1997 Proceedings / edited by Walter Fumy
Springer-Verlag Berlin Heidelberg
Livres

8 1998

Astesiano, Egidio (1939-....)

Fundamental Approaches to Software Engineering : First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / edited by Egidio Astesiano
Springer-Verlag
Livres

9 1997

Adân, Sergej Ivanovič (1931-2020)

Logical Foundations of Computer Science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 Proceedings / edited by Sergei Adian, Anil Nerode
Springer-Verlag
Livres

10 1996

Fogarty, Terence C.

Evolutionary Computing : AISB Workshop Brighton, U.K., April 1-2, 1996 Selected Papers / edited by Terence C. Fogarty
Springer-Verlag
Livres

Récupérer les notices

(0)
(1 696)

autres Ressources