Zum Inhalt springen

Reiss, Thomas H. [VerfasserIn]

Recognizing planar objects using invariant image features

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1993

Erschienen in: Lecture notes in computer science ; 676
Aceto, Luca [VerfasserIn]

Action refinement in process algebras

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge: Cambridge University Press, 1992

Erschienen in: Distinguished Dissertations in Computer Science
Bergstra, J. A. [Sonstige Person, Familie und Körperschaft]; Heering, J. [Sonstige Person, Familie und Körperschaft]; Klint, Paul [Sonstige Person, Familie und Körperschaft]; Bergstra, Jan A. [HerausgeberIn]

Algebraic specification - [1. printed]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wokingham, England [u.a.]: Addison-Wesley [u.a.], 1989

Erschienen in: ACM Press frontiers series
Craig, Iain D. [VerfasserIn]

Formal refinement for operating system kernels

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: Springer, 2007
Davenport, James Harold [VerfasserIn]; Siret, Y. [VerfasserIn]; Tournier, Evelyne [VerfasserIn]

Computer algebra : systems and algorithms for algebraic computations - [2. print.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London [u.a.]: Academic Press, 1989
Raoult, Jean-Claude [HerausgeberIn] ; CAAP 17 1992 Rennes, ESOP 4 1992 Rennes

Proceedings / CAAP '92

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Lecture notes in computer science ; 581
Woodcock, Jim [HerausgeberIn]; Woodcock, James C. P. [HerausgeberIn]; Larsen, Peter Gorm [Sonstige Person, Familie und Körperschaft] ; Europäische Kommission Formal Methods Europe, FME 1 1993 Odense

Industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 1993; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1993

Erschienen in: Lecture notes in computer science ; 670
Heering, Jan [HerausgeberIn] ; HOA 1 1993 Amsterdam

Higher order algebra, logic, and term rewriting : first international workshop; selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1994

Erschienen in: Lecture notes in computer science ; 816
Kirchner, Claude [HerausgeberIn] ; RTA 5 1993 Montréal

Rewriting techniques and applications : 5th international conference ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1993

Erschienen in: Lecture notes in computer science ; 690
Book, Ronald V. [HerausgeberIn] ; RTA 4 1991 Como

Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10 - 12, 1991 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1991

Erschienen in: Lecture notes in computer science ; 488
Aït-Kaci, Hassan [HerausgeberIn]

Resolution of equations in algebraic structures

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston [u.a.]: Academic Pr., 1989-
Hunt, Warren A. [VerfasserIn]

FM8501: a verified microprocessor

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1994

Erschienen in: Lecture notes in computer science ; 795
Benninghofen, Benjamin [VerfasserIn]; Kemmerich, Susanne [VerfasserIn]; Richter, Michael M. [VerfasserIn]

Systems of reductions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1987

Erschienen in: Lecture notes in computer science ; 277
Dowek, Gilles [HerausgeberIn] ; HOA 2 1995 Paderborn

Higher order algebra, logic, and term rewriting : second international workshop; selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Lecture notes in computer science ; 1074
D'Inverno, Mark [VerfasserIn]; Luck, Michael [VerfasserIn]

Understanding agent systems : with 11 tables

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Springer series on agent technology
Grabmeier, Johannes [HerausgeberIn]

Computer algebra handbook : foundations, applications, systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003
Kreowski, Hans-Jörg [HerausgeberIn]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Taentzer, Gabriele [Sonstige Person, Familie und Körperschaft]; Ehrig, Hartmut [GefeierteR]

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3393
Boiten, Eerke [Sonstige Person, Familie und Körperschaft]; Boiten, Eerke A. [HerausgeberIn] ; IFM 4 2004 Canterbury

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 2999
Tournier, Evelyne [HerausgeberIn] ; Computer Algebra and Differential Equations Meeting 1992

Computer algebra and differential equations

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 1994

Erschienen in: London Mathematical Society: Lecture note series / London Mathematical Society ; 193
Bronstein, Manuel [HerausgeberIn] ; Symbolic Rewriting Techniques Workshop 1995 Ascona

Symbolic rewriting techniques : [contains invited and contributed papers to the Symbolic Rewriting Techniques Workshop, which was held in the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Basel; Boston; Berlin: Birkhäuser, 1998

Erschienen in: Progress in computer science and applied logic ; 15

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr