Computer science
Results 2341 - 2360 of 3256
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.33€ 108.36
€ 123.33
€ 108.36
Hardback. Series: Socio-Affective Computing. Num Pages: 450 pages, 21 black & white illustrations, 220 colour illustrations, 254 colour tables, biography. BIC Classification: PSAN; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 896.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 450
- Condition
- New
- SKU
- V9783319321110
- ISBN
- 9783319321110
Hardback
Condition: New
€ 208.72
€ 208.72
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.41
€ 138.41
hardcover. Num Pages: 352 pages, Illustrations. BIC Classification: UYFP. Category: (U) Tertiary Education (US: College). Dimension: 237 x 195 x 18. Weight in Grams: 798.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Pearson United States
- Edition
- 1st Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9780321487902
- ISBN
- 9780321487902
Hardback
Condition: New
€ 239.78
€ 239.78
Hardback. Discusses topics such as: start-up verification; the place for 4-state simulation; race conditions; RTL-style-synthesizable RTL; and more 'bad stuff'. This work tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. Num Pages: 306 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 159 x 24. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 306
- Condition
- New
- SKU
- V9780792373681
- ISBN
- 9780792373681
Hardback
Condition: New
€ 200.14
€ 200.14
Hardback. Covering Verilog Programming Language Interface, this book focusses on how to use PLI for problem solving. It covers both PLI 1.0 and PLI 2.0 and includes numerous examples. Num Pages: 372 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 372
- Condition
- New
- SKU
- V9780792384779
- ISBN
- 9780792384779
Hardback
Condition: New
€ 201.94
€ 201.94
Paperback / so. Series: Beitrage Zur Wirtschaftsinformatik. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJC; KJMV3; UF; UMZ; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 22. Weight in Grams: 594.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Physica-Verlag GmbH & Co Germany
- Condition
- New
- SKU
- V9783790809367
- ISBN
- 9783790809367
Paperback
Condition: New
€ 74.41
€ 74.41
Hardback. The design of digital (computer) systems requires several design phases. This book aims to develop a priori wire length estimation methods that can help the designer in finding a good lay-out of a circuit in less iterations of physical design steps and that are useful to compare different physical architectures. Num Pages: 298 pages, biography. BIC Classification: TBD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9780792373605
- ISBN
- 9780792373605
Hardback
Condition: New
€ 200.35
€ 200.35
Paperback.
- Publisher
- Bantam Doubleday Dell Publishing Group Inc United States
- Number of pages
- 320
- Format
- Paperback
- Publication date
- 1993
- Edition
- Reprint
- Condition
- New
- SKU
- V9780385415804
- ISBN
- 9780385415804
Paperback
Condition: New
€ 18.99€ 16.50
€ 18.99
€ 16.50
Paperback / so. Num Pages: colour illustrations, black & white tables, bibliography. BIC Classification: LNK; UR; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 11. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783834807212
- ISBN
- 9783834807212
Paperback
Condition: New
€ 88.76
€ 88.76
Hardback. "Pro Crystal Enterprise & Business Objects XI" deals with computers and software. Num Pages: 483 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 259 x 186 x 36. Weight in Grams: 1096.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- APress United States
- Number of pages
- 483
- Condition
- New
- SKU
- V9781590597590
- ISBN
- 9781590597590
Hardback
Condition: New
€ 71.82
€ 71.82
Paperback. Num Pages: 456 pages, 208 black & white illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 192 x 24. Weight in Grams: 842.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781484200773
- ISBN
- 9781484200773
Paperback
Condition: New
€ 74.61
€ 74.61
Paperback. "Enhance your virtual world with the power of iOS augmented reality"--Cover. Num Pages: 368 pages, 1, black & white illustrations. BIC Classification: ULP; UMQ; UMS; UYV; UYZF. Category: (G) General (US: Trade). Dimension: 235 x 191 x 18. Weight in Grams: 628. 356 pages, 1, black & white illustrations. "Enhance your virtual world with the power of iOS augmented reality"--Cover. Cateogry: (G) General (US: Trade). BIC Classification: ULP; UMQ; UMS; UYV; UYZF. Dimension: 234 x 190 x 19. Weight: 622.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Apress
- Edition
- 1st Edition
- Number of pages
- 356
- Condition
- New
- SKU
- V9781430239123
- ISBN
- 9781430239123
Paperback
Condition: New
€ 44.99€ 37.41
€ 44.99
€ 37.41
Paperback. Num Pages: 168 pages, 28 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 235 x 192 x 9. Weight in Grams: 328.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Apress
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484200803
- ISBN
- 9781484200803
Paperback
Condition: New
€ 104.62
€ 104.62
paperback. Num Pages: 286 pages, 170 colour illustrations, biography. BIC Classification: UMA; UMW; UYZ. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 17. Weight in Grams: 588.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Apress United States
- Edition
- 1st ed.
- Number of pages
- 286
- Condition
- New
- SKU
- V9781484220436
- ISBN
- 9781484220436
Paperback
Condition: New
€ 48.99€ 40.24
€ 48.99
€ 40.24
Hardcover. This is a detailed guide to the cross-platform Object-Oriented Graphics Rendering Engine (OGRE) 3D engine. The authors begin with obtaining the source code, move on to using the rendering library, and conclude with the polishing of the final application. Num Pages: 312 pages, biography. BIC Classification: UYT. Category: (G) General (US: Trade). Dimension: 257 x 185 x 32. Weight in Grams: 758.
- Publisher
- Apress
- Format
- Hardback
- Publication date
- 2006
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781590597101
- ISBN
- 9781590597101
Hardback
Condition: New
€ 66.22
€ 66.22
Paperback. Num Pages: 428 pages, 45 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 236 x 193 x 26. Weight in Grams: 810.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Apress
- Edition
- 2nd ed. 2014
- Condition
- New
- SKU
- V9781484202180
- ISBN
- 9781484202180
Paperback
Condition: New
€ 69.27
€ 69.27
Pro Single Page Application Development: Using Backbone.js and ASP.NET
Fink, Gil, Flatow, Ido, Group, Sela
Paperback. Num Pages: 324 pages, 69 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 236 x 193 x 17. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Apress
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9781430266730
- ISBN
- 9781430266730
Paperback
Condition: New
€ 62.98
€ 62.98
Pro Team Foundation Service (Expert's Voice in .Net)
Olausson, Mathias, Rossberg, Joachim, Ehn, Ja...
Paperback. Num Pages: 404 pages, biography. BIC Classification: UMZ; UYD. Category: (G) General (US: Trade). Dimension: 236 x 190 x 20. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Apress
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781430259954
- ISBN
- 9781430259954
Paperback
Condition: New
€ 51.93
€ 51.93
Paperback. Num Pages: 256 pages, 62 black & white illustrations, biography. BIC Classification: UMX; UY. Category: (P) Professional & Vocational. Dimension: 182 x 257 x 16. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Apress
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781484200742
- ISBN
- 9781484200742
Paperback
Condition: New
€ 72.45
€ 72.45