Formal Methods for Dynamical Systems
Editat de Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklickyen Limba Engleză Paperback – 7 iun 2013
Preț: 289.19 lei
Preț vechi: 361.48 lei
-20%
Puncte Express: 434
Preț estimativ în valută:
51.14€ • 58.64$ • 44.20£
51.14€ • 58.64$ • 44.20£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783642388736
ISBN-10: 3642388736
Pagini: 192
Ilustrații: VIII, 181 p. 49 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642388736
Pagini: 192
Ilustrații: VIII, 181 p. 49 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-38%Preț: 183.57 lei297.41 lei -
Game Analytics: Maximizing the Value of Player DataMagy Seif El-Nasr-20%Preț: 759.71 lei949.63 lei -
Experience Design: Concepts and Case StudiesPeter Benz-17%Preț: 231.40 lei278.38 lei -
Designers, Users and JusticeTurkka Keinonen-34%Preț: 739.62 lei1112.44 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 245.88 lei307.35 lei -
Formal Methods for Multicore ProgrammingMarco Bernardo-20%Preț: 318.06 lei397.57 lei -
-20%Preț: 312.92 lei391.15 lei -
Implementation and Application of AutomataFrank Drewes-20%Preț: 324.41 lei405.51 lei -
Towards Autonomous Robotic SystemsClare Dixon-20%Preț: 323.60 lei404.50 lei -
Wired/Wireless Internet CommunicationsMari Carmen Aguayo-Torres-20%Preț: 329.74 lei412.17 lei -
Applications and Usability of Interactive TVMaría José Abásolo-20%Preț: 313.84 lei392.31 lei -
Intelligent Software Methodologies, Tools and TechniquesHamido Fujita-20%Preț: 339.34 lei424.18 lei -
Formal Modeling and Analysis of Timed SystemsSriram Sankaranarayanan-20%Preț: 323.81 lei404.76 lei -
Business Process ManagementHamid Reza Motahari-Nezhad-20%Preț: 332.39 lei415.48 lei -
Haptic Devices for Studies on Human Grasp and RehabilitationAlessandro Altobelli-20%Preț: 617.84 lei772.29 lei -
-20%Preț: 853.20 lei1066.50 lei -
-20%Preț: 894.76 lei1118.45 lei -
Smart GraphicsYaxi Chen-20%Preț: 318.48 lei398.10 lei -
-20%Preț: 353.14 lei441.41 lei -
Brain-Computer Interface Research: A State-of-the-Art Summary 5Christoph Guger-20%Preț: 312.62 lei390.78 lei -
Formal Methods for the Design of Real-Time SystemsMarco Bernardo-20%Preț: 322.59 lei403.23 lei -
-20%Preț: 317.85 lei397.31 lei -
Formal Methods for Computational Systems BiologyMarco Bernardo-20%Preț: 334.47 lei418.08 lei -
-20%Preț: 405.98 lei507.48 lei -
-20%Preț: 975.27 lei1219.09 lei -
-20%Preț: 552.18 lei690.23 lei -
-20%Preț: 315.48 lei394.35 lei -
-20%Preț: 333.68 lei417.09 lei -
Formal Methods for Model-Driven EngineeringMarco Bernardo-20%Preț: 329.74 lei412.17 lei
Public țintă
ResearchCuprins
Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.
Textul de pe ultima copertă
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.
Caracteristici
Made for students, researchers, and practitioners Original, readable, and useful lecture notes Thoroughly revised tutorials given at the 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2013)