Hans-Jörg Kreowski
Hans-Jörg Kreowski
1949
Hans-Jörg Kreowski is a professor for computer science at the University of Bremen in North West Germany. His primary research area is theoretical computer science with an emphasis on graph transformation, algebraic specification, and syntactic picture processing. He is also a member of the Forum of Computer Scientists for Peace and Social Responsibility [de] (FIfF). Source: https://en.wikipedia.org/wiki/Hans-J%C3%B6rg_Kreowski
5 ספרים במאגר
ספרים
Dynamics in LogisticsHans-Jörg Kreowski

Dynamics in Logistics
Hans-Jörg Kreowski · 2013
Recent Trends in Data Type SpecificationHans-Jörg Kreowski
Recent Trends in Data Type Specification
Hans-Jörg Kreowski · 2013
Informatik Zwischen Wissenschaft Und Gesellschaft: Zur Erinnerung an Reinhold FranckHans-Jörg Kreowski

Informatik Zwischen Wissenschaft Und Gesellschaft: Zur Erinnerung an Reinhold Franck
Hans-Jörg Kreowski · 1992
Recent Trends in Data Type SpecificationsHans-Jörg Kreowski
Recent Trends in Data Type Specifications
Hans-Jörg Kreowski · 1986
Logische Grundlagen der InformatikHans-Jörg Kreowski
Logische Grundlagen der Informatik
Hans-Jörg Kreowski · 2020
ספרים משותפים ואוספים
ספרים שבהם Hans-Jörg Kreowski מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Graph grammars and their application to computer scienceHartmut Ehrig

Graph grammars and their application to computer science
Hartmut Ehrig · 1991
Formal Methods in Software and Systems ModelingUgo Montanari

Formal Methods in Software and Systems Modeling
Ugo Montanari · 2005
Categorical methods in computer scienceHartmut Ehrig

Categorical methods in computer science
Hartmut Ehrig · 1989
Graph TransformationHartmut Ehrig

Graph Transformation
Hartmut Ehrig · 2012