.png){kind=logo}
Computer programming / software development
Results 7705 - 7728 of 8407
Computer programming / software development
Paperback. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos; Truthe, Bianca. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 289 pages, 76 black & white illustrations, biography. BIC Classification: PBD; PDE; PSA; UMB; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 289
- Condition
- New
- SKU
- V9783319079523
- ISBN
- 9783319079523
Paperback
Condition: New
€ 66.66
€ 66.66
Paperback. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos; Sierra-Rodriguez, Jose-Luis; Truthe, Bianca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 628 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 628
- Condition
- New
- SKU
- V9783319049205
- ISBN
- 9783319049205
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Editor(s): Dediu, Adrian Horia; Magdalena, Luis; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 189 pages, 53 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 189
- Condition
- New
- SKU
- V9783319268408
- ISBN
- 9783319268408
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback. Editor(s): Dediu, Adrian Horia; Formenti, Enrico; Martin-Vide, Carlos; Truthe, Bianca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 769 pages, 140 black & white illustrations, biography. BIC Classification: PBD; UMB; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 39. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 769
- Condition
- New
- SKU
- V9783319155784
- ISBN
- 9783319155784
Paperback
Condition: New
€ 71.62
€ 71.62
Programming Environments for Massively Parallel Distributed Systems
. Ed(S): Decker, Karsten M.; Rehmann, Rene M.
Paperback. Editor(s): Decker, Karsten M.; Rehmann, Rene M. Num Pages: 423 pages, biography. BIC Classification: UMX; UMZ; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 423
- Condition
- New
- SKU
- V9783034896689
- ISBN
- 9783034896689
Paperback
Condition: New
€ 68.37
€ 68.37
Paperback. Editor(s): Dechow, Douglas R.; Struppa, Daniele C. Series: History of Computing. Num Pages: 166 pages, 43 black & white illustrations, biography. BIC Classification: H; UMB; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 166
- Condition
- New
- SKU
- V9783319363806
- ISBN
- 9783319363806
Paperback
Condition: New
€ 71.09
€ 71.09
On the Move to Meaningful Internet Systems: OTM 2015 Conferences
. Ed(S): Debruyne, Christophe; Panetto, Herve...
Paperback. Editor(s): Debruyne, Christophe; Panetto, Herve; Meersman, Robert; Dillon, Tharam S.; Weichhart, Georg; Ardagna, Claudio Agostino; Yuan, A. Series: Lecture Notes in Computer Science. Num Pages: 703 pages, 236 colour illustrations, biography. BIC Classification: JPP; UMZ; UNH; UR; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1062.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 703
- Condition
- New
- SKU
- V9783319261478
- ISBN
- 9783319261478
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Constitutes the refereed proceedings of the 16th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2011. Editor(s): Debled-Rennesson, Isabelle; Domenjoud, Eric; Kerautret, Bertrand; Even, Philippe. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 540 pages, biography. BIC Classification: UGN; UMB; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783642198663
- ISBN
- 9783642198663
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. Editor(s): De Paiva, Valeria; Queiroz, Ruy de; Moss, Lawrence S.; Leivant, Daniel; Oliveira, Anjolina G. de. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 14 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783662477083
- ISBN
- 9783662477083
Paperback
Condition: New
€ 55.88
€ 55.88
Paperback. Editor(s): De Nicola, Rocco; Hennicker, Rolf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 708 pages. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1068.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 708
- Condition
- New
- SKU
- V9783319155449
- ISBN
- 9783319155449
Paperback
Condition: New
€ 70.39
€ 70.39
Hardback. Constitutes the refereed proceedings of the Second IFIP WG 11.6 Working Conference on Policies and Research in Identity Management, IDMAN 2010, held in Oslo, Norway, in November 2010. This title features the papers that focus on identity management in general and surveillance and monitoring in particular. Editor(s): De Leeuw, Elisabeth; Fischer-Hubner, Simone; Fritsch, Lothar. Series: IFIP Advances in Information and Communication Technology. Num Pages: 151 pages, biography. BIC Classification: UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 399.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642173028
- ISBN
- 9783642173028
Hardback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): De Cristofaro, Emiliano; Wright, Matthew. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 275 pages, 88 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642390760
- ISBN
- 9783642390760
Paperback
Condition: New
€ 61.41
€ 61.41
Advances in Intelligent Data Analysis XIV: 14th International Symposiu...
. Ed(S): de Bie, Tijl; Van Leeuwen, Matthijs;...
paperback. Editor(s): De Bie, Tijl; Van Leeuwen, Matthijs; Fromont, Elisa. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, 95 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 375
- Condition
- New
- SKU
- V9783319244648
- ISBN
- 9783319244648
Paperback
Condition: New
€ 67.41
€ 67.41
High Performance Computing for Computational Science - VECPAR 2014
. Ed(S): Dayde, Michel; Marques, Osni; Nakaji...
Paperback. Editor(s): Dayde, Michel; Marques, Osni; Nakajima, Kengo. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, 146 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 328
- Condition
- New
- SKU
- V9783319173528
- ISBN
- 9783319173528
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. Editor(s): Dawar, Anuj; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 269 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642138232
- ISBN
- 9783642138232
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics. Editor(s): Davis, Martin; Schonberg, Edmond. Num Pages: 220 pages, 5 black & white tables, biography. BIC Classification: PBC; PHQ; TJFM1; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 220
- Condition
- New
- SKU
- V9781447161707
- ISBN
- 9781447161707
Paperback
Condition: New
€ 126.89
€ 126.89
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Davis, Martin; Fehnker, Ansgar; McIv...
Paperback. Editor(s): Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 655 pages, 142 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 655
- Condition
- New
- SKU
- V9783662488980
- ISBN
- 9783662488980
Paperback
Condition: New
€ 69.94
€ 69.94
Paperback. Editor(s): Davis, Lawrence David; Jong, Kenneth A. de; Vose, Michael; Whitley, L. Darrell. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 303 pages, 34 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 303
- Condition
- New
- SKU
- V9781461271857
- ISBN
- 9781461271857
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, that was held in Natal, Brazil, in November 2010. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems. Editor(s): Davies, Jim; Silva, Leila; Simao, Adenilso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 299 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642198281
- ISBN
- 9783642198281
Paperback
Condition: New
€ 66.97
€ 66.97
Socio-Technical Design of Ubiquitous Computing Systems
. Ed(S): David, Klaus; Geihs, Kurt; Leimeiste...
Paperback. Editor(s): David, Klaus; Geihs, Kurt; Leimeister, Jan Marco; Rossnagel, Alexander; Schmidt, Ludger; Stumme, Gerd; Wacker, Arno. Num Pages: 363 pages, 49 black & white illustrations, 26 colour illustrations, biography. BIC Classification: UBJ; UMZ; UR; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 363
- Condition
- New
- SKU
- V9783319353609
- ISBN
- 9783319353609
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): Dastani, Mehdi; Sirjani, Marjan. Series: Lecture Notes in Computer Science. Num Pages: 327 pages, 80 colour illustrations, biography. BIC Classification: UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 327
- Condition
- New
- SKU
- V9783319246437
- ISBN
- 9783319246437
Paperback
Condition: New
€ 66.97
€ 66.97
Specification and Verification of Multi-Agent Systems
. Ed(S): Dastani, Mehdi; Hindriks, Koen V.; M...
Hardback. Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more. Editor(s): Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Ch. Num Pages: 422 pages, biography. BIC Classification: UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 165 x 31. Weight in Grams: 762.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 422
- Condition
- New
- SKU
- V9781441969835
- ISBN
- 9781441969835
Hardback
Condition: New
€ 202.30
€ 202.30
Languages, Methodologies, and Development Tools for Multi-Agent System...
. Ed(S): Dastani, Mehdi; El Fallah Seghrouchn...
Paperback. Constitutes the refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010 that was held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. Editor(s): Dastani, Mehdi; El Fallah Seghrouchni, Amal; Hubner, Jomi Fred; Leite, Joao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 162 pages, biography. BIC Classification: UM; UNH; UY; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 252.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 162
- Condition
- New
- SKU
- V9783642227226
- ISBN
- 9783642227226
Paperback
Condition: New
€ 82.27
€ 82.27
Paperback. Editor(s): Dassow, Jurgen; Kruse, Rudolf. Series: Informatik Aktuell. Num Pages: 419 pages, 104 black & white illustrations. BIC Classification: UML; UYQ; UYQL; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783540649380
- ISBN
- 9783540649380
Paperback
Condition: New
€ 84.79
€ 84.79