Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software
Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

An Integrated Technology for Delivering Better Software—Cheaper and Faster!

 

This book presents an integrated technology, Design for Trustworthy Software (DFTS), to address software quality issues upstream such that the goal of software...

Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle
Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle

The fields of HCI and Software Engineering have evolved almost independently of each other until the last decade, when it became apparent that an integrated and combined perspective would benefit the development of interactive software applications. The chapters in this book are written by prominent researchers who bring to light the major...

Compliers and Compiler Generators: An Introduction With C++
Compliers and Compiler Generators: An Introduction With C++
This book has been written to support a practically oriented course in programming language translation for senior undergraduates in Computer Science. More specifically, it is aimed at students who are probably quite competent in the art of imperative programming (for example, in C++, Pascal, or Modula-2), but whose mathematics may be a little...
General Thoracic Surgery (2 Vol. Set)
General Thoracic Surgery (2 Vol. Set)
The leading comprehensive reference on thoracic surgery is now in its Sixth Edition. Coverage of surgical oncology has been expanded. This edition also features state-of-the-art video-assisted procedures, new chapters on tracheostomy, and new techniques for lung cancer and paraesophageal hernia. Organized by anatomic region, this two-volume work...
Fundamentals of Optical Waveguides, Second Edition
Fundamentals of Optical Waveguides, Second Edition
Fundamentals of Optical Waveguides is an essential resource for any researcher, professional or student involved in optics and communications engineering. Any reader interested in designing or actively working with optical devices must have a firm grasp of the principles of lightwave propagation. Katsunari Okamoto has presented this...
Dictionary of Computer and Internet Terms
Dictionary of Computer and Internet Terms
Computer terminology is constantly expanding, and the brand-new edition of this dictionary has been updated to keep pace with the latest important innovations in computer science and technology. Emphasis is on helpful information for non-technical home computer users. The book presents more than 3,200 computer-related terms with clear and succinct...
Space Science
Space Science

This invaluable book provides an introduction to space science. It brings together the various space science disciplines in one volume, and will benefit a wide audience, particularly students starting their graduate studies. The text presents a unique outlook, which will encourage students to think in broad terms across the whole range of...

The Coming Robot Revolution: Expectations and Fears About Emerging Intelligent, Humanlike Machines
The Coming Robot Revolution: Expectations and Fears About Emerging Intelligent, Humanlike Machines

Making a robot that looks and behaves like a human being has been the subject of many popular science fiction movies and books. Although the development of such a robot faces many challenges, the making of a virtual human has long been potentially possible. With recent advances in various key technologies related to hardware and...

Pharmaceutical Project Management, Second Edition (Drugs and the Pharmaceutical Sciences)
Pharmaceutical Project Management, Second Edition (Drugs and the Pharmaceutical Sciences)
This second edition of Pharmaceutical Project Management is published one decade after the first edition. What has changed over the past decade in drug development? Actually, a lot. The move to outsourcing has intensified and the successful management of relationships between sponsor and contractor is recognized to be a...
Approximation Methods for Polynomial Optimization: Models, Algorithms, and Applications (SpringerBriefs in Optimization)
Approximation Methods for Polynomial Optimization: Models, Algorithms, and Applications (SpringerBriefs in Optimization)
Polynomial optimization, as its name suggests, is used to optimize a generic multivariate polynomial function, subject to some suitable polynomial equality and/or inequality constraints. Such problem formulation dates back to the nineteenth century when the relationship between nonnegative polynomials and sum of squares (SOS) was...
Compiler Design: Analysis and Transformation
Compiler Design: Analysis and Transformation

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions...

Dynamic Secrets in Communication Security
Dynamic Secrets in Communication Security

Dynamic secrets are constantly generated and updated from messages exchanged between two communication users. When dynamic secrets are used as a complement to existing secure communication systems, a stolen key or password can be quickly and automatically reverted to its secret status without disrupting communication. "Dynamic Secrets in...

unlimited object storage image
Result Page: 409 408 407 406 405 404 403 402 401 400 399 398 397 396 395 394 393 392 391 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy