×


 x 

Shopping cart

Computer programming / software development

Results 1033 - 1056 of 6463

Computer programming / software development

Paperback. Constitutes the refereed proceedings of the 7th International Conference on E-Learning and Games, Edutainment 2012, held in conjunction with the 3rd International Conference on Serious Games for Training, Education, Health and Sports, GameDays 2012, held in Darmstadt, Germany, in September 2012. Editor(s): Gobel, Stefan; Mueller, Wolfgang; Urban, Bodo; Wiemeyer, Josef. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 212 pages, 68 black & white illustrations, biography. BIC Classification: JNV; UG; UKP; UML; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 305.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
212
Condition
New
SKU
V9783642334658
ISBN
9783642334658
Paperback
Condition: New

€ 58.98

paperback. Editor(s): Gobel, Stefan; Wiemeyer, Josef. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 214 pages, 70 black & white illustrations, biography. BIC Classification: JNV; UG; UKP; UML; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Edition
2014th Edition
Number of pages
214
Condition
New
SKU
V9783319059716
ISBN
9783319059716
Paperback
Condition: New

€ 63.08

Paperback. Editor(s): Goemans, Michel; Correa, Jose R. (Universidad Adolfo Ibanez). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 412 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 629.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
412
Condition
New
SKU
V9783642366932
ISBN
9783642366932
Paperback
Condition: New

€ 65.02

Paperback. Contains the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. Editor(s): Gogolla, Martin; Kobryn, Cris. Series: Lecture Notes in Computer Science. Num Pages: 528 pages, biography. BIC Classification: UKR; UMC; UMN; UMX; UMZL. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 27. Weight in Grams: 1630.
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
528
Condition
New
SKU
V9783540426677
ISBN
9783540426677
Paperback
Condition: New

€ 71.30

Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
205
Condition
New
SKU
V9783642217678
ISBN
9783642217678
Paperback
Condition: New

€ 64.58

Hardback. Memetic algorithms are a success story in sophisticated evolutionary computing. Written for as wide a readership as possible, this book reflects the current state-of-the-art in the theory and practice of Memetic algorithms and is an invaluable reference. Editor(s): Goh, Chi-Keong; Ong, Yew Soon; Tan, Kay Chen. Series: Studies in Computational Intelligence. Num Pages: 404 pages, 74 black & white tables, biography. BIC Classification: TBD; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 758.
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
404
Condition
New
SKU
V9783540880509
ISBN
9783540880509
Hardback
Condition: New

€ 192.62

Paperback. Editor(s): Goldberg, Andrew V.; Kulikov, Alexander S. Series: Lecture Notes in Computer Science. Num Pages: 402 pages, 96 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
402
Condition
New
SKU
V9783319388502
ISBN
9783319388502
Paperback
Condition: New

€ 64.86

Paperback. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543.
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1996
Number of pages
368
Condition
New
SKU
V9783540199779
ISBN
9783540199779
Paperback
Condition: New

€ 122.65

Paperback. Editor(s): Golland, Polina; Hata, Nobuhiko; Barillot, Christian; Hornegger, Joachim; Howe, Robert. Series: Lecture Notes in Computer Science. Num Pages: 872 pages, 351 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 162 x 248 x 47. Weight in Grams: 1284.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
872
Condition
New
SKU
V9783319104034
ISBN
9783319104034
Paperback
Condition: New

€ 69.42

Paperback. Editor(s): Golland, Polina; Hata, Nobuhiko; Barillot, Christian; Hornegger, Joachim; Howe, Robert. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 460 pages, 156 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
460
Condition
New
SKU
V9783319104423
ISBN
9783319104423
Paperback
Condition: New

€ 65.17

Paperback. Editor(s): Golland, Polina; Hata, Nobuhiko; Barillot, Christian; Hornegger, Joachim; Howe, Robert. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 854 pages, 365 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1288.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
854
Condition
New
SKU
V9783319104690
ISBN
9783319104690
Paperback
Condition: New

€ 68.74

Paperback. Constitutes the refereed proceedings of the 9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Application, CARDIS 2010, held in Passau, Germany, in April 2010. Editor(s): Gollmann, Dieter; Lanet, Jean-Louis. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 249 pages, 78 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 397.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
249
Condition
New
SKU
V9783642125096
ISBN
9783642125096
Paperback
Condition: New

€ 63.90

Paperback. Proceedings of the NATO Advanced Study Institute on Numerical Linear Algebra, Digital Signal Processing and Parallel Algorithms, held in Leuven, Belgium, August 1-12, 1988 Editor(s): Golub, Gene H.; Dooren, Paul Van. Series: NATO ASI Subseries F. Num Pages: 729 pages, biography. BIC Classification: PBKS; PHU; TJK; UMB; UYQE. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 38. Weight in Grams: 1261.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1991
Number of pages
729
Condition
New
SKU
V9783642755385
ISBN
9783642755385
Paperback
Condition: New

€ 127.44

Paperback. Editor(s): Gong, Maoguo; Pan, Linqiang; Song, Tao; Tang, Kenny; Zhang, Xingyi. Series: Communications in Computer and Information Science. Num Pages: 745 pages, 303 colour illustrations, biography. BIC Classification: UMA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1128.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
745
Condition
New
SKU
V9783662490136
ISBN
9783662490136
Paperback
Condition: New

€ 68.23

Paperback. Constitutes the refereed proceedings of the International Conference on Web Information Systems and Mining, WISM 2011, held in Taiyuan, China, in September 2011. This title includes the papers that are organized in topical sections on applications of artificial intelligence; applications of computational intelligence; and, intelligent control. Editor(s): Gong, Zhiguo; Luo, Xiangfeng; Chen, Junjie; Wang, Fu Lee; Lei, Jingsheng. Series: Communications in Computer and Information Science. Num Pages: 472 pages, biography. BIC Classification: UG; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 724.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
472
Condition
New
SKU
V9783642242724
ISBN
9783642242724
Paperback
Condition: New

€ 66.01

Paperback. Editor(s): Gonthier, Georges; Norrish, Michael. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 321 pages, 44 black & white illustrations, biography. BIC Classification: UMX; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
Format
Paperback
Publication date
2013
Publisher
Springer International Publishing AG Switzerland
Number of pages
321
Condition
New
SKU
V9783319035444
ISBN
9783319035444
Paperback
Condition: New

€ 64.46

Paperback. Editor(s): Goodloe, Alwyn; Person, Suzette. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 478 pages, 79 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
478
Condition
New
SKU
V9783642288906
ISBN
9783642288906
Paperback
Condition: New

€ 65.98

Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA. Editor(s): Gopalakrishnan, Ganesh C.; Qadeer, Shaz. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 778 pages, 134 black & white illustrations, 46 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1079.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
778
Condition
New
SKU
V9783642221095
ISBN
9783642221095
Paperback
Condition: New

€ 68.39

Paperback. Editor(s): Gorbenko, Anatoliy; Romanovsky, Alexander; Kharchenko, V.K. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 209 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UL; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
209
Condition
New
SKU
V9783642408939
ISBN
9783642408939
Paperback
Condition: New

€ 58.64

Paperback. Editor(s): Gorke, Winfried; Sorensen, Holger. Series: Informatik-Fachberichte. Num Pages: 390 pages, 3 black & white illustrations, biography. BIC Classification: UKS; UMB; UT; UYD; UYF. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 242 x 170 x 21. Weight in Grams: 745.
Format
Paperback
Publication date
1989
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1989
Number of pages
390
Condition
New
SKU
V9783540515654
ISBN
9783540515654
Paperback
Condition: New

€ 123.63

Paperback. Constitutes the refereed proceedings of the "12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012", held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. Editor(s): Goschka, Karl Michael; Haridi, Seif. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 252 pages, 71 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 372.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
252
Condition
New
SKU
V9783642308222
ISBN
9783642308222
Paperback
Condition: New

€ 63.94

Paperback / so. Editor(s): Gottlob, Georg; Fruhwirth, Thom (Universitat Ulm, Germany); Horn, Werner, Dip; Fruhwirth, Thomas. Series: Springers Angewandte Informatik. Num Pages: 232 pages, black & white illustrations, bibliography. BIC Classification: PBCD; UB; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 399.
Format
Paperback
Publication date
1990
Publisher
Springer Verlag GmbH Austria
Number of pages
232
Condition
New
SKU
V9783211822210
ISBN
9783211822210
Paperback
Condition: New

€ 69.12

Paperback. Editor(s): Govindarajan, Sathish; Maheshwari, Anil. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, 76 colour illustrations, biography. BIC Classification: PBD; PBKS; UMB; UML; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 587.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
382
Condition
New
SKU
V9783319292205
ISBN
9783319292205
Paperback
Condition: New

€ 64.51

Paperback. Editor(s): Grabmeier, Johannes; Kaltofen, Erich (North Carolina State University, USA); Weispfenning, Volker. Translator(s): Hitz, M. Num Pages: 637 pages, biography. BIC Classification: PBF; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 997.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 2003
Number of pages
637
Condition
New
SKU
V9783642629884
ISBN
9783642629884
Paperback
Condition: New

€ 188.58

Subscribe to our newsletter

News on special offers, signed editions & more!