This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

Developing Your Design Process is your primary source for acquiring knowledge of how and why you design. It will help you understand how architects think as well as learn why you should educate yourself about design culture. You'll explore the spark of imagination that leads to a strong concept, realize the importance of...

• Learn the basics and create your first classes
• Handle data and understand the way it works, create powerful...

• Assessment testing to focus and direct your studies
• In-depth coverage of all exam objectives
• Hundreds of challenging practice questions, in...

This comprehensive book covers the strategy, tactics, and processes needed for successful project portfolio management. It outlines a road map to unprecedented project management improvement and includes a detailed implementation plan for both strategic planning and a PMO that gives you measurable results in weeks. The author delineates four...

Written for Higher Education teaching and learning professionals, Learning with Digital Games provides an accessible, straightforward introduction to the field of computer game-based learning. Up to date with current trends and the changing learning needs of today’s students, this text offers friendly guidance, and is unique in...

Microsoft has recently changed its certification program to contain three primary series: Technology, Professional, and Architect. The Technology Series of certifications is intended to allow candidates to target specific technologies and is the basis for obtaining the Professional Series and Architect Series of certifications. The...