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
68 träffar
|
Titel |
Författare |
År |
Språk |
| 41 |
Graph-Grammars and Their Application to Computer Science
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 42-43 |
Graph Transformations
(flera utgåvor)
|
Hartmut Ehrig
|
2012 |
Okänt |
| 44 |
Graph Transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27October 2, 2010. Proceedings
|
Hartmut Ehrig
|
2010 |
Okänt |
| 45 |
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) : Final Report (Lecture notes in computer science, 3147)
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 46 |
Kategorien und Automate
|
Hartmut Ehrig
|
2018 |
Okänt |
| 47 |
Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloqu
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 48 |
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 49-50 |
TAPSOFT '87
(flera utgåvor)
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 51 |
Theory and Application of Graph Transformations: 6th International Workshop
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 52 |
Unifying Petri Nets: Advances in Petri Nets
|
Hartmut Ehrig
|
uuuu-uuuu |
Okänt |
| 53 |
Graph Transformations - 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 54 |
Inside Criminal Networks
|
Carlo Morselli
|
2009 |
Engelska |
| 55 |
Petri net technology for communication-based systems. - advances in Petri nets
|
|
c2003 |
Engelska |
| 56 |
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 |
| 57 |
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 |
| 58 |
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 |
| 59 |
Recent trends in data type specification - proceedings
|
Workshop on Specification of Abstract Data Types 1990) Wusterhausen :
|
cop. 1991 |
Engelska |
| 60 |
Recent trends in data type specification - selected papers
|
Workshop on Specification of Abstract Data Types 1992) Caldes de Malavella :
|
cop. 1994 |
Engelska |
Förra sidan
1
2
3
4
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.