.png){kind=logo}
Computer programming / software development
Results 8041 - 8064 of 8431
Computer programming / software development
Paperback. Editor(s): Brlek, Srecko; Reutenauer, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, 48 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783662531310
- ISBN
- 9783662531310
Paperback
Condition: New
€ 67.87
€ 67.87
Paperback. The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more. Editor(s): Brink, Chris; Kahl, Wolfram; Schmidt, Gunther. Series: Advances in Computing Sciences. Num Pages: 287 pages, 3 black & white illustrations, biography. BIC Classification: UMZ; UN; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 287
- Condition
- New
- SKU
- V9783211829714
- ISBN
- 9783211829714
Paperback
Condition: New
€ 67.36
€ 67.36
Paperback. Editor(s): Breugel, Franck van; Kashefi, Elham; Palamidessi, Catuscia; Rutten, Jan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 517 pages, 36 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. Category: (G) General (US: Trade). Dimension: 156 x 235 x 28. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 517
- Condition
- New
- SKU
- V9783319068794
- ISBN
- 9783319068794
Paperback
Condition: New
€ 68.71
€ 68.71
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
Paperback. This collection of essays celebrates the career of Judith Bishop, one of the most influential women in Computer Science, on the occasion of her sixtieth birthday. The contents span the fields of Software Engineering, Mobile, and Adaptive Systems. Editor(s): Breitman, Karin; Horspool, R. Nigel. Num Pages: 188 pages, 1 colour tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 296.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 188
- Condition
- New
- SKU
- V9781447160212
- ISBN
- 9781447160212
Paperback
Condition: New
€ 126.68
€ 126.68
Hardback. This collection of essays celebrates the career of Judith Bishop, one of the most influential women in Computer Science, on the occasion of her sixtieth birthday. The contents span the fields of Software Engineering, Mobile, and Adaptive Systems. Editor(s): Breitman, Karin K.; Horspool, Nigel. Num Pages: 188 pages, 1 colour tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012
- Number of pages
- 188
- Condition
- New
- SKU
- V9781447123491
- ISBN
- 9781447123491
Hardback
Condition: New
€ 127.73
€ 127.73
Paperback. Editor(s): Breitenecker, F.; Kleinert, W. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 676 pages, 6 black & white illustrations. BIC Classification: KJQ; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 35. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 676
- Condition
- New
- SKU
- V9783540133933
- ISBN
- 9783540133933
Paperback
Condition: New
€ 88.29
€ 88.29
Ambient Assisted Living. ICT-Based Solutions in Real Life Situations
. Ed(S): Bravo, Jose; Cleland, Ian; Guerrero,...
Paperback. Editor(s): Bravo, Jose; Cleland, Ian; Guerrero, Luis A. Series: Lecture Notes in Computer Science. Num Pages: 316 pages, 117 colour illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 316
- Condition
- New
- SKU
- V9783319264097
- ISBN
- 9783319264097
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Constitutes the refereed proceedings of the 4th International Workshop on Ambient Assisted Living, IWAAL 2012, held in Vitoria-Gasteiz, Spain, in December 2012. Editor(s): Bravo, Jose L.; Hervas, Ramon; Rodriguez, Marcela N. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 457 pages, 161 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642353949
- ISBN
- 9783642353949
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Constitutes the post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, that was held in Hoboken, NJ, USA, in September 2010. This book includes 11 full papers together with one invited paper that feature topics such as web services; service oriented computing; cloud computing; and, more. Editor(s): Bravetti, Mario; Bultan, Tevfik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 199 pages, 58 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 11. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 199
- Condition
- New
- SKU
- V9783642195884
- ISBN
- 9783642195884
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Editor(s): Braunl, Thomas; Rivera, Mariano. Series: Lecture Notes in Computer Science. Num Pages: 809 pages, 399 black & white illustrations, biography. BIC Classification: UML; UNH; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 41. Weight in Grams: 1223.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 809
- Condition
- New
- SKU
- V9783319294506
- ISBN
- 9783319294506
Paperback
Condition: New
€ 71.33
€ 71.33
Paperback. Editor(s): Brauer, Wilfried; Wahlster, Wolfgang. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 446 pages, black & white illustrations, bibliography. BIC Classification: UML; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 745.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783540184942
- ISBN
- 9783540184942
Paperback
Condition: New
€ 85.69
€ 85.69
Paperback. Assessing the state of the art in active research areas in theoretical computer science, this book presents research papers and survey articles written for Grzegorz Rozenberg's 60th birthday. Topics include basic decidability and the notion of information, graph grammars and graph transformations. Editor(s): Brauer, Wilfried; Ehrig, Hartmut; Karhumaki, Juhani; Salomaa, Arto K. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540431909
- ISBN
- 9783540431909
Paperback
Condition: New
€ 73.60
€ 73.60
Paperback. Editor(s): Brat, Guillaume; Rungta, Neha; Venet, Arnaud. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 510 pages, 164 black & white illustrations, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642380877
- ISBN
- 9783642380877
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Editor(s): Brandstadt, Andreas; Jansen, Klaus; Reischuk, Rudiger. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 450 pages, 114 black & white illustrations, biography. BIC Classification: PBD; PBKS; PBM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642450426
- ISBN
- 9783642450426
Paperback
Condition: New
€ 68.11
€ 68.11
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. Editor(s): Brambilla, Marco; Tokuda, T.; Tolksdorf, Robert. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 522 pages, 177 black & white illustrations, biography. BIC Classification: UMW; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 522
- Condition
- New
- SKU
- V9783642317521
- ISBN
- 9783642317521
Paperback
Condition: New
€ 69.28
€ 69.28
Formal Aspects of Component Software: 12th International Conference, F...
. Ed(S): Braga, Christiano; Olveczky, Peter C...
paperback. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319289335
- ISBN
- 9783319289335
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 188
- Condition
- New
- SKU
- V9783319150741
- ISBN
- 9783319150741
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642402289
- ISBN
- 9783642402289
Paperback
Condition: New
€ 61.44
€ 61.44
Paperback. Editor(s): Bozzon, Alessandro; Cudre-Mauroux, Philippe; Pautasso, Cesare. Series: Lecture Notes in Computer Science. Num Pages: 652 pages, 186 black & white illustrations, biography. BIC Classification: UMWS; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 652
- Condition
- New
- SKU
- V9783319387901
- ISBN
- 9783319387901
Paperback
Condition: New
€ 69.91
€ 69.91
Energy Minimization Methods in Computer Vision and Pattern Recognition
. Ed(S): Boykov, Yuri; Kahl, Fredrik; Lempits...
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2011, held in St Petersburg, Russia in July , 2011. This book is divided in sections on discrete and continuous optimization, segmentation, motion and video, and, learning and shape analysis. Editor(s): Boykov, Yuri; Kahl, Fredrik; Lempitsky, Victor; Schmidt, Frank R. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 450 pages, 38 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UMB; UNF; UYD; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642230936
- ISBN
- 9783642230936
Paperback
Condition: New
€ 68.35
€ 68.35
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 482
- Condition
- New
- SKU
- V9780412820403
- ISBN
- 9780412820403
Hardback
Condition: New
€ 267.99
€ 267.99
Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783540198185
- ISBN
- 9783540198185
Paperback
Condition: New
€ 67.93
€ 67.93
paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 405
- Condition
- New
- SKU
- V9783540198840
- ISBN
- 9783540198840
Paperback
Condition: New
€ 68.71
€ 68.71