Learn IT - Books tags verification

A Distributed Pi-Calculus

Cambridge University Press, 2007

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the...

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

Springer, 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his...

Hands-On Bug Hunting for Penetration Testers: A practical guide to help ethical hackers discover web application security flaws

Packt Publishing, 2018

Detailed walkthroughs of how to discover, test, and document common web application vulnerabilities.

Key Features

Learn how to test for common bugs

Discover tools and methods for hacking ethically

Practice working through pentesting engagements...

Post-Silicon Validation and Debug

Springer, 2018

This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributions from SoC designers, academic researchers as well as SoC verification experts. The readers will get a clear understanding of the existing debug infrastructure and how...

Service-Oriented Computing: ICSOC 2010 International Workshops PAASC

Springer, 2011

Welcome to the workshop program of the 8th International Conference on Service Oriented Computing (ICSOC 2010), held in San Francisco, December 2010. These workshop proceedings represent high-quality research and industry papers that showcase recent and new working developments in service-oriented computing and related fields.

...

Professional Verification: A Guide to Advanced Functional Verification

Springer, 2004

Professional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. Professional Verification is based on the experiences of advanced...

Multidimensional Programming

Oxford University Press, 1995

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically...

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

Springer, 2013

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.

The book originated in a...

Computer Networks, Fourth Edition

Prentice Hall, 2003

The world's leading introduction to networking-fully updated for tomorrow's key technologies.

Computer Networks, Fourth Edition is the ideal introduction to today's networks-and tomorrow's. This classic best seller has been thoroughly updated to reflect the newest and...

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia

Springer, 2004

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.

This book presents revised and extended versions of 11...

Fundamentals of Probability and Statistics for Engineers

John Wiley & Sons, 2004

This book was written for an introductory one-semester or two-quarter course in probability and statistics for students in engineering and applied sciences. No previous knowledge of probability or statistics is presumed but a good understanding of calculus is a prerequisite for the material.

The development of this book was guided by a...

CMOS Sigma-Delta Converters: Practical Design Guide

John Wiley & Sons, 2013

A comprehensive overview of Sigma-Delta Analog-to-Digital Converters (ADCs) and a practical guide to their design in nano-scale CMOS for optimal performance.

This book presents a systematic and comprehensive compilation of sigma-delta converter operating principles, the new advances in architectures and circuits, design...

Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 15