Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
International Development Assistance and the BRICS (Governing China in the 21st Century)
International Development Assistance and the BRICS (Governing China in the 21st Century)
This book aims to bring together a series of analyses on international development assistance in the BRICS, the group of countries that includes Brazil, Russia, India, China and South Africa. The BRICS states comprise approximately 3 billion people (~40% of the World’s population) and in terms of GDP account for 16.8 trillion...
Principles of Model Checking
Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
Parallel Algorithm Derivation and Program Transformation
Parallel Algorithm Derivation and Program Transformation
Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little...
Foundations of Computing
Foundations of Computing

It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.

It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and...

GeoSpatial Semantics: 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011
GeoSpatial Semantics: 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011

The fourth edition of the International Conference on Geospatial Semantics (GeoS 2011) was held in Brest, France, during May 12–13, 2011.

Geospatial semantics (GEOS) is an emerging research area in the domain of geographic information science. It aims at exploring strategies, computational methods, and tools to support...

Multiple Wiener-Itô Integrals: With Applications to Limit Theorems
Multiple Wiener-Itô Integrals: With Applications to Limit Theorems

The goal of this Lecture Note is to prove a new type of limit theorems for normalized sums of strongly dependent random variables that play an important role in probability theory or in statistical physics. Here non-linear functionals of stationary Gaussian fields are considered, and it is shown that the theory of Wiener–Itô...

Be Your Own Coach: Your Pathway to Possibility (Crisp Fifty Minute Series)
Be Your Own Coach: Your Pathway to Possibility (Crisp Fifty Minute Series)

This book will show you how to recognize opportunities for personal and professional growth, define commitments to yourself and keep them, develop greater self-confidence and self-awareness, and understand the power of your feelings, moods, and reactions. It is possible for you to develop your own approach to learning and excel without the...

Deploying Raspberry Pi in the Classroom
Deploying Raspberry Pi in the Classroom

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.

Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom.  Teachers and IT...

Demystifying Switched Capacitor Circuits (v. 1)
Demystifying Switched Capacitor Circuits (v. 1)

This book helps engineers to grasp fundamental theories and design principles by presenting physical and intuitive explanations of switched-capacitor circuits. Numerous circuit examples are discussed and the author emphasizes the most important and fundamental principles involved in implementing state-of-the-art switched-capacitor circuits...

Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006
Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.

The 12 revised full papers...

The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art...
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the...

unlimited object storage image
Result Page: 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy