Home | Amazing | Today | Tags | Publishers | Years | Search 
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods
Formal engineering methods are changing the way that software systems are developed. With language and tool support, they are being used for automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, specification,...
CompTIA Network+ N10-005 Authorized Exam Cram (4th Edition)
CompTIA Network+ N10-005 Authorized Exam Cram (4th Edition)

CD Features More Than 200 Practice Questions

 

CompTIA® Network+ N10-005 Authorized Exam Cram, Fourth Edition is the perfect study guide to help you pass CompTIA’s new Network+ N10-005 exam. It provides coverage and practice questions for...

The Next 100 Years: A Forecast for the 21st Century
The Next 100 Years: A Forecast for the 21st Century

A fascinating, eye-opening and often shocking look at what lies ahead for the U.S. and the world from one of our most incisive futurists.
 
In his thought-provoking new book, George Friedman, founder of STRATFOR—the preeminent private intelligence and forecasting firm—focuses on what he knows best, the future.
...

The Civic Apps Competition Handbook
The Civic Apps Competition Handbook
Government agencies are increasingly being called upon to publish data as a means to increase transparency, deliver government services more efficiently, and innovate busi ness. Civic Apps Competitions (CACs) further these goals by providing incentives and a platform for software programmers to build innovative...
User Modeling, Adaptation and Personalization: 19th International Conference, UMAP 2011, Girona, Spain
User Modeling, Adaptation and Personalization: 19th International Conference, UMAP 2011, Girona, Spain
The 19th International Conference on User Modeling, Adaptation and Personalization (UMAP 2011) took place in Girona, Spain, during July 11–15, 2011. It was the third annual conference under the UMAP title, which resulted from the merger in 2009 of the successful biannual User Modeling (UM) and Adaptive Hypermedia (AH)...
Geographic Profiling
Geographic Profiling
Scientific criminology has its roots in crime mapping. The first great systematic studies of crime were cartographic exercises made possible by recordkeeping systems created to track criminal convictions in France and England during the early part of the 19th century. Compared with maps of demographic, economic, and social...
Algorithms for Image Processing and Computer Vision
Algorithms for Image Processing and Computer Vision

Humans still obtain the vast majority of their sensory input through their visual system, and an enormous effort has been made to artificially enhance this sense. Eyeglasses, binoculars, telescopes, radar, infrared sensors, and photomultipliers all function to improve our view of the world and the universe. We even have telescopes in orbit...

Collins Writing for Ielts
Collins Writing for Ielts

If your writing is preventing you from getting the score you need in IELTS, Collins Writing for IELTS can help. Don't let one skill hold you back. Collins Writing for IELTS has been specially created for learners of English who plan to take the Academic IELTS exam to demonstrate that they have the required ability to communicate...

Skeletal Trauma: Fractures, Dislocations, Ligamentous Injuries (2-Volume Set)
Skeletal Trauma: Fractures, Dislocations, Ligamentous Injuries (2-Volume Set)
The first edition of Skeletal Trauma: Fractures, Dislocations, Ligamentous Injuries was written between 1988 and 1991. This represented a unique window for the creation of this text, coinciding with the increased recognition of the special needs of trauma victims. By the mid-1980s, more than 500 regional trauma centers had...
The Hospital for Sick Children's Atlas of Pediatric Ophthalmology and Strabismus
The Hospital for Sick Children's Atlas of Pediatric Ophthalmology and Strabismus
The Hospital For Sick Children's Atlas of Pediatric Ophthalmology and Strabismus is a collection of photographs and images reprsenting the wide variety of ocular disorders experienced at our institution. The Hospital For Sick Children, now fondly known as SickKids, started in the spring...
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
This volume contains the papers presented at SBMF 2012: the 15th Brazilian Symposium on Formal Methods. The conference was held in the city of Natal, Brazil, colocated with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.

The conference program included two invited talks, given by John
...
Beyond the Bottom Line: Socially Innovative Business Owners
Beyond the Bottom Line: Socially Innovative Business Owners

Quarter examines business owners who use their firms as laboratories for social innovation. After providing an introduction to this phenomenon in an historical perspective and discussing the 19th-century British industrialist Robert Owen, he provides ll case studies of contemporary innovators from six countries-the UK, US, the Netherlands,...

Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy