Electronic Books

Total Books: 2201 - 2220 /5761
978-981-15-2429-5
Forensic Genetics in the Governance of Crime

This book uses a critical sociological perspective to explore contemporary ways of reformulating the governance of crime ...

Continue reading
978-1-59745-110-9
Forensic Pathology Reviews

In this volume of the globally recognized Forensic Pathology Reviews, Dr. Michael Tsokos has gathered chapters from the top ...

Continue reading
978-3-030-45216-2
Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis

This book synthesizes leading-edge science and management information about forest and rangeland soils of the United States. ...

Continue reading
978-3-540-73185-6
Forging New Frontiers: Fuzzy Pioneers II

The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...

Continue reading
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Continue reading
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Continue reading
978-3-540-75221-9
Formal Methods and Hybrid Real-Time Systems

This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...

Continue reading
978-3-540-32250-4
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 ...

Continue reading
978-3-540-75211-0
Formal Methods and Stochastic Models for Performance Evaluation

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...

Continue reading
978-3-540-79707-4
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Continue reading
978-3-540-68413-8
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, ...

Continue reading
978-3-540-75454-1
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 ...

Continue reading
978-3-540-31616-9
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 ...

Continue reading
978-3-540-45031-3
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 ...

Continue reading
978-3-540-85778-5
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 ...

Continue reading
978-3-540-26989-2
Formal Modelling in Electronic Commerce

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...

Continue reading
978-3-540-32084-5
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 ...

Continue reading
978-3-540-68855-6
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 ...

Continue reading
978-1-4302-0158-8
Foundation 3ds Max 8 Architectural Visualization

Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the ...

Continue reading
978-1-4302-0384-1
Foundation ActionScript 3 Animation

The material inside this book covers everything you need to know to harness the power of ActionScript 3.0. The book goes ...

Continue reading
Total Books: 2201 - 2220 /5761