.png){kind=logo}
Computer programming / software development
Results 7521 - 7540 of 7667
Computer programming / software development
Paperback. Editor(s): Bar-Noy, Amotz; Halldorsson, Magnus M. Series: Lecture Notes in Computer Science. Num Pages: 155 pages, 26 black & white illustrations, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 229.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642360916
- ISBN
- 9783642360916
Paperback
Condition: New
€ 61.41
€ 61.41
Persuasive Technology: Design for Health and Safety: 7th International...
. Ed(S): Bang, Magnus; Ragnemalm, Eva L.
paperback. Contains the proceedings of the 7th International Conference on Persuasive Technology, Persuasive 2012, held in Linkoping, Sweden, in June 2012. This title covers the typical fields of persuasive technology, such as health, safety and education. Editor(s): Bang, Magnus; Ragnemalm, Eva L. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 292 pages, 63 black & white illustrations, biography. BIC Classification: MBP; UBJ; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642310362
- ISBN
- 9783642310362
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Editor(s): Baloian, Nelson; Zorian, Yervant; Taslakian, Perouz; Shoukouryan, Samvel. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 74 black & white illustrations, biography. BIC Classification: JNV; UBJ; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319227467
- ISBN
- 9783319227467
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. This book presents the results on the analysis and verification of distributed software systems using the SPIN model checker. Editor(s): Ball, Thomas; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783540401179
- ISBN
- 9783540401179
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback / so. Editor(s): Baldoni, Roberto; Nisse, Nicolas; Van Steen, Maarten. Series: Lecture Notes in Computer Science / Theoretical Computer Sci. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783319038490
- ISBN
- 9783319038490
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Editor(s): Baldoni, Matteo; Muller, Jorg P. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319509822
- ISBN
- 9783319509822
Paperback
Condition: New
€ 66.18
€ 66.18
Paperback. Editor(s): Baldoni, Matteo; Dennis, Louise; Mascardi, Viviana; Vasconcelos, Wamberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 221 pages, 42 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642378898
- ISBN
- 9783642378898
Paperback
Condition: New
€ 85.05
€ 85.05
PRIMA 2016: Princiles and Practice of Multi-Agent Systems
. Ed(S): Baldoni, Matteo; Chopra, Amit K.; So...
Paperback. Editor(s): Baldoni, Matteo; Chopra, Amit K.; Son, Tran Cao; Torroni, Paolo. Series: Lecture Notes in Computer Science. Num Pages: 418 pages, 100 black & white illustrations, biography. BIC Classification: UMX; UNH; UYA; UYQ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 418
- Condition
- New
- SKU
- V9783319448312
- ISBN
- 9783319448312
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Baldoni, Matteo; Baresi, Luciano; Dastani, Mehdi. Series: Lecture Notes in Computer Science. Num Pages: 241 pages, 55 colour illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 241
- Condition
- New
- SKU
- V9783319261836
- ISBN
- 9783319261836
Paperback
Condition: New
€ 66.22
€ 66.22
Paperback. Contains the thoroughly refereed proceedings of eight international workshops held in Gdansk, Poland, in conjunction with the 24th International Conference on "Advanced Information Systems Engineering", CAiSE 2012, in June 2012. Editor(s): Bajec, Marko; Eder, Johann. Series: Lecture Notes in Business Information Processing. Num Pages: 666 pages, 238 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 666
- Condition
- New
- SKU
- V9783642310683
- ISBN
- 9783642310683
Paperback
Condition: New
€ 70.57
€ 70.57
Paperback. Editor(s): Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 57 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UNF; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319195445
- ISBN
- 9783319195445
Paperback
Condition: New
€ 67.03
€ 67.03
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Baier, Christel; Tinelli, Cesare
Paperback. Editor(s): Baier, Christel; Tinelli, Cesare. Series: Lecture Notes in Computer Science. Num Pages: 743 pages, 210 black & white illustrations, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1122.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 743
- Condition
- New
- SKU
- V9783662466803
- ISBN
- 9783662466803
Paperback
Condition: New
€ 70.73
€ 70.73
Foundations of Information Technology in the Era of Network and Mobile...
. Ed(S): Baeza-Yates, Ricardo; Montanari, Ugo...
Hardback. Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002. Editor(s): Baeza-Yates, Ricardo; Montanari, Ugo; Santoro, Nicola. Series: IFIP Advances in Information and Communication Technology. Num Pages: 628 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 628
- Condition
- New
- SKU
- V9781402071812
- ISBN
- 9781402071812
Hardback
Condition: New
€ 198.00
€ 198.00
Evolutionary Computation 1: Basic Algorithms and Operators
. Ed(S): Baeck, Thomas; Fogel, D. B.; Michale...
paperback. Offers information on algorithms and operators used in evolutionary computing. This book discusses the basic ideas that underlie the main paradigms of evolutionary algorithms, evolution strategies, evolutionary programming, and genetic programming. It is suitable for individual researchers, teachers, and students in the field. Editor(s): Baeck, Thomas; Fogel, D. B.; Michalewicz, Z. Num Pages: 378 pages, Illustrations. BIC Classification: UMB. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 13. Weight in Grams: 521.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- CRC Press United Kingdom
- Edition
- 1st Edition
- Number of pages
- 378
- Condition
- New
- SKU
- V9780750306645
- ISBN
- 9780750306645
Paperback
Condition: New
€ 102.54
€ 102.54
Paperback. Editor(s): Badger, Julia M.; Rozier, Kristin Yvonne. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 386 pages, 114 black & white illustrations, biography. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 386
- Condition
- New
- SKU
- V9783319061993
- ISBN
- 9783319061993
Paperback
Condition: New
€ 67.51
€ 67.51
Theory of Quantum Computation, Communication, and Cryptography
. Ed(S): Bacon, Dave; Martin-Delgado, Miguel;...
Paperback. Editor(s): Bacon, Dave; Martin-Delgado, Miguel; Roetteler, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 219 pages, 37 black & white illustrations, biography. BIC Classification: GPJ; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642544286
- ISBN
- 9783642544286
Paperback
Condition: New
€ 66.01
€ 66.01
Algebraic and Coalgebraic Methods in the Mathematics of Program Constr...
. Ed(S): Backhouse, Roland C.; Crole, Roy; Gi...
Paperback. This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more. Editor(s): Backhouse, Roland C.; Crole, Roy; Gibbons, Jeremy. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540436133
- ISBN
- 9783540436133
Paperback
Condition: New
€ 72.32
€ 72.32
Many-Electron Approaches in Physics, Chemistry and Mathematics
. Ed(S): Bach, Volker; Delle Site, Luigi
paperback. Editor(s): Bach, Volker; Delle Site, Luigi. Series: Mathematical Physics Studies. Num Pages: 426 pages, 12 black & white illustrations, 47 colour illustrations, biography. BIC Classification: PHU; PNRP; UMA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 426
- Condition
- New
- SKU
- V9783319343044
- ISBN
- 9783319343044
Paperback
Condition: New
€ 67.87
€ 67.87
Paperback. Editor(s): Baccelli, Francois; Jean-Marie, Alain; Mitrani, Isi. Series: ESPRIT Basic Research Series. Num Pages: 298 pages, 8 black & white tables, biography. BIC Classification: UMA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 298
- Condition
- New
- SKU
- V9783642799198
- ISBN
- 9783642799198
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the refereed proceedings of the 4th European Conference on Software Architecture, ECSA 2010, held in Copenhagen, Denmark, in August 2010. Editor(s): Babar, Muhammad Ali; Gorton, Ian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, 162 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642151132
- ISBN
- 9783642151132
Paperback
Condition: New
€ 69.50
€ 69.50