.png){kind=logo}
Computer hardware
Results 2021 - 2040 of 2245
Computer hardware
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 444 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783540883869
- ISBN
- 9783540883869
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. Editor(s): Hung, Dang van; Ogawa, Mizuhito. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 542 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 542
- Condition
- New
- SKU
- V9783319024431
- ISBN
- 9783319024431
Paperback
Condition: New
€ 69.40
€ 69.40
Hardback. Automated Security Management Editor(s): Al-Shaer, Ehab S.; Ou, Xinming; Xie, Geoffrey. Num Pages: 195 pages, 62 black & white illustrations, 16 black & white tables, biography. BIC Classification: UKN; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319014326
- ISBN
- 9783319014326
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Al-Shaer, Ehab S.; Ou, Xinming; Xie, Geoffrey. Num Pages: 195 pages, 62 black & white illustrations, 16 black & white tables, biography. BIC Classification: UKN; URD; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319345369
- ISBN
- 9783319345369
Paperback
Condition: New
€ 65.80
€ 65.80
Hardcover. Automated Firewall Analytics Num Pages: 132 pages, 20 black & white illustrations, 12 colour illustrations, 6 black & white tables, biograph. BIC Classification: UKN; URY; UT. Category: (P) Professional & Vocational. Dimension: 243 x 161 x 14. Weight in Grams: 372.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319103709
- ISBN
- 9783319103709
Hardback
Condition: New
€ 127.42
€ 127.42
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 1142 pages, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1689.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1142
- Condition
- New
- SKU
- V9783662476710
- ISBN
- 9783662476710
Paperback
Condition: New
€ 135.08
€ 135.08
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 65 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1145.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783662476659
- ISBN
- 9783662476659
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 654 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 654
- Condition
- New
- SKU
- V9783662439500
- ISBN
- 9783662439500
Paperback
Condition: New
€ 69.91
€ 69.91
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1124 pages, 74 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1660.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1124
- Condition
- New
- SKU
- V9783662439470
- ISBN
- 9783662439470
Paperback
Condition: New
€ 74.15
€ 74.15
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 724 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1001.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783642392115
- ISBN
- 9783642392115
Paperback
Condition: New
€ 71.21
€ 71.21
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta Zofia; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 880 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1212.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 880
- Condition
- New
- SKU
- V9783642392054
- ISBN
- 9783642392054
Paperback
Condition: New
€ 72.70
€ 72.70
Paperback. A two-volume set that constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011. Editor(s): Aceto, Luca; Henzinger, Monika; Sgall, Jiri. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 692 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 692
- Condition
- New
- SKU
- V9783642220111
- ISBN
- 9783642220111
Paperback
Condition: New
€ 132.47
€ 132.47
Paperback. Originally presented as the author's thesis (doctoral)--Universit'at Z'urich, Wintersemester 1990/91. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540545460
- ISBN
- 9783540545460
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Computer Music Modeling and Retrieval, CMMR 2009, held in Copenhagen, Denmark, in May 2009. Specially reviewed and corrected, this proceedings volume presents 25 revised full papers. Editor(s): Ystad, Solvi; Aramaki, Mitsuko; Kronland-Martinet, Richard (CNRS Marseille); Jensen, Kristoffer. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 506 pages, 185 black & white illustrations, biography. BIC Classification: UG; UKR; UNF; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 25. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783642124389
- ISBN
- 9783642124389
Paperback
Condition: New
€ 129.86
€ 129.86
hardcover. Atomic Layer Deposition for Semiconductors Editor(s): Seong Hwang, Cheol. Num Pages: 273 pages, 89 black & white illustrations, 81 colour illustrations, 3 black & white tables, 1 colour. BIC Classification: THR; TJFD5; UKS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer United States
- Number of pages
- 273
- Condition
- New
- Edition
- 2014th Edition
- SKU
- V9781461480532
- ISBN
- 9781461480532
Hardback
Condition: New
€ 205.55
€ 205.55
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 206 pages, biography. BIC Classification: THR; TJK; UKN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 206
- Condition
- New
- SKU
- V9781461370581
- ISBN
- 9781461370581
Paperback
Condition: New
€ 127.04
€ 127.04
Paperback. From foundation concepts through in-depth discussions on extensibility and customization, written by the members of the ATL server team, this is the ultimate book on ATL Server. Num Pages: 541 pages, 21 black & white illustrations, biography. BIC Classification: UK; UMX. Category: (G) General (US: Trade). Dimension: 235 x 178 x 32. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- APress United States
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 541
- Condition
- New
- SKU
- V9781590591284
- ISBN
- 9781590591284
Paperback
Condition: New
€ 52.93€ 50.65
€ 52.93
€ 50.65
Paperback. Designed for amateur astronomers who own a home computer, whether it is running Microsoft Windows, Mac O/S or Linux, this title provides a practical introduction to astronomy. It concentrates on low-cost accessible projects and also helps you learn how to optimise a go-to telescope, or connect it to a lap-top. Series: The Patrick Moore Practical Astronomy Series. Num Pages: 202 pages, 87 black & white illustrations, biography. BIC Classification: PGG; UKP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 163 x 12. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 202
- Condition
- New
- SKU
- V9781852338053
- ISBN
- 9781852338053
Paperback
Condition: New
€ 30.99€ 28.47
€ 30.99
€ 28.47
Paperback. Presents a comprehensive business-oriented approach to teaching assembly language programming on IBM and IBM-compatible computers, geared towards freshman and sophomores majoring in data processing or computer science. Rich in student aids including self-evaluation quizzes, chapter objectives, exercises, and chapter summaries. Num Pages: 768 pages, illustrations, index. BIC Classification: UKPC; UMX. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 211 x 40. Weight in Grams: 1748.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 2nd Edition
- Number of pages
- 768
- Condition
- New
- SKU
- V9780471886570
- ISBN
- 9780471886570
Paperback
Condition: New
€ 241.37
€ 241.37
Paperback. Focusing on topics and areas based on non-traditional thinking, and new and emerging paradigms in bio-inspired robotics, this book examines the design and real-world implementation of artificial life robotic devices. Editor(s): Adamatzky, Andrew; Komosinski, Maciej. Num Pages: 268 pages, biography. BIC Classification: J; UGK; UK; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 268
- Condition
- New
- SKU
- V9781849968485
- ISBN
- 9781849968485
Paperback
Condition: New
€ 127.78
€ 127.78