The official guide by the SAS Global Certification Program SAS Certified Professional Prep Guide. Advanced Programming Using SAS 9.4 prepares you to take the new SAS 9.4 Advanced Programming Performance-Based Exam. New in this edition is a workbook whose sample sce... Lees meer.

This thought-provoking book exhorts planners to establish community development programs that achieve greater social and economic equity. Some of the 13 chapters urge planners to incorporate community equity concerns into traditional planning areas such as transportatio... Lees meer.

The SAS Certified Specialist Prep Guide. Base Programming Using SAS 9.4 prepares you to take the new SAS 9.4 Base Programming -- Performance-Based Exam. This is the official guide by the SAS Global Certification Program. This prep guide is for both new and experience... Lees meer.

Networking Essentials Companion Guide v3. Cisco Certified Support Technician CCST Networking 100-150 is the official supplemental textbook for the Networking Essentials course in the Cisco Networking Academy. Networking is at the heart of the digital transformation.... Lees meer.

Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in soft... Lees meer.

... Lees meer.

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs CPP 2011 held in Kenting Taiwan in December 2011. This book constitutes the referred proceedings of the First International Conference on Certifi... Lees meer.

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs CPP 2012 held in Kyoto Japan in December 2012. They deal with those topics in computer science and mathematics in which certification via formal te... Lees meer.

... Lees meer.

This thought-provoking book exhorts planners to establish community development programs that achieve greater social and economic equity. Some of the 13 chapters urge planners to incorporate community equity concerns into traditional planning areas such as transportatio... Lees meer.

... Lees meer.

Networking Essentials Companion Guide v3. Cisco Certified Support Technician CCST Networking 100-150 is the official supplemental textbook for the Networking Essentials course in the Cisco Networking Academy. Networking is at the heart of the digital transformation.... Lees meer.

... Lees meer.

... Lees meer.

A handbook to the Coq software for writing and checking mathematical proofs with a practical engineering focus.The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science and related tools for for... Lees meer.