Learn IT - Books tags formal

Modern Italian Grammar: A Practical Guide (Modern Grammars)

Routledge, 1997

Modern Italian Grammar follows an entirely new approach to learning Italian. It embraces a new way of looking at grammar not as an ultimate goal, but as the tool with which we construct a dialogue or a piece of writing.

Modern Italian Grammar is specifically designed to be accessible to the English reader not...

Objects, Abstraction, Data Structures and Design: Using C++

John Wiley & Sons, 2005

Our goal in writing this book was to combine a strong emphasis on problem solving and software design with the study of data structures. To this end, we discuss applications of each data structure to motivate its study. After providing the specification (a header file) and the implementation of an abstract data type, we cover case...

Mixed-Signal Layout Generation Concepts (The Springer International Series in Engineering and Computer Science)

Springer, 2003

Layout generation is an important topic in IC design. For digital circuits a lot of research has been conducted in this area, resulting in a large variety of books and layout generation tools. However, with the ever increasing frequencies, we are facing now significant analog types of artifacts in the IC, introduced during the...

Networking for People Who Hate Networking: A Field Guide for Introverts, the Overwhelmed, and the Underconnected

Berrett-Koehler Publishers, 2010

Devora Zack, an avowed introvert and a successful consultant who speaks to thousands of people every year, found that most networking advice books assume that to succeed you have to become an extrovert. Or at least learn how to fake it. Not at all. There is another way.

This book shatters stereotypes about people...

Computer Security Fundamentals (2nd Edition)

Que, 2011

It has been more than 6 years since the publication of the original edition of this book. A great deal has happened in the world of computer security since that time. This edition is updated to include newer information, updated issues, and revised content.

The real question is who is this book for. This book is...

A Practical Introduction to Hardware/Software Codesign

Springer, 2010

This is a practical book for computer engineers who want to understand or implement hardware/software systems. It focuses on problems that require one to combine hardware design with software design – such problems can be solved with hardware/software codesign. When used properly, hardware/software codesign works better...

Data Structures and Algorithm Analysis in C (2nd Edition)

Addison Wesley, 1996

This book describes data structures, methods of organizing large amounts of data, and algorithm analysis, the estimation of the running time of algorithms. As computers become faster and faster, the need for programs that can handle large amounts of input becomes more acute. Paradoxically, this requires more careful attention...

Encyclopedia of Parallel Computing (Springer Reference)

Springer, 2011

Parallelism, the capability of a computer to execute operations concurrently, has been a constant throughout the history of computing. It impacts hardware, software, theory, and applications. The fastest machines of the past few decades, the supercomputers, owe their performance advantage to parallelism. Today, physical limitations...

A Decade of Concurrency: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands

Springer, 1994

The REX School/Symposium *A Decade of Concurrency - Reflections and Perspectives' was the final event of a ten year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983. the goal of the project has been'to contribute to the crossfertilization...

Introduction to Compiler Construction

W. H. Freeman, 1992

The art of compiler construction is a fascinating subject- It integrates the mathe matical foundations of formal languages, a wealth of well-established techniques for syntactic analysis, semantic analysis and optimization, and a tremendous amount of practical experience accumulated over the past four decades in designing and us ing...

Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science)

Springer, 1995

Graph rewriting systems have come of age. In autumn 1994, the 25th anniversary of the first publication in this area was celebrated at the 5th Workshop on Graph Grammars and their Applications to Computer Science. In the interim, the subject has evolved. The current situation can be described by a three-stage model. At the very low...

Object-Oriented Software Engineering: Practical Software Development using UML and Java

McGraw-Hill, 2002

This earliest recorded attempt to regulate the engineering profession reminds us, in the bluntest way possible, that the paramount purpose of engineering and engineering design is to serve the user. One would assume that the engineer’s responsibility to users is so self evident that it goes without saying. Various professional...

Result Page: 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27