Computing
Results 5981 - 6000 of 11029
Computing
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. Aims to bring together various contributions and the research results in the area of multimedia document systems in perspectives. This book serves as a reference, providing insights into various research issues in the field. Editor(s): Liu, Peiya; Ghafoor, Arif. Num Pages: 166 pages, biography. BIC Classification: UG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 11. Weight in Grams: 930.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 166
- Condition
- New
- SKU
- V9780792384168
- ISBN
- 9780792384168
Hardback
Condition: New
€ 126.41
€ 126.41
Hardback. Presents the results of the Esprit Wide project on database support for workflow management. This book discusses combining database management and workflow management technology, especially in the areas of transaction and exception management. Editor(s): Grefen, Paul; etc. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 294 pages, biography. BIC Classification: KJ; UN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9780792384144
- ISBN
- 9780792384144
Hardback
Condition: New
€ 190.60
€ 190.60
hardcover. This collection of papers covers a wide spectrum of computational optimization topics, representing a blend of familiar nonlinear programming topics and such novel paradigms as semidefinite programming and complementarity-constrained nonlinear programs. Editor(s): Pang, John-Shi. Num Pages: 273 pages, biography. BIC Classification: KJT; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1999th Edition
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792384137
- ISBN
- 9780792384137
Hardback
Condition: New
€ 192.46
€ 192.46
Hardback. Brings together the important contributions and research results in the area. This book serves as a useful reference, providing insight into some of the challenging research issues in the field. Editor(s): Bouguettaya, Athman. Num Pages: 120 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 165 x 14. Weight in Grams: 346.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from DISTRIBUTED AND PARALLEL DATABASES
- Number of pages
- 120
- Condition
- New
- SKU
- V9780792384120
- ISBN
- 9780792384120
Hardback
Condition: New
€ 125.57
€ 125.57
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. 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. Provides algorithms for diverse routing to enhance the survivability of a network. This book considers the common mesh-type network and describes in detail the construction of physically disjoint paths algorithms for diverse routing. It is for practicing network designers and planners, researchers, professionals, instructors, and, students. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 200 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9780792383819
- ISBN
- 9780792383819
Hardback
Condition: New
€ 127.25
€ 127.25
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. Constraint Logic Programming (CLP) extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. This book presents parallel and constraint logic programming, offering a basic understanding of the two fields. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 145 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 145
- Condition
- New
- SKU
- V9780792383710
- ISBN
- 9780792383710
Hardback
Condition: New
€ 190.29
€ 190.29
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
€ 127.17
€ 127.17
Hardback. Discusses important aspects of document computing and recommends technologies for document management, with an emphasis on processes that are appropriate when computers are used to create, access, and publish documents. This book includes descriptions of the nature of documents, their components and structure, and how they can be represented. Series: The Information Retrieval Series. Num Pages: 215 pages, biography. BIC Classification: KJWF; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 215
- Condition
- New
- SKU
- V9780792383574
- ISBN
- 9780792383574
Hardback
Condition: New
€ 125.81
€ 125.81
Hardback. This work focuses on the various ways in which an intranet can be violated and gives a thorough review of the technologies that can be used by an organization to secure its intranet. This includes, for example, the security architecture SESAME, which builds on the Kerberos system. Num Pages: 244 pages, biography. BIC Classification: URY; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 559.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 244
- Condition
- New
- SKU
- V9780792383543
- ISBN
- 9780792383543
Hardback
Condition: New
€ 241.62
€ 241.62
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
€ 196.55
€ 196.55
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
€ 129.48
€ 129.48
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
€ 191.56
€ 191.56
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
€ 127.17
€ 127.17
Hardback. Addresses issues in scheduling and management of resources in an interactive continuous-media server. This book emphasizes dynamic and run-time strategies for resource scheduling and management. Such strategies provide effective tools for supporting interactivity with on-line users who require the system to be responsive in serving their requests. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 137 pages, biography. BIC Classification: UG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 880.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 137
- Condition
- New
- SKU
- V9780792383208
- ISBN
- 9780792383208
Hardback
Condition: New
€ 190.09
€ 190.09
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
€ 127.62
€ 127.62
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
€ 194.24
€ 194.24