Computer programming / software development
Results 1321 - 1340 of 2965
Computer programming / software development
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540646082
- ISBN
- 9783540646082
Paperback
Condition: New
€ 136.28
€ 136.28
Hardback. Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 247
- Condition
- New
- SKU
- V9780792381846
- ISBN
- 9780792381846
Hardback
Condition: New
€ 231.99
€ 231.99
Hardcover. Examines B2B decision making processes for software application development. This book provides DSA Models, event chronology maps, and cognitive maps for a more comprehensive analysis. It includes individual case study and cross-case findings for theory development. Num Pages: 488 pages, Illustrations ,. BIC Classification: UDB; UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 165 x 41. Weight in Grams: 953.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Emerald Group Publishing Limited United Kingdom
- Number of pages
- 488
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780080453262
- ISBN
- 9780080453262
Hardback
Condition: New
€ 214.65
€ 214.65
Paperback. Series: Springer Professional Computing. Num Pages: 672 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 253 x 172 x 37. Weight in Grams: 1274.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 704
- Condition
- New
- SKU
- V9781447111269
- ISBN
- 9781447111269
Paperback
Condition: New
€ 133.49
€ 133.49
Paperback. Num Pages: 630 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 278 x 212 x 33. Weight in Grams: 1420.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- I.E.E.E.Press United States
- Edition
- 1st Edition
- Number of pages
- 630
- Condition
- New
- SKU
- V9780769509990
- ISBN
- 9780769509990
Paperback
Condition: New
€ 144.52
€ 144.52
Paperback. "The Book of Ruby" is an in-depth introduction to one of the world's most popular programming languages and the backbone of the acclaimed Ruby on Rails Web application framework. Num Pages: 400 pages, black & white illustrations. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 181 x 236 x 27. Weight in Grams: 774.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- No Starch Press,US United States
- Edition
- 1st Edition
- Number of pages
- 373
- Condition
- New
- SKU
- V9781593272944
- ISBN
- 9781593272944
Paperback
Condition: New
€ 43.99€ 35.99
€ 43.99
€ 35.99
Paperback. Fortran 90 is the most radical revision ever of this popular language, bringing it up to date with current thinking in programming language development. This is the first book aimed directly at problem solving for Engineers and Scientists using the new features of Fortran 90. Num Pages: 220 pages, Illustrations, 1 facsim. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 174 x 13. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780471941859
- ISBN
- 9780471941859
Paperback
Condition: New
€ 105.03
€ 105.03
Paperback. An exploration of the way videogames mount arguments and make expressive statements about the world that analyzes their unique persuasive power in terms of their computational properties. Num Pages: 464 pages, 50 illus. BIC Classification: JFD; UMK. Category: (P) Professional & Vocational. Dimension: 223 x 173 x 27. Weight in Grams: 710.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 464
- Format
- Paperback
- Publication date
- 2010
- Condition
- New
- SKU
- V9780262514880
- ISBN
- 9780262514880
Paperback
Condition: New
€ 41.99€ 36.65
€ 41.99
€ 36.65
Paperback. Jump in and build working Android apps with the help of more than 200 tested recipes. With this cookbook, you'll find solutions for working with the user interfaces, multitouch gestures, location awareness, web services, and device features such as the phone, camera, and accelerometer. Num Pages: 838 pages. BIC Classification: UMS. Category: (XV) Technical / Manuals. Dimension: 233 x 178. .
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781449374433
- ISBN
- 9781449374433
Paperback
Condition: New
€ 69.86
€ 69.86
Paperback. The lint program is one of the best tools for finding portability problems and certain types of coding errors in C programs. This handbook introduces lint, provides a guide to running it on programs, and shows how to interpret lint's output. Num Pages: bibliography, index. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 216 x 142 x 18. Weight in Grams: 134.
- Publication date
- 1988
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- Rev ed
- Condition
- New
- Format
- Paperback
- SKU
- V9780937175309
- ISBN
- 9780937175309
Paperback
Condition: New
€ 15.67
€ 15.67
Paperback. You can test just about anything with Cucumber. We certainly have, and in Cucumber Recipes we'll show you how to apply our hard-won field experience to your own projects. Once you've mastered the basics, this book will show you how to get the most out of Cucumber--from specific situations to advanced test-writing advice. Num Pages: 250 pages, illustrations. BIC Classification: UMZT. Category: (XV) Technical / Manuals. Dimension: 228 x 191 x 17. Weight in Grams: 494.
- Publisher
- The Pragmatic Programmers United States
- Number of pages
- 250
- Format
- Paperback
- Publication date
- 2013
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781937785017
- ISBN
- 9781937785017
Paperback
Condition: New
€ 35.99€ 34.37
€ 35.99
€ 34.37
Paperback. "This book is not only of practical value. It's also a lot of fun to read. " Michael Jackson, The Open University. Do you need to know how to create good requirements? Discovering Requirements offers a set of simple, robust, and effective cognitive tools for building requirements. Num Pages: 476 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 192 x 26. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 476
- Condition
- New
- SKU
- V9780470712405
- ISBN
- 9780470712405
Paperback
Condition: New
€ 48.99€ 35.08
€ 48.99
€ 35.08
Hardcover. This book is a concise account of the essential elements of knowledge and key skills needed to be a software architect. The explanations encompass the full range of architecture thinking, practices, and supporting technologies, including emerging techologies. Num Pages: 242 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 248 x 160 x 21. Weight in Grams: 556.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd ed. 2011
- Condition
- New
- SKU
- V9783642191756
- ISBN
- 9783642191756
Hardback
Condition: New
€ 95.28
€ 95.28
Paperback. BLAST (Basic Local Alignment Search Tool), is a software package for rapid searching of nucleotide and protein databases. "BLAST" offers biologists, computational biology students, and bioinformatics professionals a clear understanding of BLAST as well as the science it supports. Num Pages: 362 pages, 1, black & white illustrations. BIC Classification: PS; UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 179 x 25. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- O´Reilly Media
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780596002992
- ISBN
- 9780596002992
Paperback
Condition: New
€ 52.99€ 50.79
€ 52.99
€ 50.79
Paperback. Good software testing can increase productivity, improve designs, raise quality, and make you more productive overall. This hands-on labs series teaches how Perl's test tools work and how to use them to create basic and complex tests and interpret the results. This notebook is helpful in reducing the software development cycle times. Num Pages: 202 pages, 1, black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 182 x 10. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 1st Edition
- Number of pages
- 202
- Condition
- New
- SKU
- V9780596100926
- ISBN
- 9780596100926
Paperback
Condition: New
€ 32.99€ 31.74
€ 32.99
€ 31.74
Paperback. Master innovative and eye-catching website design with the exciting new Treehouse Series of books Turn plain words and images into stunning websites with CSS3 and this beautiful, full-color guide. Series: Treehouse Book Series. Num Pages: 352 pages, Illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 186 x 233 x 18. Weight in Grams: 810.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 352
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118356548
- ISBN
- 9781118356548
Paperback
Condition: New
€ 33.99€ 27.04
€ 33.99
€ 27.04
Paperback. Learn how to use Flash and Wallaby to streamline the process of creating HTML5 animations that can run on a broad range browsers of devices. Num Pages: 62 pages, Illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 233 x 178 x 5. Weight in Grams: 124.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- O´Reilly Media
- Condition
- New
- SKU
- V9781449307134
- ISBN
- 9781449307134
Paperback
Condition: New
€ 22.20
€ 22.20
Paperback. Num Pages: 275 pages. BIC Classification: UMZ. Category: (P) Professional & Vocational. .
- Publisher
- Manning Publications
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781617292729
- ISBN
- 9781617292729
Paperback
Condition: New
€ 56.75
€ 56.75
Paperback. Physics is really important to game programmers who need to know how to add physical realism to their games. In video games, the physics engine uses real-time physics to improve realism. This book aims to take readers through the process of building a complete game-ready physics engine from scratch. Num Pages: 552 pages, 100 black & white illustrations, 10 black & white halftones. BIC Classification: UMK. Category: (P) Professional & Vocational. Dimension: 234 x 192 x 21. Weight in Grams: 1142.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 552
- Format
- Paperback
- Publication date
- 2010
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780123819765
- ISBN
- 9780123819765
Paperback
Condition: New
€ 73.22
€ 73.22
Paperback. .
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781491900543
- ISBN
- 9781491900543
Paperback
Condition: New
€ 47.99€ 34.21
€ 47.99
€ 34.21