Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de Marco Bernardo

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: Lecture Notes in Computer Science, cartea 7938

Editat de Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
en Limba Engleză Paperback – 7 iun 2013
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 29882 lei

Preț vechi: 37353 lei
-20% Nou

Puncte Express: 448
Preț estimativ în valută:
5719€ • 5948$ • 4793£

Carte tipărită la comandă

Livrare economică 13-27 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642388736
ISBN-10: 3642388736
Pagini: 192
Ilustrații: VIII, 181 p. 49 illus.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:2013
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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)