.png){kind=logo}
Computer programming / software development
Results 7001 - 7020 of 7779
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the Second International onference on Interactive Theorem proving, ITP 2011 that was held in Berg en Dal, The Netherlands. Editor(s): Eekelen, Marko van; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642228629
- ISBN
- 9783642228629
Paperback
Condition: New
€ 67.93
€ 67.93
paperback. Editor(s): Eder, Kerstin; Lourenco, Joao; Shehory, Onn. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, 95 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642341878
- ISBN
- 9783642341878
Paperback
Condition: New
€ 85.74
€ 85.74
paperback. The role of hardware-dependent software (HdS) is often underestimated and the topic is not well represented in literature. This is the first complete book on HdS, a critical topic in embedded system design. It brings together experts from different HdS areas. Editor(s): Ecker, Wolfgang; Muller, Wolfgang; Domer, Rainer. Num Pages: 299 pages, biography. BIC Classification: TJFC; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 299
- Condition
- New
- SKU
- V9789048181285
- ISBN
- 9789048181285
Paperback
Condition: New
€ 127.97
€ 127.97
Hardback. The role of hardware-dependent software (HdS) is often underestimated and the topic is not well represented in literature. This is the first complete book on HdS, a critical topic in embedded system design. It brings together experts from different HdS areas. Editor(s): Ecker, Wolfgang; Muller, Wolfgang; Domer, Rainer. Num Pages: 299 pages, biography. BIC Classification: TJFC; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 24. Weight in Grams: 614.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 299
- Condition
- New
- SKU
- V9781402094354
- ISBN
- 9781402094354
Hardback
Condition: New
€ 133.80
€ 133.80
Paperback. Editor(s): Echahed, Rachid; Minas, Mark. Series: Lecture Notes in Computer Science. Num Pages: 271 pages, 109 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 271
- Condition
- New
- SKU
- V9783319405292
- ISBN
- 9783319405292
Paperback
Condition: New
€ 66.49
€ 66.49
Hardback. Contains survey papers on the Clarke subdifferential and differentiability in Banach spaces, algorithms for solving nonsmooth equations, and control parametrization schemes in optimal control. This title is suitable for practitioners, postgraduate students and researchers in optimization. Editor(s): Eberhard, Andrew; Hill, Robin; Ralph, Daniel; Glover, Barney M. Series: Applied Optimization. Num Pages: 324 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1400.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9780792357339
- ISBN
- 9780792357339
Hardback
Condition: New
€ 134.06
€ 134.06
Paperback. Editor(s): Earnshaw, Rae; Wyvill, Brian. Num Pages: 728 pages, biography. BIC Classification: UGC; UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 37. Weight in Grams: 1239.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag, Japan Japan
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 728
- Condition
- New
- SKU
- V9784431680956
- ISBN
- 9784431680956
Paperback
Condition: New
€ 72.17
€ 72.17
Paperback. Editor(s): Earnshaw, Rae; Vince, John. Num Pages: 354 pages, 167 black & white illustrations, biography. BIC Classification: UG; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 354
- Condition
- New
- SKU
- V9781447110798
- ISBN
- 9781447110798
Paperback
Condition: New
€ 194.98
€ 194.98
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Multimedia Communications, Services and Security, MCSS 2011, that was held in Krakow, Poland, in June 2011. Editor(s): Dziech, Andrzej; Czyzewski, Andrzej. Series: Communications in Computer and Information Science. Num Pages: 368 pages, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642215117
- ISBN
- 9783642215117
Paperback
Condition: New
€ 67.69
€ 67.69
Hardback. Aimed at practitioners, graduate students in mathematics, statistics, computer science and engineering, this book is dedicated to the 70th birthday of Professor J Mockus, whose scientific interests include theory and applications of global and discrete optimization, and stochastic programming. Editor(s): Dzemyda, Gintautas; Saltenis, Vydunas; Zilinskas, Antanas. Series: Nonconvex Optimization and Its Applications. Num Pages: 248 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 248
- Condition
- New
- SKU
- V9781402004841
- ISBN
- 9781402004841
Hardback
Condition: New
€ 132.69
€ 132.69
Paperback. Editor(s): Dwyer, Tim; Purchase, Helen; Delaney, Aidan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 329 pages, 107 black & white illustrations, biography. BIC Classification: PBD; UBJ; UML; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 329
- Condition
- New
- SKU
- V9783662440421
- ISBN
- 9783662440421
Paperback
Condition: New
€ 72.56
€ 72.56
Hardback. Covering a multitude of different aspects of robust statistics, this title discusses future directions of the discipline, bringing together leading scientists, experienced researchers and practitioners, as well as younger researchers. Editor(s): Dutter, Rudolf; Filzmoser, Peter; Gather, Ursula; Rousseeuw, Peter J. Num Pages: 431 pages, 75 black & white tables, biography. BIC Classification: GPH; PBT; UMB; UNC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 836.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783790815184
- ISBN
- 9783790815184
Hardback
Condition: New
€ 196.60
€ 196.60
Hardback. Software engineering is primarily a human-based activity and rationale management is concerned with making design and development decisions explicit to all stakeholders involved. This title provides a summary of research on design rationale providing researchers in software engineering with an overview of the subject. Editor(s): Dutoit, Allen H.; McCall, Raymond (U Colorado); Mistrik, Ivan; Paech, Barbara. Num Pages: 456 pages, 92 black & white illustrations, 18 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1433.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540309970
- ISBN
- 9783540309970
Hardback
Condition: New
€ 134.21
€ 134.21
Conceptual Modelling and Its Theoretical Foundations
. Ed(S): Dusterhoft, Antje; Klettke, Meike; S...
Paperback. A festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday that presents 20 articles by colleagues from all over the world. It includes ten articles focusing on topics like database dependency theory, object-oriented databases, triggers, abstract state machines, and database and information systems design. Editor(s): Dusterhoft, Antje; Klettke, Meike; Schewe, Klaus-Dieter. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 329 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642282782
- ISBN
- 9783642282782
Paperback
Condition: New
€ 67.39
€ 67.39
Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2...
. Ed(S): Dustdar, Schahram; Leymann, Frank; V...
paperback. Editor(s): Dustdar, Schahram; Leymann, Frank; Villari, Massimo. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, 107 colour illustrations, biography. BIC Classification: UMZ; UNH; UTC. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 280
- Condition
- New
- SKU
- V9783319240718
- ISBN
- 9783319240718
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback. Provides a summary of software re-use and its main research issues, together with the results of current research from teams across Europe. Editor(s): Dusink, Liesbeth; Hall, Patrick A.V. Series: Workshops in Computing. Num Pages: 151 pages, 2 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 9. Weight in Grams: 301.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783540196525
- ISBN
- 9783540196525
Paperback
Condition: New
€ 65.94
€ 65.94
Spatio-Temporal Image Analysis for Longitudinal and Time-Series Image ...
. Ed(S): Durrleman, Stanley; Gerig, Guido; Ni...
Paperback. Editor(s): Durrleman, Stanley; Gerig, Guido; Niethammer, Marc. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 99 pages, 35 black & white illustrations, biography. BIC Classification: MMPH; UMB; UML; UYQ; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 5. Weight in Grams: 168.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 99
- Condition
- New
- SKU
- V9783319149042
- ISBN
- 9783319149042
Paperback
Condition: New
€ 55.88
€ 55.88
Spatio-Temporal Image Analysis for Longitudinal and Time-Series Image ...
. Ed(S): Durrleman, Stanley; Fletcher, Tom; G...
paperback. Constitutes the refereed proceedings of the Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with MICCAI 2012 in Nice, France, in October 2012. Editor(s): Durrleman, Stanley; Fletcher, Tom; Gerig, Guido; Niethammer, Marc. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 173 pages, 73 black & white illustrations, biography. BIC Classification: MMP; UMB; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 256.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642335549
- ISBN
- 9783642335549
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Durand-Lose, Jerome; Jonoska, Natasha. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 264 pages, 74 black & white illustrations, biography. BIC Classification: PSA; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642328930
- ISBN
- 9783642328930
Paperback
Condition: New
€ 61.44
€ 61.44
Paperback. Editor(s): Duquesne, Sylvain; Petkova-Nikova, Svetla. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 12 black & white illustrations, biography. BIC Classification: GPJ; PBD; UKN; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 277
- Condition
- New
- SKU
- V9783319552262
- ISBN
- 9783319552262
Paperback
Condition: New
€ 66.66
€ 66.66