Computer science
Results 3073 - 3090 of 3090
Computer science
Hardcover. A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Num Pages: 984 pages, illus. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 258 x 206 x 42. Weight in Grams: 1934.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 984
- Format
- Hardback
- Publication date
- 2008
- Condition
- New
- SKU
- V9780262026499
- ISBN
- 9780262026499
Hardback
Condition: New
€ 123.44€ 121.35
€ 123.44
€ 121.35
Paperback. Series: Scientific and Engineering Computation. Num Pages: 336 pages, 114 b&w illus. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 230 x 205 x 19. Weight in Grams: 630.
- Publisher
- The MIT Press
- Format
- Paperback
- Publication date
- 2014
- Edition
- third edition
- Condition
- New
- SKU
- V9780262527392
- ISBN
- 9780262527392
Paperback
Condition: New
€ 72.89€ 69.58
€ 72.89
€ 69.58
Paperback. Series: Nonconvex Optimization and Its Applications. Num Pages: 383 pages, biography. BIC Classification: KJT; PBKS; PBU; PHS; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 537.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Condition
- New
- SKU
- V9781441948366
- ISBN
- 9781441948366
Paperback
Condition: New
€ 186.29
€ 186.29
Paperback. Num Pages: 216 pages, 9 b&w illus. BIC Classification: UMW; UY. Category: (G) General (US: Trade). Dimension: 229 x 203. .
- Publisher
- MIT Press Ltd
- Format
- Paperback
- Publication date
- 2016
- Edition
- third edition
- Condition
- New
- SKU
- V9780262529075
- ISBN
- 9780262529075
Paperback
Condition: New
€ 43.99€ 38.52
€ 43.99
€ 38.52
Paperback. Fritzson covers the Modelica language in impressive depth from the basic concepts such as cyber-physical, equation-base, object-oriented, system, model, and simulation, while also incorporating over a hundred exercises and their solutions for a tutorial, easy-to-read experience. * The only book with complete Modelica 3. Num Pages: 1256 pages. BIC Classification: UYM. Category: (P) Professional & Vocational. Dimension: 184 x 257 x 43. Weight in Grams: 1944.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781118859124
- ISBN
- 9781118859124
Paperback
Condition: New
€ 138.53
€ 138.53
Hardcover. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Hardback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783662540312
- ISBN
- 9783662540312
Hardback
Condition: New
€ 112.26
€ 112.26
Paperback. The second edition of the book adds more tricks, arising from fourteen years of work by some of the world's most prominent researchers. These can substantially improve speed, ease of implementation and accuracy when putting algorithms to work on real problems. Editor(s): Montavon, Gregoire; Orr, Genevieve; Muller, Klaus-Robert. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 769 pages, 223 black & white illustrations, biography. BIC Classification: UYZG. Category: (P) Professional & Vocational. Dimension: 238 x 155 x 42. Weight in Grams: 1170.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd ed. 2012
- Condition
- New
- SKU
- V9783642352881
- ISBN
- 9783642352881
Paperback
Condition: New
€ 158.38
€ 158.38
Paperback. Confronting the digital revolution in academia, this book examines the application of new computational techniques and visualisation technologies in the Arts & Humanities. Uniting differing perspectives, leading and emerging scholars discuss the theoretical and practical challenges that computation raises for these disciplines. Editor(s): Berry, David M. Num Pages: 336 pages, 28 black & white halftones, 25 figures, 5 black & white illustrations. BIC Classification: JFD; UBJ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 536.
- Publisher
- Palgrave Macmillan
- Number of pages
- 336
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2012 ed.
- Condition
- New
- SKU
- V9780230292659
- ISBN
- 9780230292659
Paperback
Condition: New
€ 117.55€ 113.42
€ 117.55
€ 113.42
Hardcover. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783642247903
- ISBN
- 9783642247903
Hardback
Condition: New
€ 52.99€ 18.94
€ 52.99
€ 18.94
Hardcover. Num Pages: 648 pages, illustrations. BIC Classification: TTA; UYU. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 184 x 35. Weight in Grams: 1340.
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 648
- Format
- Hardback
- Publication date
- 2013
- Edition
- 4th Edition
- Condition
- New
- SKU
- V9780240818467
- ISBN
- 9780240818467
Hardback
Condition: New
€ 166.37
€ 166.37
Paperback. Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics. Editor(s): Boiten, Eerke A.; Moller, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 266 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 231 x 158 x 16. Weight in Grams: 438.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540438571
- ISBN
- 9783540438571
Paperback
Condition: New
€ 66.76
€ 66.76
Hardback. Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method. Num Pages: 682 pages, illustrations. BIC Classification: PBW; TG; UYA. Category: (P) Professional & Vocational. Dimension: 251 x 171 x 36. Weight in Grams: 1188.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 682
- Format
- Hardback
- Publication date
- 2013
- Edition
- 5th Edition
- Condition
- New
- SKU
- V9781119973348
- ISBN
- 9781119973348
Hardback
Condition: New
€ 112.33
€ 112.33
Paperback. Tackle a variety of tasks in natural language processing by learning how to use the R language and tidy data principles. This practical guide provides examples and resources to help you get up to speed with dplyr, broom, ggplot2, and other tidy tools from the R ecosystem. Num Pages: 150 pages. BIC Classification: UYQL. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491981658
- ISBN
- 9781491981658
Paperback
Condition: New
€ 42.99€ 30.43
€ 42.99
€ 30.43
Paperback. With Make: FPGAs, you'll learn how to break down problems into something that can be solved on an FPGA, design the logic that will run on your FPGA, and hook up electronic components to create finished projects. Num Pages: 320 pages. BIC Classification: TJFC; UYF. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781457187858
- ISBN
- 9781457187858
Paperback
Condition: New
€ 32.99€ 31.50
€ 32.99
€ 31.50
Paperback. Num Pages: 576 pages, Illustrations. BIC Classification: UYFL. Category: (P) Professional & Vocational. Dimension: 237 x 185 x 34. Weight in Grams: 1032.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 576
- Format
- Paperback
- Publication date
- 2005
- Condition
- New
- SKU
- V9780764579011
- ISBN
- 9780764579011
Paperback
Condition: New
€ 36.99€ 27.16
€ 36.99
€ 27.16
Paperback. Featuring graphs and highlighted code throughout, Thoughtful Machine Learning with Python guides you through the process of writing problem-solving code, and in the process teaches you how to approach problems through scientific deduction and clever algorithms. Num Pages: 250 pages. BIC Classification: UMW; UYQM. Category: (P) Professional & Vocational. Dimension: 233 x 178 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491924136
- ISBN
- 9781491924136
Paperback
Condition: New
€ 45.99€ 44.14
€ 45.99
€ 44.14
Paperback. Num Pages: 167 pages, 14 black & white illustrations, 89 colour illustrations, biography. BIC Classification: UKP; UMW; UN; UYZF. Category: (G) General (US: Trade). Dimension: 180 x 255 x 19. Weight in Grams: 362.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484219270
- ISBN
- 9781484219270
Paperback
Condition: New
€ 42.22
€ 42.22
Hardback. .
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2002
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9781402071133
- ISBN
- 9781402071133
Hardback
Condition: New
€ 211.60€ 74.05
€ 211.60
€ 74.05