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
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 189.24 lei307.37 lei -
Game AnalyticsMagy Seif El-Nasr-20%Preț: 766.46 lei958.07 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ț: 246.08 lei307.59 lei -
Formal Methods for Multicore ProgrammingMarco Bernardo-20%Preț: 318.06 lei397.57 lei -
Immersive EducationMartin Ebner-20%Preț: 316.09 lei395.12 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ț: 318.74 lei398.42 lei -
Intelligent Software Methodologies, Tools and TechniquesHamido Fujita-20%Preț: 342.01 lei427.52 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ț: 620.33 lei775.41 lei -
Cognition Beyond the BrainStephen J. Cowley-20%Preț: 852.05 lei1065.06 lei -
Game DynamicsOliver Korn-20%Preț: 898.69 lei1123.36 lei -
Smart GraphicsYaxi Chen-20%Preț: 318.48 lei398.10 lei -
-20%Preț: 354.56 lei443.20 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)