Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
اقرأ المزيد
Formal Methods for Hardware Verification
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
اقرأ المزيد
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدFormalization of Banking Supervision : 19th–20th Centuries / Eiji HotoriMikael WendschlagThibaud Giddey
Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...
اقرأ المزيد
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundation Flash 8 Video
This book is the ultimate guide to Flash 8 video it offers practical advice, technical guidance, and a full series of creative ...
اقرأ المزيد
Foundation Flash CS3 Video
Video is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances ...
اقرأ المزيد
Foundations of 3D Graphics Programming : Using JOGL and Java3D
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
اقرأ المزيد
Foundations of Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
اقرأ المزيد
Foundations of Computer Security
Foundations of Computer Security provides a succinct, yet authoritative introduction to the underlying theory, history, vocabulary, ...
اقرأ المزيد
Foundations of GTK+ Development
GTK+ is one of the most influential graphical toolkits for the Linux operating system. It is the technology upon which the ...
اقرأ المزيد
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
Foundations of Systematics and Biogeography
the book highlights three principal messages: biological classifications and their explanatory mechanisms are separate notions; ...
اقرأ المزيد
Fourier Series in Control Theory
Fourier Series in Control Theory successfully gathers all of the available theory of these "nonharmonic Fourier series" ...
اقرأ المزيد
