.png){kind=logo}
Computer programming / software development
Results 7421 - 7440 of 7660
Computer programming / software development
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen,...
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783662460801
- ISBN
- 9783662460801
Paperback
Condition: New
€ 68.41
€ 68.41
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Jobstmann, Barbara; Leino, K. Rustan...
Paperback. Editor(s): Jobstmann, Barbara; Leino, K. Rustan M. Series: Lecture Notes in Computer Science. Num Pages: 571 pages, 123 colour illustrations, biography. BIC Classification: UMZT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783662491218
- ISBN
- 9783662491218
Paperback
Condition: New
€ 69.67
€ 69.67
Paperback. Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, biography. BIC Classification: UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540878728
- ISBN
- 9783540878728
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Blazy, Sandrine; Chechik, Marsha. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319488684
- ISBN
- 9783319488684
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Editor(s): Cohen, Ernie; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, 83 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642541070
- ISBN
- 9783642541070
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): Giannakopoulou, Dimitra; Kroening, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, 107 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319121536
- ISBN
- 9783319121536
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Editor(s): Gurfinkel, Arie; Seshia, Sanjit A. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, 41 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783319296128
- ISBN
- 9783319296128
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 11. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540112051
- ISBN
- 9783540112051
Paperback
Condition: New
€ 68.56
€ 68.56
Hardback. Suitable for those who are new to the field and wanted to know what "all this Verilog stuff is about." This work is easy to read, and it serves as a desktop reference. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 764.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 3 Rev ed
- Number of pages
- 356
- Condition
- New
- SKU
- V9780792376729
- ISBN
- 9780792376729
Hardback
Condition: New
€ 196.19
€ 196.19
Hardback. The IEEE 1364-2001 standard, nicknamed 'Verilog-2001', is the first update to the Verilog language since its inception in 1984. This book presents 45 enhancements contained in Verilog-2001 standard. It describes ANSI C style port declarations for modules, primitives, tasks and functions; and, automatic tasks and functions. Editor(s): Sutherland, Stuart. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 135 pages, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 870.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 135
- Condition
- New
- SKU
- V9780792375685
- ISBN
- 9780792375685
Hardback
Condition: New
€ 130.50
€ 130.50
Paperback. Written by members of the development that maintains Subversion, this is the official guide and reference manual for the popular open source revision control technology. It covers Subversion 1.5 and includes an introduction to Subversion, a guided tour of the capabilities and structure and detailed coverage of advanced topics. Num Pages: 432 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 178 x 22. Weight in Grams: 704.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- Second Edition
- Number of pages
- 432
- Condition
- New
- SKU
- V9780596510336
- ISBN
- 9780596510336
Paperback
Condition: New
€ 43.99€ 41.37
€ 43.99
€ 41.37
Paperback / so. Series: Gabler Edition Wissenschaft. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV5; UMB. Category: (G) General (US: Trade). Dimension: 203 x 133 x 19. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824472840
- ISBN
- 9783824472840
Paperback
Condition: New
€ 72.44
€ 72.44
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 294 pages, 28 black & white illustrations. BIC Classification: UKN; UMB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 550.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783540518358
- ISBN
- 9783540518358
Paperback
Condition: New
€ 73.09
€ 73.09
Paperback. Num Pages: 322 pages, 250 colour illustrations, biography. BIC Classification: UG; UML; UYT. Category: (G) General (US: Trade). Dimension: 268 x 227 x 23. Weight in Grams: 558.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221303
- ISBN
- 9781484221303
Paperback
Condition: New
€ 49.91
€ 49.91
Hardback. Intended for those seeking an enhanced proficiency in VHDL, this text addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. Num Pages: 384 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 946.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 384
- Condition
- New
- SKU
- V9780792381150
- ISBN
- 9780792381150
Hardback
Condition: New
€ 197.86
€ 197.86
Hardcover. Making VHDL a simple and easy-to-use hardware description language Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. Num Pages: 484 pages, Illustrations. BIC Classification: TJF; UMX. Category: (P) Professional & Vocational. Dimension: 175 x 251 x 29. Weight in Grams: 972.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 484
- Format
- Hardback
- Publication date
- 2011
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780470688472
- ISBN
- 9780470688472
Hardback
Condition: New
€ 87.18
€ 87.18
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 214 pages, biography. BIC Classification: GPFC; THR; UGC; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 214
- Condition
- New
- SKU
- V9781461364276
- ISBN
- 9781461364276
Paperback
Condition: New
€ 66.37
€ 66.37
Paperback. vi and Vim are immensely powerful tools for anyone working with Unix, Linux, or Mac OS X, but there are far too many commands for anyone to remember. This handy little book puts all of the essential information about vi and Vim at your fingertips, in a format that makes browsing easy. Num Pages: 94 pages. BIC Classification: UMX. Category: (XV) Technical / Manuals. Dimension: 178 x 111 x 6. Weight in Grams: 82.
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 94
- Format
- Paperback
- Publication date
- 2011
- Edition
- Second Edition
- Condition
- New
- SKU
- V9781449392178
- ISBN
- 9781449392178
Paperback
Condition: New
€ 26.99€ 20.35
€ 26.99
€ 20.35
Paperback. Editor(s): Distante, Cosimo; Battiato, Sebastiano; Cavallaro, Andrea. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 169 pages, 67 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 169
- Condition
- New
- SKU
- V9783319128108
- ISBN
- 9783319128108
Paperback
Condition: New
€ 54.53
€ 54.53
Paperback. Editor(s): Rosenfeld, Azriel; Doermann, David; DeMenthon, Daniel. Series: The International Series in Video Computing. Num Pages: 340 pages, biography. BIC Classification: TJF; UG; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 340
- Condition
- New
- SKU
- V9781441953834
- ISBN
- 9781441953834
Paperback
Condition: New
€ 194.65
€ 194.65