5 द्वारा ईबुक Bernd Mahr
Bernd Mahr & Huanye Sheng: Autonomous Systems – Self-Organization, Management, and Control
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, spon …
PDF
अंग्रेज़ी
€96.29
F. Cornelius & Hartmut Ehrig: Mathematisch-strukturelle Grundlagen der Informatik
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 …
PDF
जर्मन
DRM
€33.01
Hartmut Ehrig & Bernd Mahr: Fundamentals of Algebraic Specification 2
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 …
PDF
अंग्रेज़ी
DRM
€57.07
Hartmut Ehrig & Bernd Mahr: Fundamentals of Algebraic Specification 1
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 …
PDF
अंग्रेज़ी
DRM
€112.90
Felix Cornelius & Hartmut Ehrig: Mathematisch-strukturelle Grundlagen der Informatik
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 …
PDF
जर्मन
DRM
€42.68
