.png){kind=logo}
Computer programming / software development
Results 7121 - 7140 of 7779
Computer programming / software development
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
Artificial Intelligence and Evolutionary Computations in Engineering S...
. Ed(S): Dash, Subhransu Sekhar; Vijayakumar,...
Paperback. Editor(s): Dash, Subhransu Sekhar; Vijayakumar, K.; Panigrahi, Bijaya Ketan; Das, Swagatam. Series: Advances in Intelligent Systems and Computing. Num Pages: 889 pages, 149 black & white illustrations, 306 colour illustrations, 301 colour tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 889
- Condition
- New
- SKU
- V9789811031731
- ISBN
- 9789811031731
Paperback
Condition: New
€ 432.12
€ 432.12
Paperback. Constitutes the refereed proceedings of the International Conference on Advances in Information Technology and Mobile Communication, AIM 2011, held at Nagpur, India, in April 2011. This book features the papers covering various issues in theory, practices, and applications of Information Technology, and related topics. Editor(s): Das, Vinu V.; Thomas, Gylson; Gaol, Ford Lumban. Series: Communications in Computer and Information Science. Num Pages: 535 pages, biography. BIC Classification: UBJ; UKN; UMZ; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 748.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 535
- Condition
- New
- SKU
- V9783642205729
- ISBN
- 9783642205729
Paperback
Condition: New
€ 130.04
€ 130.04
Paperback. Constitutes the proceedings of the First International Conference on Computational Intelligence and Information Technology, CIIT 2011, held in Pune, India, in November 2011. Editor(s): Das, Vinu V.; Thankachan, Nessy. Series: Communications in Computer and Information Science. Num Pages: 901 pages, 481 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 45. Weight in Grams: 1359.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 901
- Condition
- New
- SKU
- V9783642257339
- ISBN
- 9783642257339
Paperback
Condition: New
€ 133.73
€ 133.73
Paperback. Constitutes the refereed proceedings of the Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, that was held in Bangalore, India. This book includes 41 revised full papers, together with 50 short papers and 39 poster papers. It features research in the field of Information Technology, Networks and more. Editor(s): Das, Vinu V.; Stephen, Janahanlal; Chaba, Yogesh. Series: Communications in Computer and Information Science. Num Pages: 676 pages, 179 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 956.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 676
- Condition
- New
- SKU
- V9783642195419
- ISBN
- 9783642195419
Paperback
Condition: New
€ 131.66
€ 131.66
Paperback. Editor(s): Das, Vinu V.; Stephen, Janahanlal. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 473 pages, 253 black & white illustrations, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642356148
- ISBN
- 9783642356148
Paperback
Condition: New
€ 68.74
€ 68.74