Computing
Results 8601 - 8620 of 11256
Computing
Hardback. Contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. This title describes ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity. Editor(s): Jones, Robert B. Num Pages: 151 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 930.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 151
- Condition
- New
- SKU
- V9781402071034
- ISBN
- 9781402071034
Hardback
Condition: New
€ 126.41
€ 126.41
Hardback. Explores the area of computational media aesthetics. This book outlines strategic means and methods to derive high-level semantic constructs from automatic analysis of media. It is suitable as a text in courses on multimedia and informational retrieval. Editor(s): Dorai, Chitra; Venkatesh, Sventha. Series: The International Series in Video Computing. Num Pages: 198 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 4
- Number of pages
- 198
- Condition
- New
- SKU
- V9781402071027
- ISBN
- 9781402071027
Hardback
Condition: New
€ 126.22
€ 126.22
Hardback. Including design reuse of the Alpha CPU in 0.13 micron SOI technology, this title helps to improve some of the practices in chip design. It offers a comprehensive reference work on Automatic Layout Modification which can be useful to VLSI courses at universities, and to CAD and circuit engineers and engineering managers. Num Pages: 226 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 226
- Condition
- New
- SKU
- V9781402070914
- ISBN
- 9781402070914
Hardback
Condition: New
€ 127.82
€ 127.82
Hardback. Describes a fresh approach to graceful degradation in the face of network heterogeneity - distributed adaptation - in which adaptive code is deployed at multiple points within a network. This work introduces new techniques that enable distributed adaptation, making it automatic, reliable, and secure. It also presents evidence using case studies. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9781402070877
- ISBN
- 9781402070877
Hardback
Condition: New
€ 128.00
€ 128.00
Hardback. Covers the methods for modeling and analyzing IC interconnect and offers coverage of delay metrics, including the ubiquitous Elmore delay and its many variations. This book outlines moment matching methods, calculating moments efficiently, and Krylov subspace methods for model order reduction. Num Pages: 310 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 310
- Condition
- New
- SKU
- V9781402070754
- ISBN
- 9781402070754
Hardback
Condition: New
€ 193.33
€ 193.33
Hardback. Suitable for both academic and professional researchers working in the areas of multimedia security, information embedding, and communication, this book addresses watermarking problems in terms of second-generation insights. It provides an overview of important results on capacity and security. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 182 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 12. Weight in Grams: 471.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9781402070716
- ISBN
- 9781402070716
Hardback
Condition: New
€ 123.48
€ 123.48
hardcover. Offers an analysis of asynchronous circuit family. This book covers circuit theory, practical circuits, design tools and includes an example of the design of a simple asynchronous microprocessor using the circuit family. It is useful to industrial and academic researcher working on high-speed VLSI systems. Num Pages: 232 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402070686
- ISBN
- 9781402070686
Hardback
Condition: New
€ 127.62
€ 127.62
Hardback. Provides a comprehensive review of both methodologies and applications of simulation and modeling. Here, the methodology section includes such topics as the philosophy of simulation, inverse problems in simulation, simulation model compilers, treatment of ill-defined systems, and a survey of simulation languages. Editor(s): Bekey, George A.; Kogan, Boris Y. Num Pages: 292 pages, biography. BIC Classification: GPFC; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 292
- Condition
- New
- SKU
- V9781402070624
- ISBN
- 9781402070624
Hardback
Condition: New
€ 193.22
€ 193.22
Hardback. Proposes the methodology and engineering environment CoMoMAS for the development of multi-agent systems. This book is suitable for researchers and practitioners in the area of distributed systems development. Series: Multiagent Systems, Artificial Societies, and Simulated Organizations. Num Pages: 265 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 900.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 265
- Condition
- New
- SKU
- V9781402070617
- ISBN
- 9781402070617
Hardback
Condition: New
€ 126.21
€ 126.21
Hardback. As voice communications are substituted by data communications, software - rather than terminals or networks - has become the driver of the wireless industry. This book looks at the specialization of services, benefits of the mobile Internet, controversial license auctions in several lead markets, dated or mistaken regulatory policies, and more. Editor(s): Steinbock, Dan; Noam, Eli M. Num Pages: 231 pages, biography. BIC Classification: KNTX; TJKR; UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 231
- Condition
- New
- SKU
- V9781402070563
- ISBN
- 9781402070563
Hardback
Condition: New
€ 127.57
€ 127.57
Hardback. Describes the paradigm that is used in one-pass synthesis. This book discusses the theoretical and practical aspects and gives minimization algorithms. Num Pages: 182 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9781402070440
- ISBN
- 9781402070440
Hardback
Condition: New
€ 126.70
€ 126.70
Hardback. Failures of system components, can be viewed as undesirable events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. This work explores significant issues in all three strands. Editor(s): Ezhilchelvan, Paul; Romanovsky, Alexander. Num Pages: 310 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 310
- Condition
- New
- SKU
- V9781402070433
- ISBN
- 9781402070433
Hardback
Condition: New
€ 193.54
€ 193.54
Hardback. Provides a forum for original research results, practical experiences, and ideas in database and application security. This volume covers a variety of topics related to security and privacy of information in systems and applications, including: access control models; role and constraint-based access control; distributed systems; and more. Editor(s): Olivier, Martin S.; Spooner, David L. Series: IFIP Advances in Information and Communication Technology. Num Pages: 345 pages, biography. BIC Classification: UN; URY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 345
- Condition
- New
- SKU
- V9781402070419
- ISBN
- 9781402070419
Hardback
Condition: New
€ 129.92
€ 129.92
Hardback. Contains a collection of papers providing a snapshot of hardware support for Java. This book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently. Editor(s): Narayanan, Vijaykrishnan; Wolczko, Mario L. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 252 pages, biography. BIC Classification: UMW; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781402070341
- ISBN
- 9781402070341
Hardback
Condition: New
€ 128.47
€ 128.47
Hardback. Deals with the study of optical crosstalk in WDM crossconnected networks. This book presents a framework to analyze crosstalk efficiently and accurately. It also presents several techniques to estimate the effect of interferometric crosstalk in optical WDM systems. It elaborates experimental verifications of the proposed models. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 219 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9781402070266
- ISBN
- 9781402070266
Hardback
Condition: New
€ 127.36
€ 127.36
Hardback. Contains selected articles from PRO-VE'02, the third working conference on Infrastructures for Virtual Enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Sesimbra, Portugal in May 2002. Editor(s): Camarinha-Matos, Luis M. Series: IFIP Advances in Information and Communication Technology. Num Pages: 648 pages, biography. BIC Classification: KJE; UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1083.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 648
- Condition
- New
- SKU
- V9781402070204
- ISBN
- 9781402070204
Hardback
Condition: New
€ 190.82
€ 190.82
Hardback. Outlines packaged software class libraries to enable researchers to find cost-effective and efficient methods of getting problems coded into the computer, or into a modeling language package or into optimizing solvers - hence providing software coding solutions to whatever specialized needs a specific problem might require. Editor(s): Voss, Stefan; Woodruff, David L. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 370 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 703.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 370
- Condition
- New
- SKU
- V9781402070020
- ISBN
- 9781402070020
Hardback
Condition: New
€ 194.37
€ 194.37
Hardback. Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI '2004 13-16 January 2004, Funchal, Isle of Madeira Editor(s): Jacob, Robert J. K. (Tufts University); Limbourg, Quentin; Vanderdonckt, Jean. Num Pages: 374 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 374
- Condition
- New
- SKU
- V9781402031458
- ISBN
- 9781402031458
Hardback
Condition: New
€ 245.43
€ 245.43
Spoken Multimodal Human-Computer Dialogue in Mobile Environments
. Ed(S): Minker, Wolfgang; Buhler, Dirk; Dybk...
Hardback. Combines overview chapters of key areas in spoken multimodal dialogue (systems and components, architectures, and evaluation) with chapters focused on particular applications or problems in the field. This title focuses on the influence of the environment when building and evaluating an application. Editor(s): Minker, Wolfgang; Buhler, Dirk; Dybkjaer, Laila. Series: Text, Speech and Language Technology. Num Pages: 434 pages, biography. BIC Classification: UT; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 1730.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 434
- Condition
- New
- SKU
- V9781402030734
- ISBN
- 9781402030734
Hardback
Condition: New
€ 193.51
€ 193.51
Artificial Intelligence Methods and Tools for Systems Biology
. Ed(S): Dubitzky, Werner; Azuaje, Francisco
Paperback. Provides a design blueprint, user guide, research agenda, and communication platform for future developments in artificial intelligence (AI) approaches to systems biology. This book places an emphasis on the molecular dimension of life phenomena and in one chapter on anatomical and functional modeling of the brain. Editor(s): Dubitzky, Werner; Azuaje, Francisco. Series: Computational Biology. Num Pages: 238 pages, biography. BIC Classification: PS; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 238
- Condition
- New
- SKU
- V9781402029592
- ISBN
- 9781402029592
Paperback
Condition: New
€ 124.07
€ 124.07