Subscribe: Blackwell Online - Books : Computers : Logic Design
http://bookshop.blackwell.co.uk/rss/uk/COM036000.xml
Preview: Blackwell Online - Books : Computers : Logic Design

Blackwell Online - Books : Computers : Logic Design



The Knowledge Retailer - This feed will update daily with new publications.



Copyright: Copyright 2015, Blackwell UK Ltd.
 



Processor Microarchitecture

01 Jul 2010 00:00:00 GMT

(image) By Antonio Gonzalez, Fernando Latorre, Grigorios Magklis

£19.99   01 Jul 2010   Paperback   Morgan & Claypool Publishers





Systems Theory for Hardware Designers

18 Jun 2010 00:00:00 GMT

(image) By M. Govindarajan

£65.00   18 Jun 2010   Hardback   John Wiley and Sons Ltd

Addresses communication and signal processing theory as relevant to high-speed communications. This book demonstrates how the systems theories are applied to wireline, fiber-optic and wireless communications. It also evaluates signal transmission and signal reception in digital communications.





High Performance Networks: From Supercomputing to Cloud Computing

01 Jun 2010 00:00:00 GMT

(image) By Dennis Abts

£19.99   01 Jun 2010   Paperback   Morgan & Claypool Publishers





Understanding Concurrent Systems

01 May 2010 00:00:00 GMT

(image) By A.W. Roscoe

£39.99   01 May 2010   Hardback   Springer London Ltd

Presents the fundamental knowledge of CSP concepts to help readers take advantage of those tools. This work offers an introductory course into the theories behind computer concurrency. It summarises the main ideas and results featuring chapters on advanced specification techniques, buffer tolerance, induction and data independence.





Securing System Information Flows

01 May 2010 00:00:00 GMT

(image) By Sean Price

£44.99   01 May 2010   Hardback   Taylor & Francis Ltd

Identifies the nuts and bolts of engineering secure systems, and also provides an effective framework for specifying and evaluating information flows in organizations of any size. This text covers complex aspects of information flow including the concepts of least privilege and separation of duties.





Computer Systems

28 Apr 2010 00:00:00 GMT

(image) A Programmer's Perspective

By Randal E. Bryant, David R. O'Hallaron

£55.99   28 Apr 2010   Paperback   Pearson Education (US)





Design Automation for Differential MOS Current-mode Logic Circuits

01 Mar 2010 00:00:00 GMT

(image) By Stephane Badel, Yusuf Leblebici

£81.50   01 Mar 2010   Hardback   Springer





A Designer's Guide to Asynchronous VLSI

01 Mar 2010 00:00:00 GMT

(image) By Peter A. Beerel, Recep O. Ozdag, Marcos Ferretti, Sangyun Kim, Sunan Tugsinavisut

£70.00   01 Mar 2010   Hardback   Cambridge University Press

Create low power, higher performance circuits with shorter design times using this practical guide to asynchronous design.





Advanced Digital Design with the Verillog HDL

28 Feb 2010 00:00:00 GMT

(image) By Michael D. Ciletti

£78.99   28 Feb 2010   Hardback   Pearson Education (US)





High Performance Computing and Applications

01 Feb 2010 00:00:00 GMT

(image) £63.99   01 Feb 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Integrated Circuit and System Design

01 Feb 2010 00:00:00 GMT

(image) Power and Timing Modeling, Optimization and Simulation

£48.99   01 Feb 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG





A Designer's Guide to Asynchronous VLSI

31 Jan 2010 00:00:00 GMT

(image) By Peter A. Beerel, Recep O. Ozdag, Marcos Ferretti, Sangyun Kim, Sunan Tugsinavisut

£70.00   31 Jan 2010   Hardback   Cambridge University Press

Create low power, higher performance circuits with shorter design times using this practical guide to asynchronous design.





VLSI and Computer Architecture

30 Jan 2010 00:00:00 GMT

(image) By Kenzo Watanabe

£107.50   30 Jan 2010   Hardback   Nova Science Publishers Inc

Very-large-scale integration (VLSI) is the process of creating integrated circuits by combining thousands of transistor-based circuits into a single chip. The first semiconductor chips held one transistor each. Subsequent advances added more and more transistors, and as a consequence more individual functions or systems were integrated over time.





Logica E Deduzione Automatica Per Le Applicazioni

01 Jan 2010 00:00:00 GMT

(image) By Ghilardi, S. Ranise, Silvio

£27.45   01 Jan 2010   Paperback   Springer





High Performance Embedded Architectures and Compilers

01 Jan 2010 00:00:00 GMT

(image) £48.99   01 Jan 2010   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2010, held in Pisa, Italy, in January 2010. This title includes papers with sections on architectural support for concurrency; compilation and runtime systems; and programming and analysis of accelerators.





Drawing Programs

01 Jan 2010 00:00:00 GMT

(image) The Theory and Practice of Schematic Functional Programming

By Tom Addis, Jan Addis

£49.99   01 Jan 2010   Paperback   Springer London Ltd

A practical guide for learning functional programming through the diagrams used to define functions. It describes, and provides a system that gives a level of support akin to that provided in word processing.





Modelling Computer Systems

01 Jan 2010 00:00:00 GMT

(image) The Mathematics of Computer Science

By Faron Moller, Georg Struth

£22.99   01 Jan 2010   Paperback   Springer London Ltd

Explores concepts of games and strategies to provide a paradigm for understanding the nature of computation. This book offers an elementary introduction to the mathematics and modeling of computing systems through exercises and examples, giving readers the opportunities to test their understanding and broaden their knowledge.





FPGA-Based System Design

28 Dec 2009 00:00:00 GMT

(image) By Wayne Wolf

£80.99   28 Dec 2009   Paperback   Pearson Education (US)





Design Automation for Differential MOS Current-mode Logic Circuits

01 Dec 2009 00:00:00 GMT

(image) By Stephane Badel, Yusuf Leblebici

£81.50   01 Dec 2009   Hardback   Springer





Drawing Programs

01 Dec 2009 00:00:00 GMT

(image) The Theory and Practice of Schematic Functional Programming

By Tom Addis, Jan Addis

£49.99   01 Dec 2009   Paperback   Springer London Ltd

A practical guide for learning functional programming through the diagrams used to define functions. It describes, and provides a system that gives a level of support akin to that provided in word processing.





Starting Out with Programming Logic and Design

28 Nov 2009 00:00:00 GMT

(image) International Edition

By Tony Gaddis

£44.99   28 Nov 2009   Multimedia Item   Pearson Education (US)





Starting Out with Programming Logic and Design

28 Nov 2009 00:00:00 GMT

(image) By Tony Gaddis

£44.99   28 Nov 2009   Multimedia Item   Pearson Education (US)





Drawing Programs

01 Nov 2009 00:00:00 GMT

(image) The Theory and Practice of Schematic Functional Programming

By Tom Addis, Jan Addis

£49.99   01 Nov 2009   Paperback   Springer London Ltd

A practical guide for learning functional programming through the diagrams used to define functions. It describes, and provides a system that gives a level of support akin to that provided in word processing.





Verification of Sequential and Concurrent Programs

01 Oct 2009 00:00:00 GMT

(image) By Krzysztof R. Apt, Frank S.de Boer (Centre for Mathematics and Computer Science), Ernst-Rudiger Olderog

£55.00   01 Oct 2009   Hardback   Springer London Ltd





Drawing Programs

01 Oct 2009 00:00:00 GMT

(image) The Theory and Practice of Schematic Functional Programming

By Tom Addis, Jan Addis

£49.99   01 Oct 2009   Paperback   Springer London Ltd

A practical guide for learning functional programming through the diagrams used to define functions. It describes, and provides a system that gives a level of support akin to that provided in word processing.





Energy Efficient Hardware

14 Sep 2009 00:00:00 GMT

(image) Software Co-synthesis Using Reconfigurable Hardware

By Jingzhao Ou, Viktor K. Prasanna

£60.99   14 Sep 2009   Hardback   Taylor & Francis Ltd

Energy dissipation and efficiency have prevented the widespread use of FPGA devices in embedded systems. This book offers solutions for the development of energy efficient applications using FPGAs. It provides a framework for high-level hardware-software application development. It also explores energy efficient designs for various applications.





Server Multiprocessors Clusters and Parallel Architechtures

09 Sep 2009 00:00:00 GMT

(image) By Rene J. Chevance

£33.95   09 Sep 2009   Paperback   Elsevier Science & Technology





Recent Trends in Algebraic Development Techniques

07 Sep 2009 00:00:00 GMT

(image) £48.99   07 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Pattern Calculus

03 Sep 2009 00:00:00 GMT

(image) By Barry Jay

£71.99   03 Sep 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles.





Formal Modeling and Analysis of Timed Systems

02 Sep 2009 00:00:00 GMT

(image) £48.99   02 Sep 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Drawing Programs

01 Sep 2009 00:00:00 GMT

(image) The Theory and Practice of Schematic Functional Programming

By Tom Addis, Jan Addis

£49.99   01 Sep 2009   Paperback   Springer London Ltd

A practical guide for learning functional programming through the diagrams used to define functions. It describes, and provides a system that gives a level of support akin to that provided in word processing.





Fundamentals of Modern VLSI Devices

01 Sep 2009 00:00:00 GMT

(image) By Yuan Taur, Tak H. Ning

£45.00   01 Sep 2009   Hardback   Cambridge University Press

Updated edition of a classic, invaluable for both practical transistor design and teaching.





Semantics and Algebraic Specification

26 Aug 2009 00:00:00 GMT

(image) £55.99   26 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Algebra and Coalgebra in Computer Science

24 Aug 2009 00:00:00 GMT

(image) £55.99   24 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Algebraic Informatics

24 Aug 2009 00:00:00 GMT

(image) £47.99   24 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Transient-induced Latchup in CMOS Integrated Circuits

21 Aug 2009 00:00:00 GMT

(image) By Ming-Dou Ker, Sheng-Fu Hsu

£95.00   21 Aug 2009   Hardback   John Wiley and Sons Ltd

Introduces the phenomenon and basic physical mechanism of latchup, explaining the critical issues that have resurfaced for CMOS technologies. This book discusses the physical mechanism of TLU under a system-level ESD test, while introducing an efficient component-level TLU measurement setup.





CONCUR 2009 - Concurrency Theory

17 Aug 2009 00:00:00 GMT

(image) £71.00   17 Aug 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Programming Multi-Agent Systems

27 Jul 2009 00:00:00 GMT

(image) £38.99   27 Jul 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Transient-induced Latchup in CMOS Integrated Circuits

24 Jul 2009 00:00:00 GMT

(image) By Ming-Dou Ker, Sheng-Fu Hsu

£95.00   24 Jul 2009   Hardback   John Wiley and Sons Ltd

Introduces the phenomenon and basic physical mechanism of latchup, explaining the critical issues that have resurfaced for CMOS technologies. This book discusses the physical mechanism of TLU under a system-level ESD test, while introducing an efficient component-level TLU measurement setup.





Pattern Calculus

23 Jul 2009 00:00:00 GMT

(image) By Barry Jay

£71.99   23 Jul 2009   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles.





Autonomous Agents and Multi-agent Systems

20 Jul 2009 00:00:00 GMT

(image) £51.99   20 Jul 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Formal Methods for Industrial Critical Systems

20 Jul 2009 00:00:00 GMT

(image) £38.99   20 Jul 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Transient-induced Latchup in CMOS Integrated Circuits

26 Jun 2009 00:00:00 GMT

(image) By Ming-Dou Ker

£95.00   26 Jun 2009   Hardback   John Wiley and Sons Ltd

Introduces the phenomenon and basic physical mechanism of latchup, explaining the critical issues that have resurfaced for CMOS technologies. This book presents cases and solutions that occur in commercial chips, and equips engineers with the skills to conserve chip layout area.





Transient-induced Latchup in CMOS Integrated Circuits

05 Jun 2009 00:00:00 GMT

(image) By Ming-Dou Ker

£95.00   05 Jun 2009   Hardback   John Wiley and Sons Ltd

Introduces the phenomenon and basic physical mechanism of latchup, explaining the critical issues that have resurfaced for CMOS technologies. This book presents cases and solutions that occur in commercial chips, and equips engineers with the skills to conserve chip layout area.





Logic and the Foundations of Game and Decision Theory (Loft 7)

01 Jun 2009 00:00:00 GMT

(image) By Bonanno, Giacomo Hoek, Wiebe Van Der Wooldridge, Michael

£31.50   01 Jun 2009   Paperback   Amsterdam University Press

Covers papers presented at the seventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT2006), held at the University of Liverpool in July 2006. This volume also gives an overview of the field and its connections to complexity theory, algorithms, and games.








Experimental Algorithms: 8th International Symposium Sea 2009, Dortmund, Germany, June 4-6, 2009, Proceedings

01 Jun 2009 00:00:00 GMT

(image) £41.18   01 Jun 2009   Paperback   Springer

This book constitutes the refereed proceedings of the 8th International Symposium on Experimental and Efficient Algorithms, SEA 2009, held in Dortmund, Germany, in June 2009.

The 23 revised full papers were carefully reviewed and selected from 64 submissions and present current research on experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications. Contributions are supported by experimental evaluation, methodological issues in the design and interpretation of experiments, the use of (meta-) heuristics, or application-driven case studies that deepen the understanding of a problem's complexity.





Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

01 Jun 2009 00:00:00 GMT

(image) £38.99   01 Jun 2009   Paperback   Springer

This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.

The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research.





Analog and VLSI Circuits

01 Jun 2009 00:00:00 GMT

(image) By Chen, Wai-Kai

£60.99   01 Jun 2009   Hardback   CRC Press

Featuring hundreds of illustrations and references, this book provides the information on analog and VLSI circuits. It focuses on analog integrated circuits, presenting the knowledge on monolithic device models, analog circuit cells, high performance analog circuits, RF communication circuits, and PLL circuits.





Fundamentals of Modern VLSI Devices

01 Jun 2009 00:00:00 GMT

(image) By Taur, Yuan Ning, Tak H.

£45.00   01 Jun 2009   Hardback   Cambridge University Press

Updated edition of a classic, invaluable for both practical transistor design and teaching.





More Than Moore: Creating High Value Micro/Nanoelectronics Systems

01 Jun 2009 00:00:00 GMT

(image) Creating High Value Micro / Nanoelectronics Systems

By Zhang, Guo Qi Graef, Mart Van Roosmalen, Alfred

£117.00   01 Jun 2009   Hardback   Springer

The main stream of microelectronics progress has been mainly powered by Moore's law which focuses on IC miniaturization down to nanoscale. While the microelectronics community around the world continues to invent solutions to keep Moore's law alive, there is a need for non-digital and mixed-signal 'More than Moore' (MtM) type technologies.





Computer Organization and Architecture

28 May 2009 00:00:00 GMT

(image) Designing for Performance

By William Stallings

£52.99   28 May 2009   Paperback   Pearson Education (US)





VLSI and Computer Architecture

13 May 2009 00:00:00 GMT

(image) By Kenzo Watanabe

£107.50   13 May 2009   Hardback   Nova Science Publishers Inc

Very-large-scale integration (VLSI) is the process of creating integrated circuits by combining thousands of transistor-based circuits into a single chip. The first semiconductor chips held one transistor each. Subsequent advances added more and more transistors, and as a consequence more individual functions or systems were integrated over time.





Fuzzy Logic

13 May 2009 00:00:00 GMT

(image) Theory, Programming and Applications

By Raymond E. Vargas

£107.50   13 May 2009   Hardback   Nova Science Publishers Inc

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book covers the research in this field.








Transactions on High-Performance Embedded Architectures and Compilers II

01 May 2009 00:00:00 GMT

(image) £59.99   01 May 2009   Paperback   Springer

Contains 15 papers that were selected out of 31 submissions. This title also contains extended versions of the top five papers from the 2nd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2007) held in Ghent, Belgium, in January 2007.





Analog and VLSI Circuits

01 May 2009 00:00:00 GMT

(image) By Chen, Wai-Kai

£60.99   01 May 2009   Hardback   CRC Press

Featuring hundreds of illustrations and references, this book provides the information on analog and VLSI circuits. It focuses on analog integrated circuits, presenting the knowledge on monolithic device models, analog circuit cells, high performance analog circuits, RF communication circuits, and PLL circuits.





Associative Digital Network Theory: An Associative Algebra Approach to Logic, Arithmetic and State Machines

01 May 2009 00:00:00 GMT

(image) By Benschop, Nico F.

£81.50   01 May 2009   Hardback   Springer

Suitable for researchers at industrial laboratories, teachers and students at technical universities, in electrical engineering, computer science and applied mathematics departments, interested in developments of modeling and designing digital networks in general, this title introduces essential concepts of associative digital network theory.





Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

01 May 2009 00:00:00 GMT

(image) By Ravi, Sekharipuram S. Shukla, Sandeep K. Ravi, S. S.

£73.50   01 May 2009   Hardback   Springer

A work in honor of Professor Daniel J Rosenkrantz who has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems.





Structured Computer Organization

28 Apr 2009 00:00:00 GMT

(image) International Edition

By Andrew S. Tanenbaum

£49.99   28 Apr 2009   Multimedia Item   Pearson Education (US)

Specifically written for undergraduate students, this best-selling guide provides an accessible introduction to computer hardware and architecture. Updated content is delivered via the familiar structure that has served instructors through four successful editions, with the major addition of an accompanying assembly language instructional CD-ROM.





Fuzzy Logic

01 Apr 2009 00:00:00 GMT

(image) Theory, Programming and Applications

By Raymond E. Vargas

£107.50   01 Apr 2009   Hardback   Nova Science Publishers Inc

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book covers the research in this field.





Logic Functions and Equations

01 Apr 2009 00:00:00 GMT

(image) By Bernd Steinbach, Christian Posthoff

£73.50   01 Apr 2009   Hardback   Kluwer Academic Publishers Group

The field of binary Logics has two main areas of application, the Digital Design of Circuits and Propositional Logics. In both cases it is possible to teach the theoretical foundations and to do some exercises, but in both cases the examples that can be done in class and by hand are far away from examples that are relevant for practical problems.





Fuzzy Logic

11 Mar 2009 00:00:00 GMT

(image) Theory, Programming and Applications

By Raymond E. Vargas

£107.50   11 Mar 2009   Hardback   Nova Science Publishers Inc

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book covers the research in this field.





Transactions on High-Performance Embedded Architectures and Compilers II

01 Mar 2009 00:00:00 GMT

(image) £59.99   01 Mar 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Reconfigurable Computing

01 Mar 2009 00:00:00 GMT

(image) Architectures, Tools, and Applications

£51.99   01 Mar 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Constitutes the refereed proceedings of the 5th International Workshop on Applied Reconfigurable Computing, ARC 2009, held in Karlsruhe, Germany, in March 2009. This title presents 21 full papers and 21 short papers together with the abstracts of 3 keynote lectures that were reviewed and selected from about 100 submissions.





Hybrid Systems

01 Mar 2009 00:00:00 GMT

(image) Computation and Control

£54.99   01 Mar 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.








Human Machine Interaction: Research Results of the Mmj Program

01 Mar 2009 00:00:00 GMT

(image) £43.99   01 Mar 2009   Paperback   Springer




Logic Functions and Equations: Examples and Exercises

01 Mar 2009 00:00:00 GMT

(image) By Steinbach, Bernd Posthoff, Christian

£73.50   01 Mar 2009   Hardback   Springer

The field of binary Logics has two main areas of application, the Digital Design of Circuits and Propositional Logics. In both cases it is possible to teach the theoretical foundations and to do some exercises, but in both cases the examples that can be done in class and by hand are far away from examples that are relevant for practical problems.





Fundamentals of Digital Logic

09 Feb 2009 00:00:00 GMT

(image) By Stephen Brown

£35.99   09 Feb 2009   Paperback   McGraw-Hill Education - Europe





Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, USA, January

01 Feb 2009 00:00:00 GMT

(image) £48.99   01 Feb 2009   Paperback   Springer

Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation.





High Performance Embedded Architectures and Compilers: Fourth International Conference, Hipeac 2009

01 Feb 2009 00:00:00 GMT

(image) £52.99   01 Feb 2009   Paperback   Springer

Constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. This title includes papers that are organized in topical sections on dynamic translation and optimization, and low level scheduling.





Introduction to Logic Design

01 Feb 2009 00:00:00 GMT

(image) By Alan B. Marcovitz

£109.99   01 Feb 2009   Hardback   McGraw-Hill Education - Europe





Integrated Circuit and System Design. Power and Timing Modeling,

01 Jan 2009 00:00:00 GMT

(image) £48.99   01 Jan 2009   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Fuzzy Logic

01 Jan 2009 00:00:00 GMT

(image) Theory, Programming and Applications

By Raymond E. Vargas

£85.99   01 Jan 2009   Hardback   Nova Science Publishers Inc

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book covers the research in this field.





Speech Processing in Embedded Systems

01 Jan 2009 00:00:00 GMT

(image) By Priyabrata Sinha

£102.00   01 Jan 2009   Hardback   Springer-Verlag New York Inc.

Speech Processing has rapidly emerged as one of the most widespread and well-understood application areas in the broader discipline of Digital Signal Processing. Besides the telecommunications applications that have hitherto been the largest users of speech processing algorithms, several non-traditional embedded processor applications are enhancing their functionality and user interfaces by utilizing various aspects of speech processing.

Speech Processing in Embedded Systems describes several areas of speech processing, and the various algorithms and industry standards that address each of these areas. The topics covered include different types of Speech Compression, Echo Cancellation, Noise Suppression, Speech Recognition and Speech Synthesis. In addition this book explores various issues and considerations related to efficient implementation of these algorithms on real-time embedded systems, including the role played by processor CPU and peripheral functionality.





The Semantic Web: 3rd Asian Semantic Web Conference, Aswc 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings

01 Dec 2008 00:00:00 GMT

(image) £54.99   01 Dec 2008   Paperback   Springer

Constitutes the refereed proceedings of the 3rd Asian Semantic Web Conference, ASWC 2008, held in Bankok, Thailand, in December 2008. This title includes papers that address the results in the research and applications of Semantic Web technologies and cover topics including: scalable reasoning and logic, ontology mapping, and ontologies and tags.





Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, Prima 2008, Hanoi, Vietna

01 Dec 2008 00:00:00 GMT

(image) £45.99   01 Dec 2008   Paperback   Springer

Constitutes the proceedings of the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. This title addresses subjects in multi-agent research and development, ranging from theoretical and methodological issues to various applications in different fields.





Introduction to Embedded System Design Using Field Programmable Gate Arrays

01 Dec 2008 00:00:00 GMT

(image) By Dubey, Rahul

£49.95   01 Dec 2008   Hardback   Springer

Offers information on the use of field programmable gate arrays (FPGAs) in the design of embedded systems. This text considers a hypothetical robot controller as an embedded application and weaves around it related concepts of FPGA-based digital design. It is suitable for both students and designers who have worked with microprocessors.





Resilient System Design

15 Nov 2008 00:00:00 GMT

(image) By Lisa Spainhower, Subhasish Mitra

£22.50   15 Nov 2008   Paperback   Morgan & Claypool Publishers





Fuzzy Logic

12 Nov 2008 00:00:00 GMT

(image) Theory, Programming and Applications

£85.99   12 Nov 2008   Hardback   Nova Science Publishers Inc

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book covers the research in this field.





Applications of Graph Transformations with Industrial Relevance

15 Oct 2008 00:00:00 GMT

(image) £57.99   15 Oct 2008   Paperback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.

The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments.





Fuzzy Logic

12 Oct 2008 00:00:00 GMT

(image) Theory, Programming & Applications

£85.99   12 Oct 2008   Hardback   Nova Science Publishers Inc





Rule Representation, Interchange and Reasoning on the Web

10 Oct 2008 00:00:00 GMT

(image) £37.63   10 Oct 2008   Multimedia Item   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




Language and Automata Theory and Applications

06 Oct 2008 00:00:00 GMT

(image) £52.90   06 Oct 2008   Multimedia Item   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.

The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages.





Quality of Software ArchitecturesModels and Architectures

06 Oct 2008 00:00:00 GMT

(image) £34.58   06 Oct 2008   Multimedia Item   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, and the ROSATEA 2007 event, investigating the Role of Software Architecture for Testing and Analysis, forming the federated events on Component-Based Software Engineering and Software Architecture, CompArch 2007.

The 13 revised full papers presented together with 1 keynote lecture were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge.





TRIPS Architecture

15 Sep 2008 00:00:00 GMT

(image) By Douglas Burger, Stephen W. Keckler, Kathryn McKinley, Karu Kankaralingam

£22.50   15 Sep 2008   Paperback   Morgan & Claypool Publishers





Memory Systems

15 Sep 2008 00:00:00 GMT

(image) By Bruce Jacob

£22.50   15 Sep 2008   Paperback   Morgan & Claypool Publishers





On Chip Interconnects

15 Sep 2008 00:00:00 GMT

(image) By Li-Shiuan Peh

£22.50   15 Sep 2008   Paperback   Morgan & Claypool Publishers





The Data Center as a Computer

15 Sep 2008 00:00:00 GMT

(image) By Luiz Barroso, Lars Hoelzle

£22.50   15 Sep 2008   Paperback   Morgan & Claypool Publishers








Mathematical Foundations of Computer Science 2008: 33rd International Symposium, Mfcs 2008, Torun, Poland, August 25-29, 2008, P

01 Sep 2008 00:00:00 GMT

(image) £57.98   01 Sep 2008   Hardback   Springer

Addresses various aspects in theoretical computer science and its mathematical foundations, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, and logic and formal specifications.





Implementation and Application of Functional Languages

25 Aug 2008 00:00:00 GMT

(image) £37.63   25 Aug 2008   Multimedia Item   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG




High Performance ASIC Design

21 Aug 2008 00:00:00 GMT

(image) Using Synthesizable Domino Logic in an ASIC Flow

By Razak Hossain

£45.00   21 Aug 2008   Hardback   Cambridge University Press

A methodology for using domino logic in an ASIC design flow for graduate students, researchers, and circuit designers in industry.





A Foundation for Transforming Programs for Parallel Execution

15 Aug 2008 00:00:00 GMT

(image) By David Padua

£22.50   15 Aug 2008   Paperback   Morgan & Claypool Publishers





Logic Synthesis for Compositional Microprogram Control Units

14 Aug 2008 00:00:00 GMT

(image) By Alexander Barkalov, Larysa Titarenko

£60.00   14 Aug 2008   Hardback   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG





Mathematical Foundations of Computer Science 2008

11 Aug 2008 00:00:00 GMT

(image) £57.98   11 Aug 2008   Multimedia Item   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.

The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.





Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

01 Aug 2008 00:00:00 GMT

15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008,By Maria Alpuente, German Vidal£39.68   01 Aug 2008   Hardback   SpringerThis book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.[...]



Proceedings of the 7th International Symposium on Distributed Computing and

01 Aug 2008 00:00:00 GMT

(image) By W. Xu, Q.P. Guo

£40.00   01 Aug 2008   Paperback   University of Greenwich AMCE Publishing





High-Level Synthesis: From Algorithm to Digital Circuit

01 Aug 2008 00:00:00 GMT

(image) From Algorithm to Digital Circuit

By Coussy, Philippe Morawiec, Adam

£63.99   01 Aug 2008   Hardback   Springer