Logic Books - Page 12

Winning the SoC Revolution: Experiences in Real Design

Amazon Price: $122.39 List Price: $149.00 Usually ships in 24 hours By: Springer Amazon Marketplace: 18 new & used starting at $30.00

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Hardware -> PCs
Subjects -> Computers & Internet -> Programming -> Software Design, Testing & Engineering -> Logic
Subjects -> Computers & Internet -> Programming -> General AAS

Editorial Review:

In 1998-99, at the dawn of the SoC Revolution, we wrote Surviving the SOC Revolution: A Guide to Platform Based Design. In that book, we focused on presenting guidelines and best practices to aid engineers beginning to design complex System-on-Chip devices (SoCs). Now, in 2003, facing the mid-point of that revolution, we believe that it is time to focus on winning. In this book, Winning the SoC Revolution: Experiences in Real Design, we gather the best practical experiences in how to design SoCs from the most advanced design groups, while setting the issues and techniques in the context of SoC design methodologies. As an edited volume, this book has contributions from the leading design houses who are winning in SoCs - Altera, ARM, IBM, Philips, TI, UC Berkeley, and Xilinx. These chapters present the many facets of SoC design - the platform based approach, how to best utilize IP, Verification, FPGA fabrics as an alternative to ASICs, and next generation process technology issues. We also include observations from Ron Wilson of CMP Media on best practices for SoC design team collaboration. We hope that by utilizing this book, you too, will win the SoC Revolution.

The Gods in Epic: Poets and Critics of the Classical Tradition (Clarendon Paperbacks)

D. C. Feeney

Amazon Price: $95.00 List Price: $95.00 Usually ships in 24 hours By: Oxford University Press, USA Amazon Marketplace: 20 new & used starting at $68.45

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Programming -> Software Design, Testing & Engineering -> Logic
Subjects -> Computers & Internet -> General
Subjects -> Computers & Internet -> General AAS

Editorial Review:

This is the first study devoted to the classical literary tradition as a whole, together with the apparatus of critical scholarship which was part of that tradition. The work of the ancient critics provides some access to the interpretative conventions of the original reading community, while their theories of fiction and genre may also shed light on the problems of the truth-value of epic fiction and the kind of belief that poetry generates. Focusing on the poets themselves, Feeney explores the themes associated with each poet, including the fiction of Apollonius, allegory in the work of Statius, and anthropomorphism in Ovid's work.

Formal Engineering for Industrial Software Development

Shaoying Liu

Amazon Price: $91.73 List Price: $115.00 Usually ships in 4 to 6 weeks By: Springer Amazon Marketplace: 11 new & used starting at $58.82

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Methodology
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> General AAS
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Computer Design

Editorial Review:

This book gives a systemic and comprehensible introduction to SOFL (Structured Object-oriented Formal Language) as one of Formal Engineering Methods for software development. Formal engineering methods are a further development of formal methods towards industrial application. They support the integration of formal methods into software development processes, the construction of formal specifications in a user-friendly manner, and rigorous but practical verification of software systems. SOFL achieves all of these features by integrating Data Flow Diagrams, Petri Nets, VDM, and Object-Oriented approach in a coherent manner for specification constructions, and by integrating formal verification with fault tree analysis and testing for reviewing and testing specifciations. It also provides a way to transform formal specifications into Java programs. SOFL does not only make formal methods accessable to engineers, but also make the use of formal methods enjoyable and effective. Many examples and exercises are provided in this book to help both students and professionals to study, use, and enjoy SOFL.

Selected Papers on the Analysis of Algorithms

Donald E. Knuth

Amazon Price: $45.00 List Price: $45.00 Usually ships in 24 hours By: Center for the Study of Language and Inf Amazon Marketplace: 21 new & used starting at $15.24

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Computer Design
Subjects -> Computers & Internet -> Programming -> Algorithms -> General
Subjects -> Computers & Internet -> Programming -> Algorithms -> General AAS

Customer Reviews:
Total reviews: 5 Average rating: 4.5 of 5

Not as Approachable as Knuth's Other Writings 3 out of 5 stars.
11 of 15 people found this review helpful.

To a reader interested in the analysis of algorithms, this book doubtlessly contains a number of very thorough analyses, with some interesting correspondence about the origin of complexity O()-notation and the term "NP-hard" thrown in.

As a reader more interested in Knuth's work in general, I must admit that, despite having advanced degrees in CS and a quite decent math education, I found myself unable to follow the heavy mathematics employed, and ultimately, the problems analyzed were not interesting enough to me to make me spend the effort to follow it. One of the chapters was titled "A Trivial Algorithm Whose Analysis Isn't", and this probably sums up why I'm not entirely enthusiastic about this book and about the field of algorithm analysis in general.

Knuth wouldn't be Knuth if he didn't throw some lighter material in as well, and chapter 2, "The Dangers of Computer Science Theory", was quite amusing.

Editorial Review:

Donald Knuth's influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics; his scientific papers are widely referenced and stand as milestones of development over a wide range of topics. The present volume, which is the fourth in a series of his collected works, is devoted to an important subfield of Computer Science that Knuth founded in the 1960s and still considers his main life's work. This field, to which he gave the name Analysis of Algorithms, deals with quantitative studies of computer techniques, leading to methods for understanding and predicting the efficiency of computer programs. More than 30 of the papers that helped to shape this field are reprinted and updated in the present collection, together with historical material that has not previously been published.

Modern Logic: A Text in Elementary Symbolic Logic

Graeme Forbes

Amazon Price: $58.45 List Price: $64.95 Usually ships in 24 hours By: Oxford University Press, USA Amazon Marketplace: 33 new & used starting at $34.91

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Programming -> Software Design, Testing & Engineering -> Logic
Subjects -> Nonfiction -> Philosophy -> Logic & Language
Subjects -> Nonfiction -> Philosophy -> General

Customer Reviews:
Total reviews: 4 Average rating: 3.0 of 5

Editorial Review:

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work.

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)

Amazon Price: $67.00 List Price: $67.00 In stock soon. Order now to get in line. First come, first served. By: Springer Amazon Marketplace: 5 new & used starting at $32.95

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Methodology
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> General AAS
Subjects -> Computers & Internet -> Programming -> APIs & Operating Environments -> OLE

Editorial Review:

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award:

"For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67."

This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.

A Hands-on Introduction to Program Logic And Design Using Web Technologies

Mike O'kane

Amazon Price: $28.00 List Price: $28.00 Usually ships in 2 to 3 weeks By: Booklocker.com Amazon Marketplace: 9 new & used starting at $24.50

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> General AAS
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Computer Design
Subjects -> Computers & Internet -> Programming -> Software Design, Testing & Engineering -> Logic

Low-Voltage SOI CMOS VLSI Devices and Circuits

James B. Kuo, Shih-Chia Lin

Amazon Price: $118.95 List Price: $118.95 Usually ships in 24 hours By: Wiley-Interscience Amazon Marketplace: 20 new & used starting at $61.70

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Circuitry -> Circuit Components
Subjects -> Computers & Internet -> Programming -> Software Design, Testing & Engineering -> Logic
Subjects -> Professional & Technical -> Engineering -> Electrical & Electronics -> Circuits -> General AAS

Customer Reviews:
Total reviews: 6 Average rating: 2.5 of 5

Editorial Review:

A practical, comprehensive survey of SOI CMOS devices and circuits for microelectronics engineers
The microelectronics industry is becoming increasingly dependent on SOI CMOS VLSI devices and circuits. This book is the first to address this important topic with a practical focus on devices and circuits. It provides an up-to-date survey of the current knowledge regarding SOI device behaviors and describes state-of-the-art low-voltage CMOS VLSI analog and digital circuit techniques.
Low-Voltage SOI CMOS VLSI Devices and Circuits covers the entire field, from basic concepts to the most advanced ideas. Topics include:
* SOI device behavior: fundamental and floating body effects, hot carrier effects, sensitivity, reliability, self-heating, breakdown, ESD, dual-gate devices, accumulation-mode devices, short channel effects, and narrow channel effects
* Low-voltage SOI digital circuits: floating body effects, DRAM, SRAM, static logic, dynamic logic, gate array, CPU, frequency divider, and DSP
* Low-voltage SOI analog circuits: op amps, filters, ADC/DAC, sigma-delta modulators, RF circuits, VCO, mixers, low-noise amplifiers, and high-temperature circuits
With over 300 references to the state of the art and over 300 important figures on low-voltage SOI CMOS devices and circuits, this volume serves as an authoritative, reliable resource for engineers designing these circuits in high-tech industries.

Theory of Computation Instruc. Man: Instructor's Manual

James Hein

By: Jones & Bartlett Publishers Inc.,U.S. Amazon Marketplace: 1 new & used starting at $23.78

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> Programming -> Software Design, Testing & Engineering -> Logic
Subjects -> Computers & Internet -> General

Skew-Tolerant Circuit Design (The Morgan Kaufmann Series in Computer Architecture and Design)

David Harris

Amazon Price: $54.85 List Price: $60.95 Usually ships in 24 hours By: Morgan Kaufmann Amazon Marketplace: 11 new & used starting at $34.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Circuitry -> Circuit Components
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Computer Design
Subjects -> Computers & Internet -> Hardware -> Design & Architecture

Customer Reviews:
Total reviews: 3 Average rating: 4.5 of 5

Editorial Review:

As advances in technology and circuit design boost operating frequencies of microprocessors, DSPs and other fast chips, new design challenges continue to emerge. One of the major performance limitations in today's chip designs is clock skew, the uncertainty in arrival times between a pair of clocks. Increasing clock frequencies are forcing many engineers to rethink their timing budgets and to use skew-tolerant circuit techniques for both domino and static circuits. While senior designers have long developed their own techniques for reducing the sequencing overhead of domino circuits, this knowledge has routinely been protected as trade secret and has rarely been shared. Skew-Tolerant Circuit Design presents a systematic way of achieving the same goal and puts it in the hands of all designers.

This book clearly presents skew-tolerant techniques and shows how they address the challenges of clocking, latching, and clock skew. It provides the practicing circuit designer with a clearly detailed tutorial and an insightful summary of the most recent literature on these critical clock skew issues.

* Synthesizes the most recent advances in skew-tolerant design in one cohesive tutorial
* Provides incisive instruction and advice punctuated by humorous illustrations
* Includes exercises to test understanding of key concepts and solutions to selected exercises