Computer science
Results 12457 - 12480 of 16990
Computer science
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
€ 190.44
€ 190.44
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
€ 127.09
€ 127.09
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
€ 125.50
€ 125.50
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.82
€ 125.82
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
€ 126.30
€ 126.30
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
€ 195.21
€ 195.21
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
€ 128.61
€ 128.61
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
€ 190.27
€ 190.27
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
€ 126.30
€ 126.30
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.77
€ 126.77
hardcover. Provides different theoretical framework that permits a systematic analysis of the dynamic properties of motion perception. This framework uses dynamic neural fields as a key mathematical concept. This book demonstrates how neural fields can be applied for the analysis of perceptual phenomena and its underlying neural processes. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 276 pages, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer United States
- Edition
- 1999th Edition
- Number of pages
- 276
- Condition
- New
- SKU
- V9780792383000
- ISBN
- 9780792383000
Hardback
Condition: New
€ 127.72
€ 127.72
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
€ 192.91
€ 192.91
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
€ 189.85
€ 189.85
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.67
€ 128.67
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
€ 192.85
€ 192.85
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
€ 194.81
€ 194.81
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
€ 244.55
€ 244.55
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
€ 190.90
€ 190.90
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
€ 126.40
€ 126.40
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
€ 190.27
€ 190.27
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
€ 190.12
€ 190.12
Hardback. The Verilog hardware description language provides the ability to describe digital and analog systems for design concepts and implementation. It was developed originally at Gateway Design and implemented there. This book introduces the language and describes that features of the language using semantic introduction, syntax and examples. Num Pages: 464 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1900.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 464
- Condition
- New
- SKU
- V9780792381884
- ISBN
- 9780792381884
Hardback
Condition: New
€ 201.48
€ 201.48
Hardback. The term neuromorphic expresses relations to computational models found in biological neural systems, which are used as inspiration for building large electronic systems in silicon. This title views developments within neuromorphic engineering from different perspectives. It provides neuromorphic systems descriptions with foundations in silicon. Editor(s): Lande, Tor Sverre. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 479 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 26. Weight in Grams: 851.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9780792381587
- ISBN
- 9780792381587
Hardback
Condition: New
€ 195.13
€ 195.13
Hardback. Surveys extended logic programming and shows how this language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 143 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 143
- Condition
- New
- SKU
- V9780792381426
- ISBN
- 9780792381426
Hardback
Condition: New
€ 125.45
€ 125.45