Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are...

Distributed and Parallel Systems : Cluster and Grid Computing
Distributed and Parallel Systems : Cluster and Grid Computing
Distributed and Parallel Systems: Cluster and Grid Computing is the proceedings of the fourth Austrian-Hungarian Workshop on Distributed and Parallel Systems organized jointly by Johannes Kepler University, Linz, Austria and the MTA SZTAKI Computer and Automation Research Institute. The papers in this volume cover a broad range of research topics...
Proceedings of the Second Conference on Artificial General Intelligence (Arlington, March 2009)
Proceedings of the Second Conference on Artificial General Intelligence (Arlington, March 2009)
Artificial General Intelligence (AGI) research focuses on the original and ultimate goal of AI – to create broad human-like and transhuman intelligence, by exploring all available paths, including theoretical and experimental computer science, cognitive science, neuroscience, and innovative interdisciplinary methodologies....
Algorithms and Architectures for Parallel Processing, Part II: 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October
Algorithms and Architectures for Parallel Processing, Part II: 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October

This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melbourne, Australia, in October 2011. The second volume includes 37 papers from one symposium and three workshops held together with ICA3PP 2011...

The Art of Agile Practice: A Composite Approach for Projects and Organizations (Advanced & Emerging Communications Technologies)
The Art of Agile Practice: A Composite Approach for Projects and Organizations (Advanced & Emerging Communications Technologies)

The Art of Agile Practice: A Composite Approach for Projects and Organizations presents a consistent, integrated, and strategic approach to achieving "Agility" in your business. Transcending beyond Agile as a software development method, it covers the gamut of methods in an organization?including...

Nikon D5000 For Dummies
Nikon D5000 For Dummies
Nikon. The name has been associated with top-flight photography equipment for generations. And the introduction of the D5000 has only enriched Nikon’s well-deserved reputation, offering all the control a die-hard photography enthusiast could want while at the same time providing easy-touse, point-and-shoot features for the beginner.
...
High-performance and Hardware-aware Computing
High-performance and Hardware-aware Computing

High-performance system architectures are increasingly exploiting heterogeneity: multi- and manycore-based systems are complemented by coprocessors, accelerators, and reconfigurable units providing huge computational power. However, applications of scientific interest (e.g. in high-performance computing and numerical simulation) are not yet...

How to Run Seminars and Workshops: Presentation Skills for Consultants, Trainers, Teachers, and Salespeople
How to Run Seminars and Workshops: Presentation Skills for Consultants, Trainers, Teachers, and Salespeople

Make your message stick with expert help from this classic trainer's resource

How to Run Seminars and Workshops is the classic guide for trainers and presenters in any industry. Packed with clear advice and real-world practicality, this book covers all aspects including planning, setup, delivery, coaching, and...

Emerging Web Services Technology, Volume II (Whitestein Series in Software Agent Technologies and Autonomic Computing)
Emerging Web Services Technology, Volume II (Whitestein Series in Software Agent Technologies and Autonomic Computing)
This 2nd volume on Emerging Web Services Technologies continues to follow the current research activities in the areas of Web Services and Service Oriented Architectures. By collecting the proceedings of the second Workshop of Emerging Web Services Technology 2007 it contains many examples of promising research activities...
Solar Flare Magnetic Fields and Plasmas
Solar Flare Magnetic Fields and Plasmas

This volume is devoted to the dynamics and diagnostics of solar magnetic fields and plasmas in the Sun’s atmosphere. Five broad areas of current research in Solar Physics are presented: (1) New techniques for incorporating radiation transfer effects into three-dimensional magnetohydrodynamic models of the solar interior and atmosphere,...

Getting Started with Digital Imaging, Second Edition: Tips, tools and techniques for photographers
Getting Started with Digital Imaging, Second Edition: Tips, tools and techniques for photographers
Whether you are using a digital compact or dSLR camera to shoot, or a Mac or PC to manipulate your images, Joe Farace explains what products are out thereand how to use them to get the best shots.

While most books offer photographers tips and tricks for working with the latest software package, this book offers a new approach to working
...
Progress on Cryptography: 25 Years of Cryptography in China
Progress on Cryptography: 25 Years of Cryptography in China
This workshop entitled “Progress on Cryptography: 25 Year of Cryptography in China” is being held during the celebration of Professor Guozhen Xiao’s 70th birthday. This proceeding is a birthday gift from all of his current and former graduate students, who have had the pleasure of being supervised by Professor Xiao during the last...
unlimited object storage image
Result Page: 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy