Bernd Mahr – författare
Visar alla böcker från författaren Bernd Mahr. Handla med fri frakt och snabb leverans.
11 produkter
Autonomous Systems – Self-Organization, Management, and Control
Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008
Inbunden, 2008
1098 kr
Lägg i varukorg
The 2008 TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China. The workshop, sponsored by Shanghai Jiao Tong University and Technical University of Berlin brought together …
Autonomous Systems - Self-Organization, Management, and Control
Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008
E-bok, 2008
1459 kr
Lägg i varukorg
The 2008 TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China. The workshop, sponsored by Shanghai Jiao Tong University and Technical University of Berlin brought together …
Mathematisch-strukturelle Grundlagen der Informatik
Av Hartmut Ehrig, Bernd Mahr m. fl.
Häftad, 2001
415 kr
Lägg i varukorg
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich …
Fundamentals of Algebraic Specification 2
Module Specifications and Constraints
Inbunden, 1989
552 kr
Lägg i varukorg
Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. …
Mathematisch-strukturelle Grundlagen der Informatik
Av P. Zeitz, Martin Groe-Rhode m. fl.
E-bok, 2013
412 kr
Lägg i varukorg
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich …
Fundamentals of Algebraic Specification 2
Module Specifications and Constraints
E-bok, 2012
734 kr
Lägg i varukorg
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in …
Fundamentals of Algebraic Specification 2
Module Specifications and Constraints
Av Hartmut Ehrig, Bernd Mahr m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in …
Fundamentals of Algebraic Specification 1
Equations and Initial Semantics
E-bok, 2012
1427 kr
Lägg i varukorg
The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;fundamentals in …
Fundamentals of Algebraic Specification 1
Equations and Initial Semantics
Häftad, 2011
1098 kr
Lägg i varukorg
The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;fundamentals in …
Mathematisch-strukturelle Grundlagen der Informatik
Av Philip Zeitz, Martin Groe-Rhode m. fl.
E-bok, 2013
542 kr
Lägg i varukorg
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich …
Autonomous Systems – Self-Organization, Management, and Control
Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008
Häftad, 2010
1098 kr
Lägg i varukorg
The 2008 TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China. The workshop, sponsored by Shanghai Jiao Tong University and Technical University of Berlin brought together …
