• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      Formal Methods for Dynamical Systems

      13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

      AvMarco Bernardo,Erik de Vink

      Häftad, Engelska, 2013

      Del i serien Lecture Notes in Computer Science

      531 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

      Produktinformation

      • Utgivningsdatum:2013-06-07
      • Mått:155 x 235 x 11 mm
      • Vikt:300 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:181
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642388736

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Människa – datorinteraktion inom Data och IT

      Innehållsförteckning

      • Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.
      Hoppa över listan

      Du kanske också är intresserad av

      Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky - Formal Methods for Quantitative Aspects of Programming Languages, Häftad

      Formal Methods for Quantitative Aspects of Programming Languages

      Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

      Häftad, 2010

      577 kr

      Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo - Formal Methods for Dynamical Systems, E-bok

      Formal Methods for Dynamical Systems

      Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo

      E-bok
      2013

      638 kr

      Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini - Formal Methods for Quantitative Aspects of Programming Languages, E-bok

      Formal Methods for Quantitative Aspects of Programming Languages

      Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini

      E-bok
      2010

      732 kr

      Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan - From Lambda Calculus to Cybersecurity Through Program Analysis, Häftad

      From Lambda Calculus to Cybersecurity Through Program Analysis

      Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan

      Häftad, 2020

      560 kr

      Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro - From Lambda Calculus to Cybersecurity Through Program Analysis, E-bok

      From Lambda Calculus to Cybersecurity Through Program Analysis

      Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro

      E-bok
      2020

      710 kr

      Paolo Ciancarini, Herbert Wiklicky - Coordination Models and Languages, Häftad

      Coordination Models and Languages

      Paolo Ciancarini, Herbert Wiklicky

      Häftad, 2006

      577 kr

      Ralph-Johan Back, Ion Petre, Erik de Vink - Transactions on Computational Systems Biology XIII, Häftad

      Transactions on Computational Systems Biology XIII

      Ralph-Johan Back, Ion Petre, Erik de Vink

      Häftad, 2011

      560 kr

      Erik de Vink, Ion Petre, Ralph-Johan Back - Transactions on Computational Systems Biology XIII, E-bok

      Transactions on Computational Systems Biology XIII

      Erik de Vink, Ion Petre, Ralph-Johan Back

      E-bok
      2011

      718 kr

      Ion Petre, Erik de Vink - Transactions on Computational Systems Biology XIV, Häftad

      Transactions on Computational Systems Biology XIV

      Ion Petre, Erik de Vink

      Häftad, 2012

      560 kr

      Erik de Vink, Ion Petre - Transactions on Computational Systems Biology XIV, E-bok

      Transactions on Computational Systems Biology XIV

      Erik de Vink, Ion Petre

      E-bok
      2012

      718 kr