Filtrera

Språk
  • (7)
  • (3)
Ämne
  • (10)
  • (10)
Format
  • (2)
  • (4)
  • (4)
Pris
  • (1)
Leveranstid
  • (4)

Bernd Mahr - Böcker

Visar alla böcker av Bernd Mahr. Handla med fri frakt och snabb leverans!

Sortering:

  1. Autonomous Systems - Self-Organization, Management, and Control

    av Bernd Mahr, Huanye Sheng

    Inbunden, Engelska, 2008-09-24
    1067
    Köp
    Skickas från oss inom 10-15 vardagar.
    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.

    Läs mer »

  2. Autonomous Systems - Self-Organization, Management, and Control E-bok

    av Bernd Mahr, Huanye Sheng

    E-bok (PDF, LCP), Engelska, 2008-09-15
    1336
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Autonomous Systems - Self-Organization, Management, and Control

    The 2008 TUB-SJTU joint workshop on "e;Autonomous Systems - Self-Organization, Management, and Control"e; was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China. The workshop, sponsored by Shanghai Jiao Tong Universi...

    Läs mer »

  3. Springer-Lehrbuch:

    Mathematisch-strukturelle Grundlagen der Informatik

    av Hartmut Ehrig, Bernd Mahr, F Cornelius, Martin Große-Rhode, P Zeitz

    Häftad, Tyska, 2001-04-12
    403
    Köp
    Skickas från oss inom 10-15 vardagar.
    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 das Verständnis des formalisierten Problemlösens ...

    Läs mer »

  4. Monographs in Theoretical Computer Science An EATCS Series:

    Fundamentals of Algebraic Specification 2

    av Hartmut Ehrig, Bernd Mahr

    Inbunden, Engelska, 1989-12-28
    537
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fundamentals of Algebraic Specification 2

    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 an...

    Läs mer »

  5. Mathematisch-strukturelle Grundlagen der Informatik E-bok

    av Hartmut Ehrig, Bernd Mahr, F Cornelius, Martin Groe-Rhode, P Zeitz

    E-bok (PDF, LCP), Tyska, 2013-03-07
    388
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 das Verstÿndnis des formalisierten ProblemlÃ...

    Läs mer »

  6. Fundamentals of Algebraic Specification 2 E-bok

    av Hartmut Ehrig, Bernd Mahr

    E-bok (PDF, LCP), Engelska, 2012-12-06
    672
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 systems have gained considerable importance in recent...

    Läs mer »

  7. Monographs in Theoretical Computer Science An EATCS Series:

    Fundamentals of Algebraic Specification 2

    av Hartmut Ehrig, Bernd Mahr

    Häftad, Engelska, 2011-10-08
    537
    Köp
    Skickas från oss inom 10-15 vardagar.
    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 systems have gained considerable importance in recent...

    Läs mer »

  8. Monographs in Theoretical Computer Science An EATCS Series:

    Fundamentals of Algebraic Specification 1

    av Hartmut Ehrig, Bernd Mahr

    Häftad, Engelska, 2011-11-23
    1067
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fundamentals of Algebraic Specification 1

    The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for c...

    Läs mer »

  9. Mathematisch-strukturelle Grundlagen der Informatik E-bok

    av Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Groe-Rhode, Philip Zeitz

    E-bok (PDF, LCP), Tyska, 2013-03-08
    508
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 das Verstÿndnis des formalisierten ProblemlÃ...

    Läs mer »

  10. Autonomous Systems - Self-Organization, Management, and Control

    av Bernd Mahr, Huanye Sheng

    Häftad, Engelska, 2010-11-10
    1067
    Köp
    Skickas från oss inom 10-15 vardagar.
    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, sponsored by Shanghai Jiao Tong University and Tech...

    Läs mer »