Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lee mas
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lee mas
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lee mas
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
Formal Techniques for Networked and Distributed Systems – FORTE 2007
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
Lee mas
Formulating Poorly Water Soluble Drugs / Robert O. Williams III, Daniel A. Davis Jr., Dave A. Miller
A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...
Lee mas
Foundation ActionScript 3.0 with Flash CS3 and Flex
If you want to create exciting dynamic web sites that will amaze your online audience, then the Flash platform is a great ...
Lee mas
Foundation Expression Blend 2 : Building Applications in WPF and Silverlight
This book shows you how to take full advantage of Blend's interface, together with and Silverlight's vastly improved designer-developer ...
Lee mas
Foundation Flash CS3 Video
Video is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances ...
Lee mas
Foundation Flex for Designers
All Flex applications look the same—a blue-gray background and silver-skinned components—right? That doesn't have to ...
Lee mas
Foundation Flex for Developers : Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS
Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...
Lee mas
Foundation Form Creation with Adobe LiveCycle Designer ES
Form creation is key to information processing and forms workflow is a key concept within Adobe LiveCycle Enterprise Suite. ...
Lee mas
Foundation Website Creation with CSS, XHTML, and JavaScript
Foundation Website Creation with CSS, XHTML, and JavaScript covers the entire process of building a website. This process ...
Lee mas
Foundation of Semantic web technologies / Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
Lee mas
Foundations and Applications of MIS
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Lee mas
