Computer programming / software development
Results 3817 - 3840 of 6615
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009. This book contains sections on compilation technologies, reconfigurable hardware and applications, massive parallel architectures, organic computing and memory architectures. Series: Lecture Notes in Computer Science. Num Pages: 259 pages, biography. BIC Classification: UKN; UKR; UL; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642004537
- ISBN
- 9783642004537
Paperback
Condition: New
€ 63.73
€ 63.73
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 178.46
€ 178.46
Paperback. This text provides an insight into some of the most important ideas in human-computer interaction. The authors describe ERMIA (Entity-Relationship Modelling of Information Artefacts) and explain how it can be used to develop effective interfaces. Series: Practitioner Series. Num Pages: 187 pages, 13 black & white illustrations, biography. BIC Classification: UL; UMZ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 187
- Condition
- New
- SKU
- V9781852330095
- ISBN
- 9781852330095
Paperback
Condition: New
€ 63.14
€ 63.14
Hardcover. Cryptography in Constant Parallel Time Series: Information Security and Cryptography. Num Pages: 193 pages, 3 black & white illustrations, biography. BIC Classification: UMB; UR; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 16. Weight in Grams: 462.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 210
- Condition
- New
- SKU
- V9783642173660
- ISBN
- 9783642173660
Hardback
Condition: New
€ 64.14
€ 64.14
Hardback. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 2670.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540619437
- ISBN
- 9783540619437
Hardback
Condition: New
€ 196.99
€ 196.99
Paperback. The much-acclaimed biography of Ada Lovelace, reissued to tie-in with the bicentenary of her birth in 2015. Num Pages: 432 pages. BIC Classification: BGT; PDZ; UM. Category: (G) General (US: Trade). Dimension: 198 x 131 x 29. Weight in Grams: 310.
- Publisher
- Pan Macmillan
- Format
- Paperback
- Publication date
- 2015
- Edition
- Main Market Ed.
- Condition
- New
- SKU
- V9781447272540
- ISBN
- 9781447272540
Paperback
Condition: New
€ 19.99€ 14.91
€ 19.99
€ 14.91
Paperback. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 237 x 188 x 20. Weight in Grams: 510.
- Publisher
- Manning Publications
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781633430112
- ISBN
- 9781633430112
Paperback
Condition: New
€ 50.26
€ 50.26
Paperback. RETAIL SELLING POINTS Practical real-world examples Gradle from the ground up Takes software delivery processes to the next level. AUDIENCE No prior experience with Groovy required. This book assumes basic knowledge of Java. Num Pages: 479 pages, black & white illustrations, black & white tables, figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 187 x 25. Weight in Grams: 786.
- Publisher
- Manning Publications United States
- Number of pages
- 390
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781617291302
- ISBN
- 9781617291302
Paperback
Condition: New
€ 55.34
€ 55.34
Hardcover. Series: Software Studies. Num Pages: 528 pages, 1 b&w illus. BIC Classification: JFD; UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 178 x 38. .
- Publisher
- The MIT Press
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780262029575
- ISBN
- 9780262029575
Hardback
Condition: New
€ 49.99€ 39.08
€ 49.99
€ 39.08
Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 648
- Format
- Hardback
- Publication date
- 2002
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780262162098
- ISBN
- 9780262162098
Hardback
Condition: New
€ 100.20€ 94.68
€ 100.20
€ 94.68
Hardcover. Num Pages: 175 pages. BIC Classification: UBJ; UMX; UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 164 x 18. Weight in Grams: 442.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 175
- Condition
- New
- SKU
- V9781560724988
- ISBN
- 9781560724988
Hardback
Condition: New
€ 78.97€ 61.20
€ 78.97
€ 61.20
Hardcover. This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work. Editor(s): Benhamou, Frederic; Jussien, Narendra; O'Sullivan, Barry. Num Pages: 408 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 239 x 162 x 26. Weight in Grams: 740.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- ISTE United Kingdom
- Edition
- 1st Edition
- Number of pages
- 408
- Condition
- New
- SKU
- V9781905209972
- ISBN
- 9781905209972
Hardback
Condition: New
€ 260.02
€ 260.02
Paperback. This book constitutes the refereed proceedings of the 8th International Workshop on Multiple Classifier Systems, MCS 2009, held in Reykjavik, Iceland in June 2009. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 551 pages, biography. BIC Classification: UG; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 551
- Condition
- New
- SKU
- V9783642023255
- ISBN
- 9783642023255
Paperback
Condition: New
€ 66.36
€ 66.36
Paperback. A practical guide to IPv6 addressing Unix and network administrators with experience in TCP/IP(v4) but not necessarily any IPv6 knowledge. It focuses on reliable and efficient operation of IPv6 implementations available today rather than on protocol specifications. Num Pages: 390 pages, 50 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642063886
- ISBN
- 9783642063886
Paperback
Condition: New
€ 65.05
€ 65.05
Paperback. In this title, the authors pay special attention to practical needs and problems raised in SQL Server programming newsgroups. Numerous examples are provided throughout each chapter. Puzzles are presented through the book to encourage the reader to apply skills learned to difficult problems. Num Pages: 906 pages, biography. BIC Classification: UK; UMT; UNSJ. Category: (G) General (US: Trade). Dimension: 235 x 191 x 42. Weight in Grams: 1379.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- APress United States
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 906
- Condition
- New
- SKU
- V9781893115828
- ISBN
- 9781893115828
Paperback
Condition: New
€ 55.83
€ 55.83
Paperback. .
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484226438
- ISBN
- 9781484226438
Paperback
Condition: New
€ 59.86
€ 59.86
Paperback. Don't waste your time building an application server. See how to build low-cost, low-maintenance, highly available, serverless single page web applications that scale into the millions of users at the click of a button. Num Pages: 200 pages. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 235 x 191 x 15. Weight in Grams: 666.
- Publisher
- Pragmatic Bookshelf
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680501490
- ISBN
- 9781680501490
Paperback
Condition: New
€ 25.99€ 25.77
€ 25.99
€ 25.77
Paperback. A monograph that constitutes revised and extended version of the author's PhD thesis, which was selected as the winning thesis of the 2005 ACM Doctoral Dissertation Competition. It reconsiders two common assumptions about how we should analyze software and arrives at some striking fresh results. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 116 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 6. Weight in Grams: 185.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 116
- Condition
- New
- SKU
- V9783540718772
- ISBN
- 9783540718772
Paperback
Condition: New
€ 64.29
€ 64.29
Hardback. Explains how to execute computationally intensive analysis on very large data sets. This book shows readers how to determine some of the best methods for solving a variety of different problems, how to create and debug statistical models, and how to run an analysis and evaluate the results. Num Pages: 472 pages, 35 line illus. 16 tables. BIC Classification: GPH; UFM; UMT; UNA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 267 x 186 x 31. Weight in Grams: 1138.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Princeton University Press United States
- Number of pages
- 472
- Condition
- New
- SKU
- V9780691133140
- ISBN
- 9780691133140
Hardback
Condition: New
€ 108.45€ 82.87
€ 108.45
€ 82.87
Paperback. Throw out your old ideas of C, and relearn a programming language that's substantially outgrown its origins. With this revised edition of 21st Century C, you'll discover up-to-date techniques missing from other C tutorials, whether you're new to the language or just getting reacquainted. Num Pages: 408 pages, black & white illustrations, black & white tables, figures. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 179 x 233 x 21. Weight in Grams: 706.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781491903896
- ISBN
- 9781491903896
Paperback
Condition: New
€ 52.99€ 37.35
€ 52.99
€ 37.35
Paperback. Covers different aspects of web page design, from typography and color to layout. This book helps you learn which pieces of HTML and CSS deserve focus, and which can be abandoned. It also lets you discover how the two technologies tightly mesh. Num Pages: 350 pages, Illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 176 x 19. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 1st Edition
- Number of pages
- 350
- Condition
- New
- SKU
- V9780596157609
- ISBN
- 9780596157609
Paperback
Condition: New
€ 36.39
€ 36.39
Paperback. Enormous quantities of data go unused or underused, simply because people can't visualize the quantities and relationships in it. Using a downloadable programming environment, this book demonstrates methods for representing data on the Web and elsewhere, complete with user interaction, animation, and more. Num Pages: 366 pages, Illustrations. BIC Classification: UDB; UM; UN. Category: (P) Professional & Vocational. Dimension: 233 x 179 x 18. Weight in Grams: 724.
- Publisher
- O'Reilly Media
- Number of pages
- 366
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780596514556
- ISBN
- 9780596514556
Paperback
Condition: New
€ 42.99€ 41.15
€ 42.99
€ 41.15
Paperback. Get a head start on creating "Metro"-style apps for the approaching release of Windows 8. This introductory guide will quickly get you up to speed on the tools you need to build user interfaces with Microsoft's new design language, code-named Metro. Num Pages: 110 pages, Illustrations. BIC Classification: UMPN; UMPW; UMS. Category: (XV) Technical / Manuals. Dimension: 233 x 176 x 7. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- O´Reilly Media United States
- Edition
- 1st Edition
- Number of pages
- 110
- Condition
- New
- SKU
- V9781449320553
- ISBN
- 9781449320553
Paperback
Condition: New
€ 17.39
€ 17.39
Paperback. This volume introduces the Microsoft C# programming language, including the Microsoft .NET Common Language Runtime (CLR) and .NET Framework Class Libraries (FCL) that support it. This book's key concepts serve as a roadmap to the online documentation included with the Microsoft .NET Framework SDK. Num Pages: 218 pages, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 231 x 190 x 13. Weight in Grams: 322.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- O´Reilly Media United States
- Edition
- 2nd
- Number of pages
- 218
- Condition
- New
- SKU
- V9780596003159
- ISBN
- 9780596003159
Paperback
Condition: New
€ 36.39
€ 36.39