This book uses a critical sociological perspective to explore contemporary ways of reformulating the governance of crime ...
Lire la suite
In this volume of the globally recognized Forensic Pathology Reviews, Dr. Michael Tsokos has gathered chapters from the top ...
Lire la suite
This book synthesizes leading-edge science and management information about forest and rangeland soils of the United States. ...
Lire la suite
The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
Lire la suite
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lire la suite
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Lire la suite
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suite
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lire la suite
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lire la suite
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lire la suite
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lire la suite
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
Lire la suite
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lire la suite
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suite
Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the ...
Lire la suite
The material inside this book covers everything you need to know to harness the power of ActionScript 3.0. The book goes ...
Lire la suite