Computer science
Results 1489 - 1512 of 3573
Computer science
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
€ 126.68
€ 126.68
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
€ 126.36
€ 126.36
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.95
€ 127.95
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
€ 191.74
€ 191.74
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
€ 194.44
€ 194.44
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
€ 192.58
€ 192.58
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
Hardback. Optical character recognition (OCR) is the most prominent and successful example of pattern recognition to date. This title offers a perspective on the performance of the OCR systems by illustrating and explaining actual OCR errors. It provides insights into the strengths and weaknesses of the OCR systems, and a road map to future progress. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 196 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 12. Weight in Grams: 1280.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- large print ed annotated ed
- Number of pages
- 196
- Condition
- New
- SKU
- V9780792384922
- ISBN
- 9780792384922
Hardback
Condition: New
€ 192.63
€ 192.63
Hardback. Provides an introduction to numerous algorithmic, architectural and system design aspects of the multimedia standard MPEG-4. This book is suitable for researchers, students and practitioners working in image processing, video coding or system and VLSI design. Num Pages: 240 pages, biography. BIC Classification: TJKV; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 240
- Condition
- New
- SKU
- V9780792385165
- ISBN
- 9780792385165
Hardback
Condition: New
€ 128.00
€ 128.00
Hardback. Introduces a fresh approach to knowledge representation that can be used to organize study material in a convenient, teachable and learnable form. This book is suitable for teachers, courseware designers and researchers in knowledge representation, cognitive science, theories of learning, the psychology of education, and structural modeling. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 279 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1310.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 279
- Condition
- New
- SKU
- V9780792385172
- ISBN
- 9780792385172
Hardback
Condition: New
€ 192.85
€ 192.85
Fuzzy Models and Algorithms for Pattern Recognition and Image Processi...
Bezdek, James C.; Keller, James; Krisnapuram,...
Hardback. This study introduces the use of fuzzy models in pattern recognition and selected topics in image processing and computer vision. The main topics are clustering and classifier design, with extensive material on feature analysis relational clustering, image processing and computer vision. Series: The Handbooks of Fuzzy Sets. Num Pages: 776 pages, biography. BIC Classification: PBWX; UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 42. Weight in Grams: 1282.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 776
- Condition
- New
- SKU
- V9780792385219
- ISBN
- 9780792385219
Hardback
Condition: New
€ 363.43
€ 363.43
Hardback. Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirement which faces system engineers building distributed information systems. This work focuses on the techniques available for constructing reliable and maintainable interoperable information systems. Editor(s): Kutvonen, Lea; etc. Series: IFIP Advances in Information and Communication Technology. Num Pages: 472 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 472
- Condition
- New
- SKU
- V9780792385271
- ISBN
- 9780792385271
Hardback
Condition: New
€ 196.35
€ 196.35
Hardback. Advocates the viability of using fuzzy and annealing methods in solving scheduling problems for parallel computing systems. This book proposes fresh techniques for both static and dynamic scheduling, using emerging paradigms that are inspired by natural phenomena such as fuzzy logic, mean-field annealing, and simulated annealing. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 183 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 980.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 183
- Condition
- New
- SKU
- V9780792385332
- ISBN
- 9780792385332
Hardback
Condition: New
€ 188.45
€ 188.45
Hardback. Describes various attempts to create practical and flexible machine conversation - ways of talking to computers in an unrestricted version of English or some other language. This book is for those interested in computational linguistics, cognitive science, natural language processing, artificial intelligence, and human computer interfaces. Editor(s): Wilks, Yorick. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 221 pages, biography. BIC Classification: UYQL; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 221
- Condition
- New
- SKU
- V9780792385448
- ISBN
- 9780792385448
Hardback
Condition: New
€ 191.62
€ 191.62
Hardback. Combines models of adaptive information processing in the brain with advances in microelectronics technology and circuit design. This book features five parts: adaptive sensory systems, neuromorphic learning, learning architectures, learning dynamics, and learning systems. It is intended as a reference for beginners and experienced researchers. Editor(s): Cauwenberghs, Gert; Bayoumi, Magdy A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 426 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 25. Weight in Grams: 802.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 426
- Condition
- New
- SKU
- V9780792385554
- ISBN
- 9780792385554
Hardback
Condition: New
€ 195.77
€ 195.77
Hardback. Investigates the problem of automatic natural language understanding in a spoken language dialog system. This book focusses on the design of a stochastic parser and its evaluation with respect to a conventional rule-based method. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 238 pages, biography. BIC Classification: UYQL; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 238
- Condition
- New
- SKU
- V9780792385714
- ISBN
- 9780792385714
Hardback
Condition: New
€ 127.82
€ 127.82
Hardback. Offers a framework to design and analyze strategies for randomized quasi-Monte Carlo (RQMC). This book provides illustrations for problems involving Poisson processes or Gaussian processes. It is useful for those individuals interested in improving simulation efficiency with more than incremental increases. Series: International Series in Operations Research & Management Science. Num Pages: 368 pages, biography. BIC Classification: PBT; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 368
- Condition
- New
- SKU
- V9780792385806
- ISBN
- 9780792385806
Hardback
Condition: New
€ 195.08
€ 195.08
Hardback. The recent IPMU Conference held in La Sorbonne in Paris brought together some of the world's leading experts in uncertainty and information fusion. This volume includes a selection of papers from this conference. It also attempts to bring the reader some of the advances in information, uncertainty, and fusion. Editor(s): Bouchon-Meunier, Bernadette; Yager, Ronald R.; Zadeh, Lotfi A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 470 pages, biography. BIC Classification: PBWX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780792385905
- ISBN
- 9780792385905
Hardback
Condition: New
€ 130.72
€ 130.72
Hardback. Mobile Data Management and Applications brings together in one place important contributions and up-to-date research results in this fast moving area.
Mobile Data Management and Applications serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Editor(s): Jin, Jing; Joshi, Anupam. Num Pages: 118 pages, biography. BIC Classification: UDB; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 6. Weight in Grams: 410.
Mobile Data Management and Applications serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Editor(s): Jin, Jing; Joshi, Anupam. Num Pages: 118 pages, biography. BIC Classification: UDB; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 6. Weight in Grams: 410.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from DISTRIBUTED AND PARALLEL DATABASES
- Number of pages
- 118
- Condition
- New
- SKU
- V9780792385967
- ISBN
- 9780792385967
Hardback
Condition: New
€ 123.08
€ 123.08
Hardback. Presents a systematic approach to the design and analysis of vision chips using analog VLSL. This book presents algorithmic level implementation issues. It reviews the VLSI technologies and general analog VLSI design methodologies, in the context of suitability for vision chips. It is intended for researchers in this area. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 300 pages, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 300
- Condition
- New
- SKU
- V9780792386643
- ISBN
- 9780792386643
Hardback
Condition: New
€ 246.66
€ 246.66
Hardback. Provides the engineering community with an understanding of the challenges involved when moving to system-on-a-chip and delivers a methodology to get them there. This book deals with the platform-based approach to the design of embedded systems and is a stepping stone for those interested in the issues facing the design of complex systems-on-chip. Num Pages: 236 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 236
- Condition
- New
- SKU
- V9780792386797
- ISBN
- 9780792386797
Hardback
Condition: New
€ 126.56
€ 126.56
Hardback. Represents a theoretical and computer-based methodology for system informational description and improvement, including various activities in such interdisciplinary areas as thinking, intelligent processes, management, and other nonphysical subjects with their mutual interactions, and the information transferred between interactions. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 305 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9780792386834
- ISBN
- 9780792386834
Hardback
Condition: New
€ 193.59
€ 193.59
Hardback. Provides an overview of wireless communication systems, followed by a treatment of related topics such as the mobile radio, digital modulation and schemes, spread spectrum and receiver architectures. This book also deals with VLSI design issues related to mixed-signal design. Num Pages: 348 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 348
- Condition
- New
- SKU
- V9780792386872
- ISBN
- 9780792386872
Hardback
Condition: New
€ 193.97
€ 193.97