Hans-Jörg Kreowski – författare
Visar alla böcker från författaren Hans-Jörg Kreowski. Handla med fri frakt och snabb leverans.
20 produkter
Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
Av Wolfgang Hofkirchner, Hans-Jörg Kreowski
Inbunden, 2020
1752 kr
Lägg i varukorg
This book examines the contributions of the transhumanism approach to technology, in particular the contributed chapters are wary of the implications of this popular idea.The volume is organized into four parts concerning philosophical, military, technological and sociological aspects of …
Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
Av Wolfgang Hofkirchner, Hans-Jörg Kreowski
Häftad, 2021
1752 kr
Lägg i varukorg
This book examines the contributions of the transhumanism approach to technology, in particular the contributed chapters are wary of the implications of this popular idea.The volume is organized into four parts concerning philosophical, military, technological and sociological aspects of …
Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation
12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings
Av Michael Freitag, Aseem Kinra m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2020, held in Bremen, Germany, in December 2020. Due to the COVID-19 pandemic the conference was held online. The 10 full papers and 5 short papers were …
Recent Trends in Data Type Specification
3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Häftad, 1986
569 kr
Lägg i varukorg
This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers …
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Av Hans-Jörg Kreowski, Ugo Montanari m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established …
Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Av Andrea Corradini, Hartmut Ehrig m. fl.
Häftad, 2002
551 kr
Lägg i varukorg
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn …
Categorical Methods in Computer Science
With Aspects from Topology
Av Hartmut Ehrig, Horst Herrlich m. fl.
Häftad, 1989
569 kr
Lägg i varukorg
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 …
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Av Michel Bidoit, Hans-Jörg Kreowski m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and …
Graph Grammars and Their Application to Computer Science
4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
Av Hartmut Ehrig, Hans-Jörg Kreowski m. fl.
Häftad, 1991
1098 kr
Lägg i varukorg
This volume contains papers selected from the contributionsto the 4th International Workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on the stateof the artand newest trends to researchers active in the area and forscientists …
Informatik zwischen Wissenschaft und Gesellschaft
Zur Erinnerung an Reinhold Franck Proceedings
Av Hans-Jörg Kreowski, Hans-Jörg Kreowski
Häftad, 1992
583 kr
Lägg i varukorg
Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, derim M{rz 1990 bei einer Bergtour verungl}ckt ist. In seinerfachlichen Arbeit an der Universit{t Bremen hat er dieGebiete Rechnernetze und Softwaretechnik vertreten. Danebenhat er sich stark im Bereich der Informatik und …
Theory and Application of Graph Transformations
6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
Av Hartmut Ehrig, Gregor Engels m. fl.
Häftad, 2000
551 kr
Lägg i varukorg
Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has …
Dynamics in Logistics
First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
Av Hans-Dietrich Haasis, Hans-Jörg Kreowski m. fl.
Inbunden, 2008
2253 kr
Lägg i varukorg
Logistic problems can rarely be solved satisfyingly within one single scientific discipline. This cross-sectional character is taken into account by the Research Cluster for Dynamics in Logistics with a combination of economical, information and production technical and enterprise-oriented research …
Dynamics in Logistics
First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
Av Hans-Dietrich Haasis, Hans-Jörg Kreowski m. fl.
Häftad, 2010
2188 kr
Lägg i varukorg
Logistic problems can rarely be solved satisfyingly within one single scientific discipline. This cross-sectional character is taken into account by the Research Cluster for Dynamics in Logistics with a combination of economical, information and production technical and enterprise-oriented research …
Dynamics in Logistics
Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
Av Hans-Jörg Kreowski, Bernd Scholz-Reiter m. fl.
Inbunden, 2011
2188 kr
Lägg i varukorg
The volume comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and …
Recent Trends in Algebraic Development Techniques
20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Av Till Mossakowski, Hans-Jörg Kreowski
Häftad, 2012
551 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop …
Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Av Hartmut Ehrig, Gregor Engels m. fl.
Häftad, 2012
551 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical …
Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Av Hans-Jörg Kreowski, Bernd Scholz-Reiter m. fl.
Inbunden, 2013
2188 kr
Lägg i varukorg
The volume comprises the proceedings of the third International Conference on Dynamics in Logistics LDIC 2012. The scope of the conference targeted the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum ranged from the modeling and planning of …
Dynamics in Logistics
Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
Av Hans-Jörg Kreowski, Bernd Scholz-Reiter m. fl.
Häftad, 2014
2188 kr
Lägg i varukorg
The volume comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and …
Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Av Hans-Jörg Kreowski, Bernd Scholz-Reiter m. fl.
Häftad, 2015
2188 kr
Lägg i varukorg
The volume comprises the proceedings of the third International Conference on Dynamics in Logistics LDIC 2012. The scope of the conference targeted the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum ranged from the modeling and planning of …
Algebraic Foundations of Systems Specification
Av Egidio Astesiano, Hans-Jörg Kreowski m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the …
