Computing
Results 5041 - 5064 of 11026
Computing
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. 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
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. 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
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. 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
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. 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. Geographic information systems have developed rapidly, and are a major class of software, with applications that include infrastructure maintenance, resource management, agriculture, Earth science, and planning. This book tells about efforts to improve the ability of GISs to interoperate. Editor(s): Egenhofer, Max J.; Fegeas, Robin; Kottman, Cliff. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 509 pages, biography. BIC Classification: RGW; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 2040.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 509
- Condition
- New
- SKU
- V9780792384366
- ISBN
- 9780792384366
Hardback
Condition: New
€ 256.59
€ 256.59
Hardback. Contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects, which was held in Timmel, Germany. This work serves as a reference, providing insight into some of the most challenging research issues in the field. Editor(s): Polle, Torsten; etc. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 194 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 459.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 194
- Condition
- New
- SKU
- V9780792384502
- ISBN
- 9780792384502
Hardback
Condition: New
€ 126.93
€ 126.93
Hardback. Presents the state-of-practice and research in the area of software architecture. This book details critical problems and their possible solutions in the field and identifies the gaps between business needs and research results and attempts to provide a bridge between them. Editor(s): Donohoe, Patrick. Series: IFIP Advances in Information and Communication Technology. Num Pages: 616 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 1039.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 616
- Condition
- New
- SKU
- V9780792384533
- ISBN
- 9780792384533
Hardback
Condition: New
€ 244.43
€ 244.43
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. With the rapid growth in internet and www facilities, database security will always be a key topic in business and in the public sector and has implications for the whole of society. This book covers issues related to security and privacy of information in a range of applications, including: electronic commerce; workflow; privacy; and, mediation. Editor(s): Jajodia, Sushil. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UN; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792384885
- ISBN
- 9780792384885
Hardback
Condition: New
€ 193.33
€ 193.33
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. Microelectronics and Computer Technology Corporation and its member companies carried out a study in 1997 to investigate the advances in technologies for annotating and manipulating large-scale networks of multimedia information objects with content-based concepts. This book documents the study's technology assessment and identifies shortcomings. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 143 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 890.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 143
- Condition
- New
- SKU
- V9780792384953
- ISBN
- 9780792384953
Hardback
Condition: New
€ 126.15
€ 126.15
Hardback. Offers a presentation of a repertoire of computer simulation techniques available to the modelers of dynamic systems. This book includes a description of various essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, program and exploit their own computer simulation models. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 258 pages, biography. BIC Classification: GPFC; UGK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 258
- Condition
- New
- SKU
- V9780792385066
- ISBN
- 9780792385066
Hardback
Condition: New
€ 274.46
€ 274.46
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
Hardback. Intends to explore techniques for implementing wireless receivers in a complementary metal-oxide-semiconductor (CMOS) technology. This work focuses on the Global Positioning System (GPS). It is suitable for professional radio engineers, circuit designers, professors and students engaged in integrated radio research. Num Pages: 220 pages, biography. BIC Classification: TJF; UKS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 493.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792385189
- ISBN
- 9780792385189
Hardback
Condition: New
€ 125.91
€ 125.91
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