.png){kind=logo}
Computer science
Results 15553 - 15576 of 16602
Computer science
Design and Analysis of Distributed Embedded Systems
. Ed(S): Kleinjohann, Bernd; Kim, K.H.; Klein...
Hardback. Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication. Editor(s): Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim. Series: IFIP Advances in Information and Communication Technology. Num Pages: 298 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9781402071560
- ISBN
- 9781402071560
Hardback
Condition: New
€ 199.94
€ 199.94
Hardback. Contains a collection of invited, peer-reviewed papers that each highlights a particular system, language, model or paradigm from one of the computational disciplines, aimed at researchers and practitioners from the other fields. Editor(s): Nielsen, Soren. Series: Advances in Computational Economics. Num Pages: 460 pages, biography. BIC Classification: KC; PBUD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 460
- Condition
- New
- SKU
- V9781402071393
- ISBN
- 9781402071393
Hardback
Condition: New
€ 203.39
€ 203.39
Hardback. Embedded software timing, power and communication are typically not unique but occur in intervals which result from data dependent behavior, environment timing and target system properties. This title introduces an approach to timing, power, and communication analysis of embedded software processes. Num Pages: 190 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2
- Number of pages
- 190
- Condition
- New
- SKU
- V9781402071355
- ISBN
- 9781402071355
Hardback
Condition: New
€ 131.82
€ 131.82
Hardback. Talks about test resource partitioning and optimization techniques for plug-and-play system-on-a-chip (SOC) test automation. This book aims to position test resource partitioning in the context of SOC test automation. It presents various techniques for the partitioning and optimization of the three major SOC test resources. Series: Frontiers in Electronic Testing. Num Pages: 244 pages, biography. BIC Classification: TJFD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 244
- Condition
- New
- SKU
- V9781402071195
- ISBN
- 9781402071195
Hardback
Condition: New
€ 132.53
€ 132.53
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
€ 130.88
€ 130.88
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
€ 132.02
€ 132.02
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
€ 132.41
€ 132.41
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
€ 132.74
€ 132.74
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
€ 200.33
€ 200.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
€ 127.90
€ 127.90
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
€ 132.14
€ 132.14
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
€ 130.74
€ 130.74
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
€ 131.39
€ 131.39
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
€ 133.08
€ 133.08
Hardback. This book warns of the threats and vulnerabilities facing our privacy, identity, trust, security and inclusion in the rapidly approaching world of ambient intelligence (AmI). It contains realistic scenarios that demonstrate the threats of an AmI-world. Editor(s): Wright, David; Gutwirth, Serge; Friedewald, Michael; Vildjiounaite, Elena; Punie, Yves. Series: The International Library of Ethics, Law and Technology. Num Pages: 326 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 160 x 25. Weight in Grams: 628.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9781402066610
- ISBN
- 9781402066610
Hardback
Condition: New
€ 200.31
€ 200.31
Hardback. Adheres to the vision that in the future compelling user experiences will be key differentiating benefits of products and services. This book gathers a group of invited authors from different backgrounds, such as technology, academy and business to assess user experience, covering the range from academic research to commercial propositions. Editor(s): Westerink, Joyce H.D.M.; Ouwerkerk, Martin; Overbeek, Therese J.M.; Pasveer, W. Frank; Ruyter, Boris de. Series: Philips Research Book Series. Num Pages: 246 pages, biography. BIC Classification: UKN; UYQ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 561.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9781402065927
- ISBN
- 9781402065927
Hardback
Condition: New
€ 128.48
€ 128.48
Hardback. The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Using a visionary approach, this book analyzes design methodology and verification methodology, a number of deficiencies are identified and solutions suggested. Num Pages: 166 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 980.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 166
- Condition
- New
- SKU
- V9781402065354
- ISBN
- 9781402065354
Hardback
Condition: New
€ 131.22
€ 131.22
Hardback. Proceedings of the NATO Advanced Study Institute on Magnetic Nanostructures for Micro-Electromechanical Systems and Spintronic Applications, Catona, Italy, 2 - 15 July 2006 Editor(s): Azzerboni, B.; Asti, G. (Dipt. di Fisica, Universita di Parma, Italy); Pareti, L.; Ghidini, M. Series: NATO Security Through Science Series B (Closed). Num Pages: 345 pages, biography. BIC Classification: TBN; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 345
- Condition
- New
- SKU
- V9781402063367
- ISBN
- 9781402063367
Hardback
Condition: New
€ 201.04
€ 201.04
Hardback. Offers students at all levels a description of linear, nonlinear, time-invariant, and time-varying electronic continuous-time systems. This title covers the major foundations of the systems theory. Series: Signals and Communication Technology. Num Pages: 640 pages, biography. BIC Classification: GPFC; THR; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 34. Weight in Grams: 1094.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 640
- Condition
- New
- SKU
- V9781402062711
- ISBN
- 9781402062711
Hardback
Condition: New
€ 253.54
€ 253.54
Next Generation Design and Verification Methodologies for Distributed ...
. Ed(S): Ramesh, S.; Sampath, P.
Hardback. Presents the proceedings of a workshop organized by General Motors research and development laboratory in Bangalore, India. This title coveres various areas of embedded systems development. Editor(s): Ramesh, S.; Sampath, P. Num Pages: 300 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 300
- Condition
- New
- SKU
- V9781402062537
- ISBN
- 9781402062537
Hardback
Condition: New
€ 200.31
€ 200.31
Hardback. Offers an understanding of concepts and practices behind the composition of heterogeneous components. This book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Num Pages: 148 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 148
- Condition
- New
- SKU
- V9781402061516
- ISBN
- 9781402061516
Hardback
Condition: New
€ 130.76
€ 130.76
Hardback. Editor(s): Valavanis, Kimon P. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 568 pages, biography. BIC Classification: PBW; TJFM1; TRC; UYQ. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 167 x 41. Weight in Grams: 1102.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 568
- Condition
- New
- SKU
- V9781402061134
- ISBN
- 9781402061134
Hardback
Condition: New
€ 198.46
€ 198.46
Hardback. Provides a comprehensive study of the field Reconfigurable Computing. This book provides an entry point to the novice willing to move in the research field reconfigurable computing, FPGA and system on programmable chip design. It can also be used as teaching reference for a graduate course in computer engineering. Num Pages: 359 pages, biography. BIC Classification: TJFC; UKR; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9781402060885
- ISBN
- 9781402060885
Hardback
Condition: New
€ 129.66
€ 129.66
Hardback. Series: Theory and Decision Library B. Num Pages: 372 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1590.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 372
- Condition
- New
- SKU
- V9781402056949
- ISBN
- 9781402056949
Hardback
Condition: New
€ 201.58
€ 201.58