الصفحة 151
الصفحة 151
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
2050 : Designing Our Tomorrow
Envisioning a positive future through design 2050: Designing Our Tomorrow describes the ways in which architecture and design can engage with the key drivers of change and provide affirmative aspirations for a not-so distant future. See how architects and designers inspire global positive change / Consider architecture's role in shaping cultural outlook / Learn the key drivers of change for the built environment / Explore the perspectives of leading experts and designers
150 Best New Eco Home Ideas
Features nearly 500 pages of full-color photographs and dozens of inventive and decorative profiles. Architects, designers, and homeowners today looking for comfortable, beautiful dwellings with a minimal carbon footprint will find a cornucopia of ideas in this handsome compendium. A fabulous review of the most forward-thinking eco-friendly house designs being created today, 150 Best New Eco Home Ideas showcases the work of internationally renowned architects and designers who have achieved practical, innovative, and stunning solutions around the globe. From solar paneling and wind energy systems to environmentally-friendly heating and cooling solutions and thermal glazing to trombe walls, 150 Best New Eco Home Ideas covers the latest trends and breakthroughs in eco homes. Inspiring and inventive, this lush sourcebook is essential for architects, designers, interior decorators, and all conscientious homeowners interested in creating warm and inviting homes with only a fraction of the environmental impact of those using conventional methods
100% Evil
This professional work led to a personal passion, and so the illustrators chose to draw a small series on rosier subjects like maps and love. But as the world around them grew darker, they decided to explore the other end of the emotional spectrum and devote themselves to evil. 100% Evil is the result: a thoughtful, comical, andat timesjoyful book that just goes to show that sometimes it's good to be bad.
