Computer science
Results 5281 - 5304 of 16996
Computer science
Compilation and Synthesis for Embedded Reconfigurable Systems
. Ed(S): Cardoso, Joao Manuel Paiva; Diniz, P...
Paperback. Using an approach based on aspect-oriented programming, this book shows how designers can control sophisticated design tool chains, while maintaining a single application source code. Offers examples of applications from avionics and digital signal processing. Editor(s): Cardoso, Joao Manuel Paiva; Diniz, Pedro C.; de Figueiredo Coutinho, Jose Gabriel; Petrov, Zlatko Marinov. Num Pages: 215 pages, 23 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 215
- Condition
- New
- SKU
- V9781489988348
- ISBN
- 9781489988348
Paperback
Condition: New
€ 121.61
€ 121.61
Paperback. Editor(s): Ivanov, Ivan; Van Sinderen, Marten; Shishkov, Boris. Series: Service Science: Research and Innovations in the Service Economy. Num Pages: 408 pages, 15 black & white tables, biography. BIC Classification: KJT; KJU; TBC; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 408
- Condition
- New
- SKU
- V9781489988393
- ISBN
- 9781489988393
Paperback
Condition: New
€ 187.15
€ 187.15
High Quality Test Pattern Generation and Boolean Satisfiability
Eggersgluss, Stephan; Drechsler, Rolf
Paperback. This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework. Num Pages: 211 pages, 52 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 211
- Condition
- New
- SKU
- V9781489988478
- ISBN
- 9781489988478
Paperback
Condition: New
€ 143.72
€ 143.72
Paperback. Num Pages: 500 pages, 23 black & white tables, biography. BIC Classification: H; UNF; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 32. Weight in Grams: 744.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 500
- Condition
- New
- SKU
- V9781489988744
- ISBN
- 9781489988744
Paperback
Condition: New
€ 124.06
€ 124.06
paperback. Filling an important niche in the field, this book covers a range of aspects of social network data mining, including Structural Properties of Social Networks, Algorithms for Structural Discovery of Social Networks and Content Analysis in Social Networks. Editor(s): Aggarwal, Charu C. Num Pages: 516 pages, biography. BIC Classification: J; UNH; UT; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2011th Edition
- Number of pages
- 516
- Condition
- New
- SKU
- V9781489988935
- ISBN
- 9781489988935
Paperback
Condition: New
€ 187.14
€ 187.14
Paperback. This guide to timing constraints in integrated circuit design shows how to maximize performance of IC designs by specifying timing requirements correctly. Coverage includes such design aspects as synthesis, static timing analysis and placement and routing. Num Pages: 253 pages, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 253
- Condition
- New
- SKU
- V9781489989161
- ISBN
- 9781489989161
Paperback
Condition: New
€ 120.97
€ 120.97
Paperback. This book introduces new techniques for detecting and diagnosing small-delay defects in integrated circuits. It details effective and scalable methodologies for screening and diagnosing small-delay defects. Num Pages: 230 pages, 51 black & white tables, biography. BIC Classification: TDPB; TJFC; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 230
- Condition
- New
- SKU
- V9781489989529
- ISBN
- 9781489989529
Paperback
Condition: New
€ 143.72
€ 143.72
Paperback. This book focuses on a framework for web service mining that is inspired by molecular recognition and the drug discovery process. Known as a molecular based approach, the concept provides performance benchmarks for assessing web service mining algorithms. Num Pages: 152 pages, biography. BIC Classification: UMB; UNH; UYQ; UYQP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 244.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 152
- Condition
- New
- SKU
- V9781489989598
- ISBN
- 9781489989598
Paperback
Condition: New
€ 122.53
€ 122.53
Paperback. This book surveys theoretical computer science, presenting fundamental concepts and results. Updated and revised, the new edition includes two new chapters on nonuniform complexity, circuit complexity and parallel complexity, and randomized complexity. Series: Texts in Computer Science. Num Pages: 316 pages, biography. BIC Classification: UMB; UY. Category: (G) General (US: Trade). Dimension: 156 x 235 x 17. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 316
- Condition
- New
- SKU
- V9781489989710
- ISBN
- 9781489989710
Paperback
Condition: New
€ 112.14
€ 112.14
Paperback. Gathering papers from the 2011 conference Cognition and Exploratory Learning in the Digital Age (CELDA), this book covers informal and formal learning environments, social web technology for new knowledge representation, retrieval, creation and sharing in informal and formal settings. Editor(s): Sampson, Demetrios G.; Isaias, Pedro; Ifenthaler, Dirk; Spector, Michael. Num Pages: 294 pages, 33 black & white tables, biography. BIC Classification: JNT; JNV; UYZG; YQT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9781489989741
- ISBN
- 9781489989741
Paperback
Condition: New
€ 122.60
€ 122.60
Paperback. This book is about stability analysis and control design methodologies for a new class of systems, switched time-delay systems (STDs). Adopting a systematic and structured approach, the author presents an introductory, yet comprehensive, treatment of STDs. Num Pages: 453 pages, 23 black & white tables, biography. BIC Classification: PBW; TBJ; TJFC; TJFM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9781489989857
- ISBN
- 9781489989857
Paperback
Condition: New
€ 187.61
€ 187.61
Paperback. Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and GO/nonlinear programming, this unified treatment of optimization methods deals with all facets of the topic needed by students and practitioners. Series: International Series in Operations Research & Management Science. Num Pages: 642 pages, 30 black & white tables, biography. BIC Classification: KJT; PBU; PBWH; UMA; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 997.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 642
- Condition
- New
- SKU
- V9781489989949
- ISBN
- 9781489989949
Paperback
Condition: New
€ 67.73
€ 67.73
Paperback. Editor(s): Saeed, Khalid; Nagashima, Tomomasa. Num Pages: 288 pages, 15 black & white tables, biography. BIC Classification: UYQ; UYQP; UYT; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 288
- Condition
- New
- SKU
- V9781489989987
- ISBN
- 9781489989987
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Num Pages: 188 pages, biography. BIC Classification: TTBM; UYQ; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 297.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 188
- Condition
- New
- SKU
- V9781489990105
- ISBN
- 9781489990105
Paperback
Condition: New
€ 122.53
€ 122.53
Paperback. This book provides the foundations for understanding hardware security and trust. Coverage includes security and trust issues in all types of electronic devices and systems such as ASICs, COTS, FPGAs, microprocessors/DSPs and embedded systems. Editor(s): Tehranipoor, Mohammad; Wang, Cliff. Num Pages: 435 pages, 27 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 435
- Condition
- New
- SKU
- V9781489990365
- ISBN
- 9781489990365
Paperback
Condition: New
€ 145.05
€ 145.05
Paperback. Num Pages: 309 pages, 63 black & white tables, biography. BIC Classification: GPFC; TJFM; TJFM1; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 309
- Condition
- New
- SKU
- V9781489990594
- ISBN
- 9781489990594
Paperback
Condition: New
€ 122.45
€ 122.45
Paperback. Now in its second edition, this introduction to embedded systems design emphasizes the integration of custom hardware components with software. Includes new examples using modern FPGA environments from Xilinx and Altera, and many new exercises. Num Pages: 504 pages, 37 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 2013
- Number of pages
- 504
- Condition
- New
- SKU
- V9781489990600
- ISBN
- 9781489990600
Paperback
Condition: New
€ 113.50
€ 113.50
Paperback. This book presents advances in graph embedding theories, such as nonlinear manifold graph, linearization method, graph based subspace analysis, L1 graph, hypergraph, undirected graph and graph in vector spaces, and describes their real-world applications. Editor(s): Fu, Yun; Ma, Yunqian. Num Pages: 268 pages, 45 black & white tables, biography. BIC Classification: TJK; TTBM; UYQ; UYQP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9781489990624
- ISBN
- 9781489990624
Paperback
Condition: New
€ 122.08
€ 122.08
Paperback. Series: Mechanical Engineering Series. Num Pages: 424 pages, 3 black & white tables, biography. BIC Classification: TGB; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 424
- Condition
- New
- SKU
- V9781489990679
- ISBN
- 9781489990679
Paperback
Condition: New
€ 134.40
€ 134.40
Paperback. This book describes the emerging field of self-organizing, multicore, distributed and real-time embedded systems. Coverage includes such "Self-X" features as self-configuration, self-optimization, self-adaptation, self-healing and self-protection. Editor(s): Higuera-Toledano, M. Teresa; Brinkschulte, Uwe; Rettberg, Achim. Num Pages: 220 pages, 10 black & white tables, biography. BIC Classification: TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 220
- Condition
- New
- SKU
- V9781489990693
- ISBN
- 9781489990693
Paperback
Condition: New
€ 121.64
€ 121.64
Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and...
Wang, Weixun; Mishra, Prabhat; Ranka, Sanjay
paperback. This book describes the challenges in performing dynamic reconfigurations in real-time systems. It shows how to design efficient support architectures-including dynamic cache reconfiguration, hardware/software partitioning and task mapping and scheduling. Series: Embedded Systems. Num Pages: 240 pages, 28 black & white tables, biography. BIC Classification: TH; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2013th Edition
- Number of pages
- 240
- Condition
- New
- SKU
- V9781489990785
- ISBN
- 9781489990785
Paperback
Condition: New
€ 143.00
€ 143.00
paperback. Focusing on the next-generation DIBR-based 3D-TV system, this book on key technologies such as multiview video plus depth (MVD) and layered depth video (LDV) formatting examines content generation, coding and transmission, visualization and quality evaluation. Editor(s): Zhu, Ce; Zhao, Yin; Yu, Lu; Tanimoto, Masayuki. Num Pages: 492 pages, biography. BIC Classification: TTBM; UG; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 492
- Condition
- New
- SKU
- V9781489990969
- ISBN
- 9781489990969
Paperback
Condition: New
€ 187.53
€ 187.53
Paperback. This volume presents a comprehensive and in depth analysis of the progress of speech technology in the topical areas of mobile settings, healthcare and call centers. It addresses the technical aspects of voice technology within the framework of societal needs. Editor(s): Neustein, Amy. Num Pages: 395 pages, biography. BIC Classification: TTBM; UYQL; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 395
- Condition
- New
- SKU
- V9781489991232
- ISBN
- 9781489991232
Paperback
Condition: New
€ 187.03
€ 187.03
Paperback. This volume provides a logic-based reasoning component for spoken language dialogue systems. The text describes late-breaking research on next-generation spoken dialogue systems and investigates how to improve them. Num Pages: 198 pages, biography. BIC Classification: TTBM; UYQ; UYQL; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 198
- Condition
- New
- SKU
- V9781489991485
- ISBN
- 9781489991485
Paperback
Condition: New
€ 122.53
€ 122.53