Computing
Results 10345 - 10368 of 11260
Computing
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 124.30
€ 124.30
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642156427
- ISBN
- 9783642156427
Paperback
Condition: New
€ 68.24
€ 68.24
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
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. Editor(s): Basin, David; Rusinowith, Michael. Series: Lecture Notes in Computer Science. Num Pages: 503 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 503
- Condition
- New
- SKU
- V9783540223450
- ISBN
- 9783540223450
Paperback
Condition: New
€ 129.23
€ 129.23
Hardback. This text documents advances in the understanding of automated theorem provers that are capable of proofs by mathematical induction. The book provides a tutorial study of the Boyer-Moore theorem prover, and novel ideas that could be used to build theorem provers more powerful than this one. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF AUTOMATED REASONING 16:
- Number of pages
- 222
- Condition
- New
- SKU
- V9780792340102
- ISBN
- 9780792340102
Hardback
Condition: New
€ 127.69
€ 127.69
Hardcover. This book describes an approach to software management based on establishing an infrastructure that serves as the foundation for the project. This infrastructure defines people roles, necessary technology, and interactions between people and technology. Num Pages: 426 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 163 x 32. Weight in Grams: 800.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 426
- Condition
- New
- SKU
- V9780470042120
- ISBN
- 9780470042120
Hardback
Condition: New
€ 153.70
€ 153.70
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 66.61
€ 66.61
Hardcover. A hands on guide to web scraping and text mining for both beginners and experienced users of R * Introduces fundamental concepts of the main architecture of the web and databases and covers HTTP, HTML, XML, JSON, SQL. * Provides basic techniques to query web documents and data sets (XPath and regular expressions). Num Pages: 480 pages. BIC Classification: UNF. Category: (P) Professional & Vocational. Dimension: 180 x 251 x 29. Weight in Grams: 880.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118834817
- ISBN
- 9781118834817
Hardback
Condition: New
€ 72.14
€ 72.14
Paperback. This book gets you up to speed with Grunt using practical hands-on examples, so you can wrangle your projects with ease. You'll learn how to create and maintain tasks and project builds, and automate your workflow with plugins and custom tasks. Num Pages: 80 pages, black & white illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 234 x 195 x 5. Weight in Grams: 170.
- Publisher
- The Pragmatic Programmers
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781941222119
- ISBN
- 9781941222119
Paperback
Condition: New
€ 19.05
€ 19.05
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 232.48
€ 232.48
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
Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 1997
- Edition
- 1st. ed. 1997. Corr. 8th printing 2007
- Condition
- New
- SKU
- V9780387949079
- ISBN
- 9780387949079
Hardback
Condition: New
€ 100.21
€ 100.21
Paperback. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 400 pages, biography. BIC Classification: UMB; UYZG. Category: (G) General (US: Trade). Dimension: 231 x 140 x 24. Weight in Grams: 636.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 413
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1997
- Condition
- New
- SKU
- V9781461273097
- ISBN
- 9781461273097
Paperback
Condition: New
€ 66.34
€ 66.34
Paperback. Num Pages: 1008 pages, illustrations. BIC Classification: AMC; UGC. Category: (P) Professional & Vocational. Dimension: 236 x 190 x 48. Weight in Grams: 1326.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 1004
- Condition
- New
- SKU
- V9781118862155
- ISBN
- 9781118862155
Paperback
Condition: New
€ 51.99€ 44.74
€ 51.99
€ 44.74
Paperback.
Learn Revit Architecture with an engaging, real-world continuous step-by-step tutorial
This Autodesk Official Press book helps you become proficient with Autodesk's popular building information modeling software using an innovative continuous tutorial. Num Pages: 984 pages, Illustrations (black and white). BIC Classification: AMC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 189 x 52. Weight in Grams: 1322.
- Publisher
- John Wiley & Sons Inc
- Number of pages
- 984
- Format
- Paperback
- Publication date
- 2013
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118542743
- ISBN
- 9781118542743
Paperback
Condition: New
€ 51.99€ 44.59
€ 51.99
€ 44.59
Paperback. Start animating right away with this tutorial-based guide to Autodesk 3ds Max 2016 Autodesk 3ds Max 2016 Essentials is your perfect hands-on guide to start animating quickly. Num Pages: 448 pages. BIC Classification: UGC; UGK; UGN. Category: (P) Professional & Vocational. Dimension: 279 x 233 x 29. Weight in Grams: 1036.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119059769
- ISBN
- 9781119059769
Paperback
Condition: New
€ 52.10
€ 52.10
Paperback. Take control of AutoCAD for a more efficient, streamlined workflow AutoCAD Platform Customization is the most comprehensive guide to streamlining and personalizing the AutoCAD platform. Num Pages: 1152 pages, illustrations. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 244 x 194 x 60. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118798904
- ISBN
- 9781118798904
Paperback
Condition: New
€ 68.94€ 58.17
€ 68.94
€ 58.17
Paperback. Start designing today with this hands-on beginner's guide to AutoCAD Civil 3D 2016 AutoCAD Civil 3D 2016 Essentials gets you quickly up to speed with the features and functions of this industry-leading civil engineering software. Num Pages: 416 pages, illustrations. BIC Classification: UGC; UYT. Category: (P) Professional & Vocational. Dimension: 233 x 188 x 23. Weight in Grams: 954.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119059592
- ISBN
- 9781119059592
Paperback
Condition: New
€ 50.99€ 38.93
€ 50.99
€ 38.93
Paperback. The step-by-step, full-color AutoCAD guide with real-world practicality AutoCAD and AutoCAD LT Essentials provides a full-color, task-based approach to mastering this powerful software. Num Pages: 432 pages. BIC Classification: UF. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119386780
- ISBN
- 9781119386780
Paperback
Condition: New
€ 46.99€ 36.10
€ 46.99
€ 36.10
Paperback. Num Pages: 744 pages, illustrations. BIC Classification: AMR; UGC. Category: (U) Tertiary Education (US: College). Dimension: 275 x 213 x 23. Weight in Grams: 1410.
- Publisher
- Pearson Education (US) United States
- Number of pages
- 608
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780133144857
- ISBN
- 9780133144857
Paperback
Condition: New
€ 124.83
€ 124.83
Paperback. Series: Bible. Num Pages: 1296 pages, black & white illustrations, black & white tables, figures. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 236 x 190 x 39. Weight in Grams: 1756.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118880364
- ISBN
- 9781118880364
Paperback
Condition: New
€ 52.99€ 41.11
€ 52.99
€ 41.11
Paperback. Nobody ever said AutoCAD was easy, which is why you need AutoCAD & AutoCAD LT 2009 All-In-One Desk Reference for Dummies ! These nine minibooks cover all the stuff you need to know to set up AutoCAD for 2D or 3D, create drawings, modify and share them, publish your work, and more. Num Pages: 792 pages, Illustrations. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 235 x 187 x 44. Weight in Grams: 1180.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2Rev Ed
- Number of pages
- 792
- Condition
- New
- SKU
- V9780470243787
- ISBN
- 9780470243787
Paperback
Condition: New
€ 43.99€ 33.49
€ 43.99
€ 33.49
Paperback. AutoCAD 2007 is a premiere computer-aided designing program that lets you organize the objects you draw, their properties, and their files. It also helps you create great-looking models. But it's not always easy to figure out how to perform these functions, and many users end up missing out on AutoCAD's full potential. Num Pages: 432 pages, Illustrations. BIC Classification: UGC. Category: (UU) Undergraduate. Dimension: 233 x 188 x 24. Weight in Grams: 788.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- Revised
- Number of pages
- 432
- Condition
- New
- SKU
- V9780471786498
- ISBN
- 9780471786498
Paperback
Condition: New
€ 36.99€ 28.56
€ 36.99
€ 28.56