Learn IT - Books tags logic

Scalable Hardware Verification with Symbolic Simulation

Springer, 2005

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The...

Embedded Hardware (Newnes Know It All)

Newnes, 2007

"The authors know their subject and present it well. Examples include C and BASIC code that will run on a PIC12F675 microcontroller."

"If you want information about the overall aspects of empbedded-system design, this book deserves a look."

"David Katz and Rick Gentile of Analog Devices do an admirable...

Fuzzy Reasoning in Information, Decision and Control Systems (Intelligent Systems, Control and Automation: Science and Engineering)

Springer, 1994

This book is devoted to the study of fuzzy reasoning as applied to decision making and control processes. It contains a collection of important contributions covering a wide well-selected range of topics within the field.
The book contains twenty-one papers, written by thirty-four distinguished contributors and is divided into five...

STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Springer, 2007

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007.

The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of...

Machine Intelligence 14: Applied Machine Intelligence

Oxford University Press, 1996

This 14th volume of the classic series on machine intelligence contains papers on complex decision taking, inductive logic programming, applied machine learning, dynamic control, and computational learning theory.

About the Author

K. Furukawa is at Keio University, Tokyo. D. Michie is at...

Designing Successful e-Learning, Michael Allen's Online Learning Library

Pfeiffer, 2007

“The theoretical literature on learning and growth can be difficult to master and even more challenging to integrate into e-learning, but Michael has made this easy for all of us. He explains this thinking in clear and accessible language, amplifies the theories with research results, and describes popular approaches by applying these...

JavaScript 1.5 by Example

Que, 2001

JavaScript 1.5 by Example starts with a taste of JavaScript – what it is, what it's for, and what readers need to get started. The book then explains how to add JavaScript to existing HTML pages, leading readers into the fundamentals of the language including JavaScript syntax, notation and conventions, communicating with users via input and...

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Springer, 2007

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages.

The 19 revised full papers presented together with 2 invited papers were carefully...

Soft Computing for Hybrid Intelligent Systems (Studies in Computational Intelligence)

Springer, 2008

We describe in this book, new methods and applications of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several intelligent computing paradigms, including fuzzy logic, neural networks, and evolutionary algorithms, which can be used to produce powerful hybrid intelligent systems. The book is organized in...

Routing Congestion in VLSI Circuits: Estimation and Optimization (Integrated Circuits and Systems)

Springer, 2007

With the dramatic increases in on-chip packing densities, routing congestion has become a major problem in chip design. The problem is especially acute as interconnects are also the performance bottleneck in integrated circuits. The solution lies in judicious resource management. This involves intelligent allocation of the available interconnect...

Principles of Concurrent and Distributed Programming (2nd Edition) (Prentice-Hall International Series in Computer Science)

Addison Wesley, 2006

Software today is inherently concurrent or distributed – from event-based GUI designs to operating and real-time systems to Internet applications. The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency

constructs...

A Practical Introduction to Computer Architecture (Texts in Computer Science)

Springer, 2009

This book blends traditional teaching approaches with the use of mathematics, together with the use of a hardware description language and a concrete processor as vehicles for "hands-on" modelling and experimenting with digital logic and processor design. This unique approach encourages readers to derive their own conclusions via...

Result Page: 91 90 89 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73