.png){kind=logo}
Computer programming / software development
Results 561 - 580 of 7779
Computer programming / software development
Paperback. Editor(s): Diaz, Josep; Sangiorgi, Davide. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 57 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783662446010
- ISBN
- 9783662446010
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Calude, Christian S.; Sassone, Vladimiro. Series: IFIP Advances in Information and Communication Technology. Num Pages: 400 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642423116
- ISBN
- 9783642423116
Paperback
Condition: New
€ 67.99
€ 67.99
Hardback. Constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, that was held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Calude, Christian S.; Sassone, Vladimiro. Series: IFIP Advances in Information and Communication Technology. Num Pages: 400 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642152399
- ISBN
- 9783642152399
Hardback
Condition: New
€ 68.98
€ 68.98
Paperback. Series: Natural Computing Series. Num Pages: 509 pages, 15 black & white tables, biography. BIC Classification: KJT; PBKS; PHS; PSA; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 711.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 509
- Condition
- New
- SKU
- V9783642086762
- ISBN
- 9783642086762
Paperback
Condition: New
€ 196.15
€ 196.15
Paperback. Editor(s): Roychoudhury, Abhik; D'Souza, Meenakshi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 74 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642329425
- ISBN
- 9783642329425
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Editor(s): Ciobanu, Gabriel; Mery, Dominique. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 496 pages, 97 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319108810
- ISBN
- 9783319108810
Paperback
Condition: New
€ 68.49
€ 68.49
Paperback. Editor(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 100 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642397172
- ISBN
- 9783642397172
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Leucker, Martin; Rueda, Camilo; Valencia, Frank D. Series: Lecture Notes in Computer Science. Num Pages: 644 pages, 142 colour illustrations, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 973.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 644
- Condition
- New
- SKU
- V9783319251493
- ISBN
- 9783319251493
Paperback
Condition: New
€ 69.82
€ 69.82
Theoretical Aspects of Computer Software: 4th International Symposium,...
. Ed(S): Kobayashi, Naoki; Pierce, Benjamin C...
paperback. This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic. Editor(s): Kobayashi, Naoki; Pierce, Benjamin C. Series: Lecture Notes in Computer Science. Num Pages: 576 pages, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9783540427360
- ISBN
- 9783540427360
Paperback
Condition: New
€ 75.71
€ 75.71
paperback. Editor(s): Zhou, Qihai. Series: Communications in Computer and Information Science. Num Pages: 630 pages, biography. BIC Classification: UKN; UMB; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 630
- Condition
- New
- SKU
- V9783642249983
- ISBN
- 9783642249983
Paperback
Condition: New
€ 130.98
€ 130.98
Paperback. Editor(s): Sampaio, Augusto; Wang, Farn. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319467498
- ISBN
- 9783319467498
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Series: Distinguished Dissertations. Num Pages: 186 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 311.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 186
- Condition
- New
- SKU
- V9781447115939
- ISBN
- 9781447115939
Paperback
Condition: New
€ 126.80
€ 126.80
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 74.41
€ 74.41
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 72.38
€ 72.38
Paperback. This text surveys a variety of Scripting Languages, illustrating their use in a wide variety of application domains, including Perl V, Tcl, Word Basic, Java Script, Visual Basic, and VB Script. It also explores object architectures such as COM, OLE and ActiveX and how they rely on scripting. Series: Worldwide Series in Computer Science. Num Pages: 506 pages, illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 193 x 29. Weight in Grams: 940.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 506
- Condition
- New
- SKU
- V9780471998860
- ISBN
- 9780471998860
Paperback
Condition: New
€ 78.27
€ 78.27
Paperback. Series: Springer Books on Professional Computing. Num Pages: 360 pages, 14 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 574.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 360
- Condition
- New
- SKU
- V9780387964409
- ISBN
- 9780387964409
Paperback
Condition: New
€ 160.61
€ 160.61
paperback. This is a reference guide to both HTML and VRML, modelled on the author's previous reference guides to AutoCAD. Each HTML and VRML command is given a description, its syntax and examples of its use. Version 3.0 features are highlighted. Num Pages: 272 pages, 100 black & white illustrations, biography. BIC Classification: UDF; UMW. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 246 x 189 x 14. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer United States
- Number of pages
- 272
- Condition
- New
- Edition
- 1997th Edition
- SKU
- V9780387948317
- ISBN
- 9780387948317
Paperback
Condition: New
€ 71.14
€ 71.14
Paperback. This book is for everyone who needs to test the web. As a tester, you'll automate your tests. As a developer, you'll build more robust solutions. And as a team, you'll gain a vocabulary and a means to coordinate how to write and organize automated tests for the web. Num Pages: 180 pages, colour illustrations. BIC Classification: UMZT. Category: (XV) Technical / Manuals. Dimension: 192 x 233 x 18. Weight in Grams: 456.
- Publisher
- The Pragmatic Programmers
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680501834
- ISBN
- 9781680501834
Paperback
Condition: New
€ 31.99€ 22.94
€ 31.99
€ 22.94
Mixed media pr. The Verilog Programming Language Interface is a powerful feature of the Verilog standard. This book serves as both a user's guide for learning the Verilog PLI, and as a comprehensive reference manual on the Verilog PLI standard. It covers the enhancements added in the IEEE 1364-2001 Verilog standard ("Verilog-2001"). It also includes a CD. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 784 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 42. Weight in Grams: 2880.
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 784
- Condition
- New
- SKU
- V9780792376583
- ISBN
- 9780792376583
Paperback
Condition: New
€ 263.58
€ 263.58
Paperback. Series: SpringerBriefs in Energy. Num Pages: 93 pages, 5 black & white illustrations, 18 colour illustrations, biography. BIC Classification: THRD; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 185.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 93
- Condition
- New
- SKU
- V9783319492285
- ISBN
- 9783319492285
Paperback
Condition: New
€ 81.53
€ 81.53