.png){kind=logo}
Computer programming / software development
Results 1001 - 1020 of 7831
Computer programming / software development
Paperback. Editor(s): Golden, Bruce L. (Golden, University of Maryland); Raghavan, S. (University of Maryland); Wasil, Edward A. (American University). Series: Operations Research/Computer Science Interfaces Series. Num Pages: 405 pages, 93 black & white tables, biography. BIC Classification: KJT; PBKS; PBU; UMA; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 405
- Condition
- New
- SKU
- V9781461498513
- ISBN
- 9781461498513
Paperback
Condition: New
€ 249.45
€ 249.45
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
€ 128.63
€ 128.63
Medical Image Computing and Computer-Assisted Intervention - MICCAI 20...
. Ed(S): Golland, Polina; Hata, Nobuhiko; Bar...
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
€ 72.61
€ 72.61
Medical Image Computing and Computer-Assisted Intervention - MICCAI 20...
. Ed(S): Golland, Polina; Hata, Nobuhiko; Bar...
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
€ 68.17
€ 68.17
Medical Image Computing and Computer-Assisted Intervention - MICCAI 20...
. Ed(S): Golland, Polina; Hata, Nobuhiko; Bar...
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
€ 71.71
€ 71.71
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
€ 66.95
€ 66.95
Numerical Linear Algebra, Digital Signal Processing and Parallel Algor...
. Ed(S): Golub, Gene H.; Dooren, Paul Van
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
€ 133.08
€ 133.08
Bio-Inspired Computing -- Theories and Applications
. Ed(S): Gong, Maoguo; Pan, Linqiang; Song, T...
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
€ 71.41
€ 71.41
Emerging Research in Web Information Systems and Mining
. Ed(S): Gong, Zhiguo; Luo, Xiangfeng; Chen, ...
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
€ 68.78
€ 68.78
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
€ 67.24
€ 67.24
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
€ 68.74
€ 68.74
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
€ 71.69
€ 71.69
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
€ 61.41
€ 61.41
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems
. Ed(S): Gorke, Winfried; Sorensen, Holger
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
€ 129.71
€ 129.71
Paperback. This volume comprises the edited proceedings of the second CoreGRID Integration Workshop, CGIW'2006, held October 2006 in Krakow, Poland. CoreGRID aims to advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies. Editor(s): Gorlatch, Sergei; Bubak, Marian; Priol, Thierry. Num Pages: 238 pages, 20 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UN; UTR; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 238
- Condition
- New
- SKU
- V9781441944504
- ISBN
- 9781441944504
Paperback
Condition: New
€ 181.90
€ 181.90
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
€ 66.58
€ 66.58
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
€ 72.34
€ 72.34
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Goutsias, John; Vincent, Luc; Bloomb...
Paperback. Editor(s): Goutsias, John; Vincent, Luc; Bloomberg, Dan S. Series: Computational Imaging and Vision. Num Pages: 456 pages, biography. BIC Classification: THR; TTBM; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 456
- Condition
- New
- SKU
- V9781475773552
- ISBN
- 9781475773552
Paperback
Condition: New
€ 251.01
€ 251.01
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
€ 67.48
€ 67.48
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
€ 197.64
€ 197.64