Electronic Books

Total Books: 161 - 180 /268

Hybrid Estimation of Complex Systems

This monograph provides a tool-set for hybrid estimation that can successfully monitor the behavior of complex artifacts ...

Hybrid Systems: Computation and Control (vol. # 3414)

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...

Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...

Hydrological Modelling and the Water Cycle : Coupling the Atmospheric and Hydrological Models

This collected work reports on the state of the art of hydrological model simulation, as well as the methods for satellite-based ...

IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials

This book contains the refereed and edited versions of papers presented at the IUTAM Symposium on Topological Design Optimization ...

Implementation and Application of Automata

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...

Implementation and Application of Automata (vol. # 3317)

This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...

Implementation and Application of Automata (vol. # 3845)

This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...

Implementation and Application of Automata (vol. # 4094)

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Traditionally, the DDSS conferences aim to be a platform for both starting and experienced researchers who focus on the development ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Introduction to Discrete Event Systems

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a ...

Introduction to the Theory of Computation / Michael Sipser

Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...

LATIN 2006: Theoretical Informatics

This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, ...

LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...

Leonardo´s Lost Robots

The book reinterprets Leonardo's legacy of notes, showing that apparently unconnected fragments from dispersed manuscripts ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Total Books: 161 - 180 /268