Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Hartmut Ehrig 57 träffar

Titel Författare År Språk
1 Integration of Software Specification Techniques for Applications in Engineering Hartmut Ehrig 2004 Engelska
2 Proceedings of the International joint conference on theory and practice of software development, Berlin, March 1985 International Joint Conference on Theory and Practice of Software Development (Berlin : 1985) 1985 Engelska
3 Proceedings of the International joint conference on theory and practice of software development 1, Mathematical foundations of software development International Joint Conference on Theory and Practice of Software Development 1985) (Berlin : cop. 1985 Engelska
4 Proceedings of the International joint conference on theory and practice of software development Vol. 2, Formal methods and software development International Joint Conference on Theory and Practice of Software Development 1985) (Berlin : cop. 1985 Engelska
5 Fundamentals of algebraic specification Hartmut Ehrig 1985-1990 Engelska
6 Fundamentals of algebraic specification Vol. 1, Equations and initial semantics Hartmut Ehrig cop. 1985 Engelska
7 Fundamentals of algebraic specification Vol. 2, Module specifications and constraints Hartmut Ehrig cop. 1990 Engelska
8 TAPSOFT '87 - proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 International Joint Conference on Theory and Practice of Software Development 1987) Pisa : 1987 Engelska
9 TAPSOFT '87 Vol. 2, Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP) - proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 International Joint Conference on Theory and Practice of Software Development 1987) Pisa : cop. 1987 Engelska
10 TAPSOFT '87 Vol. 1, Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) - proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 International Joint Conference on Theory and Practice of Software Development 1987) Pisa : cop. 1987 Engelska
11-13 Graph grammars and their application to computer science - 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (flera utgåvor) cop. 1991 Engelska
14 Categorical methods in computer science - with aspects from topology cop. 1989 Engelska
15 Recent trends in data type specification - proceedings Workshop on Specification of Abstract Data Types 1990) Wusterhausen : cop. 1991 Engelska
16 Graph transformations in computer science - international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings cop. 1994 Engelska
17 Recent trends in data type specification - selected papers Workshop on Specification of Abstract Data Types 1992) Caldes de Malavella : cop. 1994 Engelska
18 TAPSOFT '87 Hartmut Ehrig uuuu-uuuu Okänt
19 Unifying Petri nets - advances in Petri nets cop. 2001 Engelska
20 Fundamentals of algebraic graph transformation cop. 2006 Engelska

1 2 3 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.