Präzisieren Sie die Suche
Verfügbarkeit
-
Verfasser
- Astesiano, Egidio
- Bozapalidis, Symeon
- Dowek, Gilles
- Ehrich, Hans-Dieter
- Ehrig, Hartmut
- Fiadeiro, José Luiz
- Futatsugi, Kokichi
- Grabowski, Jan
- Hanus, Michael
- Hußmann, Heinrich
- Kahl, Wolfram
- Kreowski, Hans-Jörg
- Leßke, Frank
- Martí-Oliet, Narciso
- Montanari, Ugo
- Mosses, Peter D.
- Palsberg, Jens
- Pattinson, Dirk
- Rahonis, George
- Veltink, Gert
- Mehr anzeien
- Weniger anzeigen
-
Sammlungen
-
Aktuelle Bibliotheken
-
Medientypen
-
Standorte
-
Reihen
- AMAST series in comp...
- Berichte aus der Inf...
- Cambridge tracts in ...
- DISKI, Dissertatione...
- EATCS monographs on ...
- Festschrift
- IFIP State-of-the-Ar...
- Lecture notes in com...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Leitfäden und Monogr...
- Mathematical researc...
- Progress in theoreti...
- Springer-Lehrbuch
- Texts in theoretical...
- TUM-I
- Tutorial
- Wiley-Teubner comput...
- Workshops in Computi...
- WSI
- Mehr anzeien
- Weniger anzeigen
-
Themen
- Abstract data types ...
- Algebra
- Algebraic logic
- Algebraic specificat...
- Computer science
- Computer science ; M...
- Computer software
- Computer software ; ...
- Data structures (Com...
- Electronic data proc...
- Formal methods (Comp...
- Formal methods Compu...
- Kommunikationsprotok...
- Logic programming
- Logic, Symbolic and ...
- Object-oriented prog...
- Programming language...
- Rewriting systems (C...
- Software engineering
- System design
- Mehr anzeien
- Weniger anzeigen