Computer science
Results 1441 - 1464 of 3418
Computer science
Hardback. Discusses aspects of Binary Decision Diagrams (BDDs) with respect to minimization and implementation of a package. This book is intended for newcomers to Binary Decision Diagrams (BDDs) and for researchers and practitioners who need to implement them. Num Pages: 200 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 15. Weight in Grams: 1090.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9780792381938
- ISBN
- 9780792381938
Hardback
Condition: New
€ 189.15
€ 189.15
Hardback. Research suggests that information can be represented by the location of an activity spot in a population of cells, place coding, and that this information can be processed by means of networks of interconnections. This text defines a representation convention intended for analog-integrated design. Num Pages: 227 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 227
- Condition
- New
- SKU
- V9780792381945
- ISBN
- 9780792381945
Hardback
Condition: New
€ 189.28
€ 189.28
Hardback. Focuses on the development of a design and evaluation tool, named RIPE (Rensselaer Interconnect Performance Estimator). This book contains a discussion of the various models and the underlying assumptions based on actual design practices. Num Pages: 195 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 195
- Condition
- New
- SKU
- V9780792382140
- ISBN
- 9780792382140
Hardback
Condition: New
€ 125.75
€ 125.75
Hardback. This text describes circuit strategies resulting in efficient and functional adaptive resonance theory (ART) hardware systems. ART algorithms have been developed in software by their creators, this book addresses efficient VLSI design of ART systems. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 257 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 257
- Condition
- New
- SKU
- V9780792382317
- ISBN
- 9780792382317
Hardback
Condition: New
€ 189.92
€ 189.92
Hardback. Introduces the theories and applications of timed Petri nets systematically. This book also presents many practical applications in addition to theoretical developments, together with the research results and industrial applications of timed Petri nets. It is intended for use by those who are involved in the area of Discrete Event Dynamic Systems. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 281 pages, biography. BIC Classification: GPFC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9780792382706
- ISBN
- 9780792382706
Hardback
Condition: New
€ 243.28
€ 243.28
Hardback. Silicon-On-Insulator (SOI) CMOS technology has been regarded as another major technology for VLSI in addition to bulk CMOS technology. This book addresses three key factors in engineering SOI CMOS VLSI - processing technology, device modelling, and circuit designs are all covered with their mutual interactions. Num Pages: 422 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 422
- Condition
- New
- SKU
- V9780792382720
- ISBN
- 9780792382720
Hardback
Condition: New
€ 193.81
€ 193.81
Hardback. Grants the reader an overview of the in system-level memory management (data transfer and storage) related issues for complex data-dominated real-time signal and data processing applications. This book introduces the author's own system-level data transfer and storage exploration methodology for data-dominated video applications. Num Pages: 344 pages, biography. BIC Classification: T; UL; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 344
- Condition
- New
- SKU
- V9780792382881
- ISBN
- 9780792382881
Hardback
Condition: New
€ 191.86
€ 191.86
Hardback. This text presents a unified methodology for designing modular neural networks. A family of online algorithms for time series classification, prediction and identification are developed; and a rigorous mathematical analysis of their properties is provided. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 325 pages, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 325
- Condition
- New
- SKU
- V9780792382904
- ISBN
- 9780792382904
Hardback
Condition: New
€ 128.01
€ 128.01
Hardback. Presents a selection of existing delay testing research results. This book combines introductory material with techniques that address some of the problems in delay testing. It covers some basic topics such as fault modeling and test application schemes for detecting delay defects. Series: Frontiers in Electronic Testing. Num Pages: 203 pages, biography. BIC Classification: TJFD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 203
- Condition
- New
- SKU
- V9780792382959
- ISBN
- 9780792382959
Hardback
Condition: New
€ 188.88
€ 188.88
hardcover. An introduction to the different tasks of hardware/software co-design including system specification, hardware/software partitioning, co-synthesis and co-simulation. The book summarizes and classifies state-of-the-art co-design tools and methods for these tasks. Num Pages: 224 pages, biography. BIC Classification: T; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 254 x 178 x 15. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1998th Edition
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792382997
- ISBN
- 9780792382997
Hardback
Condition: New
€ 191.91
€ 191.91
Hardback. Presents a description methodology that was inspired by Timing Diagrams and Process Algebras, the so-called Hierarchical Annotated Diagrams. This book is intended for those who are involved in defining methods and tools for system-level design specification and verification. Num Pages: 211 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 211
- Condition
- New
- SKU
- V9780792383017
- ISBN
- 9780792383017
Hardback
Condition: New
€ 126.11
€ 126.11
Hardback. Describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with reference to performance parameters such as power and area. This book presents a unified approach to performance analysis and optimization of sequential circuits. It discusses the state of the art in timing analysis and optimization techniques. Num Pages: 190 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 12. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 190
- Condition
- New
- SKU
- V9780792383215
- ISBN
- 9780792383215
Hardback
Condition: New
€ 125.66
€ 125.66
Hardback. Digital image compression is used to reduce the number of bits required to store an image in computer memory and transmit it over a communication link. This title investigates application of parallel-processing techniques to digital image compression. It offers an understanding of digital image techniques and parallel computer architectures. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 202 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 202
- Condition
- New
- SKU
- V9780792383222
- ISBN
- 9780792383222
Hardback
Condition: New
€ 189.28
€ 189.28
Hardback. This work introduces functional networks, showing that functional network architectures can be applied to solve many practical problems. It includes an introduction to neural networks, a description of functional networks, applications, and computer programs in Mathematica and Java languages. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 320 pages, biography. BIC Classification: UYQN. Category: (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9780792383321
- ISBN
- 9780792383321
Hardback
Condition: New
€ 127.96
€ 127.96
Hardback. Major advances in computing are occurring at an ever-increasing pace. This is especially so in the area of high performance computing (HPC), where today's supercomputer is tomorrow's workstation. This book is a record of HPCS'98, the 12th annual Symposium on High Performance Computing Systems and Applications. Editor(s): Schaeffer, Jonathan. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 464 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 26. Weight in Grams: 857.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 464
- Condition
- New
- SKU
- V9780792383406
- ISBN
- 9780792383406
Hardback
Condition: New
€ 194.21
€ 194.21
Hardback. This text is designed for researchers and graduate students who wish to understand the research issues involved in memory system optimization and exploration for embedded systems-on-chip and designers of embedded systems. Num Pages: 188 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 188
- Condition
- New
- SKU
- V9780792383628
- ISBN
- 9780792383628
Hardback
Condition: New
€ 125.66
€ 125.66
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda; Pandey, Sheetanshu L...
Hardback. Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792383758
- ISBN
- 9780792383758
Hardback
Condition: New
€ 125.18
€ 125.18
Hardback. Embedded systems are characterized by the presence of processors running application-specific software. To design these systems, sophisticated timing analysis tools are needed to accurately determine the extreme case performance of the software components. This title presents a timing analysis technique to overcome the above limitations. Num Pages: 146 pages, biography. BIC Classification: TJFC; UY. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 415.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 146
- Condition
- New
- SKU
- V9780792383826
- ISBN
- 9780792383826
Hardback
Condition: New
€ 124.86
€ 124.86
Hardback. Presents second generation surveillance systems that automatically process large sets of signals for performance monitoring tasks. This book includes coverage of different architecture designs, customization of surveillance architecture for end-users, advances in the processing of imaging sequences, security systems, and sensors. Editor(s): Regazzoni, Carlo S.; Fabri, Gianni (Italtel S.P.A, Milano, Italy); Vernazza, Gianni. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 223 pages, biography. BIC Classification: TNKS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 234 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 223
- Condition
- New
- SKU
- V9780792383925
- ISBN
- 9780792383925
Hardback
Condition: New
€ 126.44
€ 126.44
Hardback. In knowledge-based natural language generation, issues of formal knowledge representation meet with the linguistic problems of choosing the most appropriate verbalization in a particular situation of utterance. This work presents a new approach to linking the realms of lexical semantics and knowledge represented in a description logic. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 219 pages, biography. BIC Classification: UYQE; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9780792384199
- ISBN
- 9780792384199
Hardback
Condition: New
€ 189.45
€ 189.45
Hardback. Covers the basic topics of switching theory and logic synthesis. This book includes topics such as multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks. This book is useful to CAD professionals and students at the advanced level. Num Pages: 362 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 362
- Condition
- New
- SKU
- V9780792384564
- ISBN
- 9780792384564
Hardback
Condition: New
€ 192.11
€ 192.11
Hardback. Addresses key issues in the design of high-performance FPGA architectures and CAD tools, with particular emphasis on issues that are important for FPGAs implemented in deep-submicron processes. This book is a useful reference for researchers, professionals, and students interested in FPGAs. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 247 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 164 x 237 x 23. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 247
- Condition
- New
- SKU
- V9780792384601
- ISBN
- 9780792384601
Hardback
Condition: New
€ 242.60
€ 242.60
Hardback. Provides a treatment of the implementation (i.e. microarchitecture) of computer architectures. This book offers a picture of caches, pipelines and their control, and branch prediction. It covers the fundamentals of the subject by outlining the general principles and ideas. It is suitable for advanced undergraduate or graduate level instruction. Num Pages: 266 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 266
- Condition
- New
- SKU
- V9780792384632
- ISBN
- 9780792384632
Hardback
Condition: New
€ 190.28
€ 190.28
Hardback. Covering Verilog Programming Language Interface, this book focusses on how to use PLI for problem solving. It covers both PLI 1.0 and PLI 2.0 and includes numerous examples. Num Pages: 372 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 372
- Condition
- New
- SKU
- V9780792384779
- ISBN
- 9780792384779
Hardback
Condition: New
€ 192.63
€ 192.63