.png){kind=logo}
Computer programming / software development
Results 7881 - 7900 of 8407
Computer programming / software development
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Chechik, Marsha; Raskin, Jean-Franco...
Paperback. Editor(s): Chechik, Marsha; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science. Num Pages: 980 pages, 220 black & white illustrations, biography. BIC Classification: UMB; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155. Weight in Grams: 1478.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 980
- Condition
- New
- SKU
- V9783662496732
- ISBN
- 9783662496732
Paperback
Condition: New
€ 72.85
€ 72.85
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Legay, Axel; Margaria, Tiziana
Paperback. Editor(s): Legay, Axel; Margaria, Tiziana. Series: Lecture Notes in Computer Science. Num Pages: 574 pages, 152 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2017
- Number of pages
- 574
- Condition
- New
- SKU
- V9783662545768
- ISBN
- 9783662545768
Paperback
Condition: New
€ 69.76
€ 69.76
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Legay, Axel; Margaria, Tiziana
Paperback. Editor(s): Legay, Axel; Margaria, Tiziana. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, 88 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2017
- Number of pages
- 376
- Condition
- New
- SKU
- V9783662545799
- ISBN
- 9783662545799
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. none Editor(s): Muller, Matthias S.; Resch, Michael M.; Schulz, Alexander; Nagel, Wolfgang E. Num Pages: 198 pages, biography. BIC Classification: GPFC; UMZ; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783642437526
- ISBN
- 9783642437526
Paperback
Condition: New
€ 126.80
€ 126.80
Paperback. Editor(s): Brunst, Holger; Muller, Matthias S.; Nagel, Wolfgang E.; Resch, Michael M. Num Pages: 172 pages, biography. BIC Classification: UB; UMB; UMX; UNF; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 172
- Condition
- New
- SKU
- V9783642439858
- ISBN
- 9783642439858
Paperback
Condition: New
€ 126.53
€ 126.53
Paperback. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 183 pages, 31 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642357459
- ISBN
- 9783642357459
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Sako, Kazue. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, 68 colour illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 476
- Condition
- New
- SKU
- V9783319294841
- ISBN
- 9783319294841
Paperback
Condition: New
€ 68.35
€ 68.35
paperback. Editor(s): Handschuh, Helena. Series: Lecture Notes in Computer Science. Num Pages: 452 pages, 78 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Switzerland
- Number of pages
- 452
- Condition
- New
- Edition
- 1st ed. 2017
- SKU
- V9783319521527
- ISBN
- 9783319521527
Paperback
Condition: New
€ 68.23
€ 68.23
Topics in Performance Evaluation, Measurement and Characterization: Th...
. Ed(S): Nambiar, Raghunath; Poess, Meikel
paperback. Editor(s): Nambiar, Raghunath; Poess, Meikel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 60 black & white illustrations, biography. BIC Classification: JPP; UMZ; UNH; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642326264
- ISBN
- 9783642326264
Paperback
Condition: New
€ 85.78
€ 85.78
Topological Methods in Data Analysis and Visualization III
. Ed(S): Bremer, Peer-Timo; Hotz, Ingrid; Pas...
Paperback. Editor(s): Bremer, Peer-Timo; Hotz, Ingrid; Pascucci, Valerio; Peikert, Ronald. Series: Mathematics and Visualization. Num Pages: 289 pages, 29 black & white illustrations, 69 colour illustrations, biography. BIC Classification: PBK; PBM; PBP; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 289
- Condition
- New
- SKU
- V9783319381657
- ISBN
- 9783319381657
Paperback
Condition: New
€ 193.77
€ 193.77
Hardback. Intends to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is suitable for professionals, researchers and graduate students in theoretical computer science and formal methods. Num Pages: 220 pages, biography. BIC Classification: PB; UL; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 220
- Condition
- New
- SKU
- V9780387950921
- ISBN
- 9780387950921
Hardback
Condition: New
€ 71.29
€ 71.29
Paperback. Num Pages: 220 pages, biography. BIC Classification: PB; UM; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 220
- Condition
- New
- SKU
- V9781461265221
- ISBN
- 9781461265221
Paperback
Condition: New
€ 66.34
€ 66.34
Paperback. Num Pages: 289 pages, 69 black & white illustrations, biography. BIC Classification: UMS. Category: (G) General (US: Trade). Dimension: 254 x 178 x 14. Weight in Grams: 388.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Apress
- Edition
- 3rd Edition
- Number of pages
- 250
- Condition
- New
- SKU
- V9781430261360
- ISBN
- 9781430261360
Paperback
Condition: New
€ 33.21
€ 33.21
Paperback. Editor(s): Quinn, Peter J.; Gorski, Krzysztof M. Series: ESO Astrophysics Symposia. Num Pages: 366 pages, 71 black & white illustrations, biography. BIC Classification: PG; PHVB; TTDS; UKN; UMB; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 366
- Condition
- New
- SKU
- V9783662308172
- ISBN
- 9783662308172
Paperback
Condition: New
€ 128.45
€ 128.45
Paperback. Editor(s): Koblitz, Neal. Num Pages: 176 pages, biography. BIC Classification: UKN; UKR; UMB; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover of orig. ed.
- Number of pages
- 176
- Condition
- New
- SKU
- V9781441949721
- ISBN
- 9781441949721
Paperback
Condition: New
€ 127.73
€ 127.73
Hardback. Offers an analysis of the critical factors involved in software engineering control and the means to achieve greater control of software projects. The central argument advocates an expansion of the current practice to include the control of development, maintenance and re-use of software. Num Pages: 177 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 449.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 177
- Condition
- New
- SKU
- V9780792317517
- ISBN
- 9780792317517
Hardback
Condition: New
€ 131.34
€ 131.34
Paperback. Num Pages: 177 pages, biography. BIC Classification: KJQ; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 10. Weight in Grams: 309.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 177
- Condition
- New
- SKU
- V9789401050968
- ISBN
- 9789401050968
Paperback
Condition: New
€ 126.86
€ 126.86
Hardback. Hardware-intrinsic security is a young field dealing with secure secret key storage. This book features contributions from researchers and practitioners with backgrounds in physics, mathematics, cryptography, coding theory and processor theory. Editor(s): Sadeghi, Ahmad-Reza; Naccache, David. Series: Information Security and Cryptography. Num Pages: 423 pages, biography. BIC Classification: TJF; UK; UMB. Category: (P) Professional & Vocational. Dimension: 245 x 167 x 33. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 423
- Condition
- New
- SKU
- V9783642144516
- ISBN
- 9783642144516
Hardback
Condition: New
€ 196.84
€ 196.84
Paperback. Hardware-intrinsic security is a young field dealing with secure secret key storage. This book features contributions from researchers and practitioners with backgrounds in physics, mathematics, cryptography, coding theory and processor theory. Editor(s): Sadeghi, Ahmad-Reza; Naccache, David. Series: Information Security and Cryptography. Num Pages: 423 pages, biography. BIC Classification: THR; UK; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 423
- Condition
- New
- SKU
- V9783642265785
- ISBN
- 9783642265785
Paperback
Condition: New
€ 195.30
€ 195.30
Paperback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; HPL; PBC; PBF; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 344
- Condition
- New
- SKU
- V9789048180653
- ISBN
- 9789048180653
Paperback
Condition: New
€ 194.77
€ 194.77