Home | Amazing | Today | Tags | Publishers | Years | Search 
Pen-and-Paper User Interfaces: Integrating Printed and Digital Documents (Human-Computer Interaction Series)
Pen-and-Paper User Interfaces: Integrating Printed and Digital Documents (Human-Computer Interaction Series)

Even at the beginning of the 21st century, we are far from becoming paperless. Pen and paper is still the only truly ubiquitous information processing technology. Pen-and-paper user interfaces bridge the gap between paper and the digital world. Rather than replacing paper with electronic media, they seamlessly integrate both worlds in a...

Software Product Quality Control
Software Product Quality Control

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...

A Journey from Robot to Digital Human: Mathematical Principles and Applications with MATLAB Programming (Modeling and Optimization in Science and Technologies)
A Journey from Robot to Digital Human: Mathematical Principles and Applications with MATLAB Programming (Modeling and Optimization in Science and Technologies)

This book provides readers with a solid set of diversified and essential tools for the theoretical modeling and control of complex robotic systems, as well as for digital human modeling and realistic motion generation. Following a comprehensive introduction to the fundamentals of robotic kinematics, dynamics and control systems design, the...

Everyday Cryptography: Fundamental Principles and Applications
Everyday Cryptography: Fundamental Principles and Applications

Cryptography is a vital technology that underpins the security of information in computer networks. This book presents a comprehensive introduction to the role that cryptography plays in providing information security for technologies such as the Internet, mobile phones, payment cards, and wireless local area networks. Focusing on the...

Web Application Architecture: Principles, Protocols and Practices
Web Application Architecture: Principles, Protocols and Practices

In-depth examination of concepts and principles of Web application development

Completely revised and updated, this popular book returns with coverage on a range of new technologies. Authored by a highly respected duo, this edition provides an in-depth examination of the core concepts and general principles of Web application...

Realm of Racket: Learn to Program, One Game at a Time!
Realm of Racket: Learn to Program, One Game at a Time!

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, it was designed with beginning programmers in mind. Realm of Racket is your introduction to the Racket language.

In Realm of...

Instant SymPy Starter
Instant SymPy Starter

Symbolic computation is the use of algorithms and software to perform exact calculations on symbolic mathematical expressions. It has traditionally been the preserve of monolithic computer algebra systems. SymPy puts its power within easy reach of all Python programmers, just an import statement away.

Instant SymPy Starter is an...

The Design and Analysis of Efficient Learning Algorithms (ACM Doctoral Dissertation Award)
The Design and Analysis of Efficient Learning Algorithms (ACM Doctoral Dissertation Award)

Approaches to building machines that can learn from experience abound - from connectionist learning algorithms and genetic algorithms to statistical mechanics and a learning system based on Piaget's theories of early childhood development. This monograph describes results derived from the mathematically oriented framework of computational...

Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

...
Functional Analysis Methods for Reliability Models (Pseudo-Differential Operators)
Functional Analysis Methods for Reliability Models (Pseudo-Differential Operators)
People are often concerned with the reliability of products they use and of the friends and associates with whom they interact daily in a myriad of ways. Although the term “reliability” may not occur in the description of a given product or interaction, it is often the attribute that the individual means in expression of...
Neuroanatomical Tract-Tracing: Molecules, Neurons, and Systems
Neuroanatomical Tract-Tracing: Molecules, Neurons, and Systems
Having been available for 70 years, it seems reasonable to ask what transmission electron microscopy (TEM) can add to the investigation of the nervous system in the new millennium. Today, the basic synaptic organization of most brain regions is known, as is the morphological detail of most neurons and support cells. Chapters in...
Project Management JumpStart
Project Management JumpStart

The much-anticipated new edition of the popular project management introductory book

The role of the project manager continues to become more diverse and demanding, placing strong project management skills in high demand. This in-depth introductory guide offers aspiring project managers the essential fundamentals of project...

Result Page: 426 425 424 423 422 421 420 419 418 417 416 415 414 413 412 411 410 409 408 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy