Computer architecture & logic design
Results 145 - 168 of 242
Computer architecture & logic design
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540631743
- ISBN
- 9783540631743
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Num Pages: 408 pages, biography. BIC Classification: TJFM1; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 408
- Condition
- New
- SKU
- V9783642082320
- ISBN
- 9783642082320
Paperback
Condition: New
€ 186.66
€ 186.66
Paperback. Editor(s): Sakamura, Ken. Num Pages: 312 pages, biography. BIC Classification: UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Verlag, Japan Japan
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 312
- Condition
- New
- SKU
- V9784431680710
- ISBN
- 9784431680710
Paperback
Condition: New
€ 64.78
€ 64.78
Protecting Chips Against Hold Time Violations Due to Variability
Neuberger, Gustavo; Wirth, Gilson; Reis, Rica...
Hardcover. Protecting Chips Against Hold Time Violations Due to Variability Num Pages: 118 pages, 25 black & white illustrations, 51 colour illustrations, 23 black & white tables, biograp. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 350.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2014th Edition
- Number of pages
- 138
- Condition
- New
- SKU
- V9789400724266
- ISBN
- 9789400724266
Hardback
Condition: New
€ 121.49
€ 121.49
Paperback. This book provides step-by-step guidance on how to design VLSI systems using Verilog. It shows the way to design systems that are device, vendor and technology independent. Num Pages: 709 pages, biography. BIC Classification: THR; TJF; TJFC; TTBM; UK; UYF. Category: (G) General (US: Trade). Dimension: 235 x 157 x 38. Weight in Grams: 1070.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9789401782777
- ISBN
- 9789401782777
Paperback
Condition: New
€ 278.80
€ 278.80
Hardcover. This volume tackles the conflicting requirements of data compression and indexing in massive datasets, by using optimization techniques to improve compression and reconfiguring data structure to increase the efficiency, and speed, of pattern-matching queries. Series: Atlantis Studies in Computing. Num Pages: 118 pages, 18 black & white illustrations, 6 black & white tables, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational. Dimension: 167 x 241 x 13. Weight in Grams: 368.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789462390324
- ISBN
- 9789462390324
Hardback
Condition: New
€ 64.59
€ 64.59
Paperback. Series: Atlantis Ambient and Pervasive Intelligence. Num Pages: 299 pages, 117 black & white illustrations, 79 colour illustrations, biography. BIC Classification: UK; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 299
- Condition
- New
- SKU
- V9789462390508
- ISBN
- 9789462390508
Paperback
Condition: New
€ 64.50
€ 64.50
Hardback. Featuring innovative contributions to the field such as a new bilattice-based model for trust and distrust, this book on a hot research topic is the first in-depth study of the potential of distrust in the emerging domain of trust-enhanced recommendation. Series: Atlantis Computational Intelligence Systems. Num Pages: 215 pages, 26 black & white tables, biography. BIC Classification: KJE; KJS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 491.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 215
- Condition
- New
- SKU
- V9789491216077
- ISBN
- 9789491216077
Hardback
Condition: New
€ 65.68
€ 65.68
Paperback. Featuring innovative contributions to the field such as a new bilattice-based model for trust and distrust, this book on a hot research topic is the first in-depth study of the potential of distrust in the emerging domain of trust-enhanced recommendation. Series: Atlantis Computational Intelligence Systems. Num Pages: 215 pages, 26 black & white tables, biography. BIC Classification: KJE; KJS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 215
- Condition
- New
- SKU
- V9789491216398
- ISBN
- 9789491216398
Paperback
Condition: New
€ 64.70
€ 64.70
Hardback. Series: Atlantis Ambient and Pervasive Intelligence. Num Pages: 299 pages, 117 black & white illustrations, 79 colour illustrations, biography. BIC Classification: UK; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Edition
- 2 Rev ed
- Number of pages
- 299
- Condition
- New
- SKU
- V9789491216916
- ISBN
- 9789491216916
Hardback
Condition: New
€ 66.00
€ 66.00
Model-Driven Architecture - Foundations and Applications
. Ed(S): Schieferdecker, Ina; Hartman, Alan
Paperback. Editor(s): Schieferdecker, Ina; Hartman, Alan. Series: Lecture Notes in Computer Science. Num Pages: 459 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783540690955
- ISBN
- 9783540690955
Paperback
Condition: New
€ 150.88
€ 150.88
Paperback. Constitutes the refereed proceedings of the 6th International Workshop on OpenMP, IWOMP 2010, held in Tsukuba City, Japan, in June 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 187 pages, 121 black & white illustrations, biography. BIC Classification: UKG; UKN; UMB; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 187
- Condition
- New
- SKU
- V9783642132162
- ISBN
- 9783642132162
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. Editor(s): Clarke, Dave; Agha, Gul A. Series: Lecture Notes in Computer Science. Num Pages: 183 pages, 50 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642134135
- ISBN
- 9783642134135
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642152900
- ISBN
- 9783642152900
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. A book that constitutes the proceedings of the International Conference on Power Electronics and Instrumentation Engineering that was held in Kochi, Kerala, India, in September 2010. Editor(s): Das, Vinu V.; Stephen, Janahallal; Thankachan, Nessy. Series: Communications in Computer and Information Science. Num Pages: 114 pages, 95 black & white illustrations, biography. BIC Classification: UK; UMB; UMZ; UT; UYF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 8. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 114
- Condition
- New
- SKU
- V9783642157387
- ISBN
- 9783642157387
Paperback
Condition: New
€ 65.57
€ 65.57
Paperback. Transactions on HiPEAC collects 14 research papers in computer architecture and compilation methods for high-performance embedded computer systems, from conferences including HiPEAC 2008, the 8th MEDEA Workshop, 2007 and the first MULTIPROG, 2008. Editor(s): Stenstrom, Per. Series: Lecture Notes in Computer Science. Num Pages: 299 pages, 105 black & white illustrations, 66 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642194474
- ISBN
- 9783642194474
Paperback
Condition: New
€ 67.35
€ 67.35
Advances in Power Electronics and Instrumentation Engineering
. Ed(S): Das, Vinu V.; Thankachan, Nessy; Deb...
Paperback. Constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, that was held at Nagpur, India. Editor(s): Das, Vinu V.; Thankachan, Nessy; Debnath, Narayan C. Series: Communications in Computer and Information Science. Num Pages: 146 pages, 94 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UK; UMB; UMZ; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783642204982
- ISBN
- 9783642204982
Paperback
Condition: New
€ 65.28
€ 65.28
Paperback. constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. This title features the papers that are organized in topical sections on using OpenMP with application, tools for OpenMP, extensions of OpenMP, and implementation and performance. Editor(s): Chapman, Barbara M.; Gropp, William D.; Kumaran, Kalyan; Muller, Matthias S. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 42 black & white illustrations, 33 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642214868
- ISBN
- 9783642214868
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. This 4th issue of Transactions on High-Performance Embedded Architectures and Compilers presents 21 papers in four sections, all original research on HiPEAC systems targeted at specific computing tasks, as well as systems with broad application bases. Editor(s): Stenstrom, Per. Series: Lecture Notes in Computer Science / Transactions on High-performance Embedded Architectures and Compilers. Num Pages: 430 pages, 222 black & white illustrations, biography. BIC Classification: UKN; UMB; UT; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642245671
- ISBN
- 9783642245671
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. A monograph on the interface of computational complexity and randomness of sets of natural numbers. Series: Oxford Logic Guides. Num Pages: 456 pages, 13 b/w line illustrations. BIC Classification: PBB; PBCD; UYAM; UYF. Category: (G) General (US: Trade). Dimension: 234 x 158 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 456
- Condition
- New
- SKU
- V9780199652600
- ISBN
- 9780199652600
Paperback
Condition: New
€ 90.36
€ 90.36
Hardcover. Editor(s): Lin, Youn-Long Steve; Kyung, Chong-Min; Yasuura, Hiroto; Liu, Yongpan. Num Pages: 467 pages, 69 black & white illustrations, 229 colour illustrations, 31 black & white tables, biogra. BIC Classification: MQW; TCBS; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 164 x 247 x 24. Weight in Grams: 780.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319147109
- ISBN
- 9783319147109
Hardback
Condition: New
€ 131.08
€ 131.08