Computer programming / software development
Results 621 - 640 of 7779
Computer programming / software development
Paperback. Editor(s): Damiani, Ernesto; Madravio, Mauro. Series: Studies in Fuzziness and Soft Computing. Num Pages: 325 pages, biography. BIC Classification: PBW; TBJ; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 325
- Condition
- New
- SKU
- V9783642535833
- ISBN
- 9783642535833
Paperback
Condition: New
€ 194.37
€ 194.37
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Damm, Werner; Olderog, Ernst-Rudiger
Paperback. Compiled from the proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, the 25 papers are organized by topic, including synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing and more. Editor(s): Damm, Werner; Olderog, Ernst-Rudiger. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: TJF; UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540441656
- ISBN
- 9783540441656
Paperback
Condition: New
€ 73.57
€ 73.57
Paperback. Editor(s): Damsgaard, Jan; Zinner, Henriksen Helle. Series: IFIP Advances in Information and Communication Technology. Num Pages: 231 pages, biography. BIC Classification: KJM; KJMV6; KJQ; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 231
- Condition
- New
- SKU
- V9781475788457
- ISBN
- 9781475788457
Paperback
Condition: New
€ 127.22
€ 127.22
Paperback. Editor(s): Danaev, Nargozy; Shokin, Yurii I.; Darkhan, Akhmed-Zaki. Series: Communications in Computer and Information Science. Num Pages: 223 pages, 93 black & white illustrations, biography. BIC Classification: PBWH; UMB; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 223
- Condition
- New
- SKU
- V9783319250571
- ISBN
- 9783319250571
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 420
- Condition
- New
- SKU
- V9781852333591
- ISBN
- 9781852333591
Paperback
Condition: New
€ 133.46
€ 133.46
Paperback. Editor(s): Dang, Tran Khanh; Wagner, Roland; Kung, Josef; Thoai, Nam; Takizawa, Makoto. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, 155 black & white illustrations, biography. BIC Classification: UMB; URD; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 443
- Condition
- New
- SKU
- V9783319480565
- ISBN
- 9783319480565
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Constitutes the thoroughly refereed proceedings of 12 international workshops held in Clermont-Ferrand, France, in conjunction with the 9th International Conference on Business Process Management, BPM 2011, in August 2011. Editor(s): Daniel, Florian; Barkaoui, Kamel; Dustdar, Schahram. Series: Lecture Notes in Business Information Processing. Num Pages: 482 pages, biography. BIC Classification: JPP; KJQ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 33. Weight in Grams: 822.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 482
- Condition
- New
- SKU
- V9783642281075
- ISBN
- 9783642281075
Paperback
Condition: New
€ 108.13
€ 108.13
Paperback. Constitutes the thoroughly refereed proceedings of 12 international workshops held in Clermont-Ferrand, France, in conjunction with the 9th International Conference on Business Process Management, BPM 2011, in August 2011. Editor(s): Daniel, Florian; Barkaoui, Kamel; Dustdar, Schahram. Series: Lecture Notes in Business Information Processing. Num Pages: 480 pages, 176 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783642281143
- ISBN
- 9783642281143
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Editor(s): Daniel, Florian; Diaz, Oscar. Series: Lecture Notes in Computer Science. Num Pages: 215 pages, 42 colour illustrations, biography. BIC Classification: UBW; UMW; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319247991
- ISBN
- 9783319247991
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Editor(s): Daniel, Florian; Dolog, Peter; Li, Qing. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 546 pages, 185 black & white illustrations, biography. BIC Classification: JPP; UMZ; UNH; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642391996
- ISBN
- 9783642391996
Paperback
Condition: New
€ 69.43
€ 69.43
Paperback. Editor(s): Daniel, Florian; Pautasso, Cesare. Series: Communications in Computer and Information Science. Num Pages: 130 pages, 52 black & white illustrations, biography. BIC Classification: JPP; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 215.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 130
- Condition
- New
- SKU
- V9783319287263
- ISBN
- 9783319287263
Paperback
Condition: New
€ 77.95
€ 77.95
paperback. Editor(s): Daniel, Florian; Wang, Jianmin; Weber, Barbara. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 371 pages, 124 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642401756
- ISBN
- 9783642401756
Paperback
Condition: New
€ 67.33
€ 67.33
Paperback. Editor(s): Danvy, Olivier; Henglein, Fritz; Mairson, Harry; Pettorossi, Alberto. Num Pages: 272 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 272
- Condition
- New
- SKU
- V9789048176748
- ISBN
- 9789048176748
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Presents the proceedings of the Phoenix Seminar and Workshop on Declarative Programming held in Sasbachwalden in 1991. The papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches and programming methodology. Editor(s): Darlington, J. (Imperial College of Science, Technology and Medicine, London); Dietrich, R. (University of Karlsruhe, Germany). Series: Workshops in Computing. Num Pages: 327 pages, 4 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540197355
- ISBN
- 9783540197355
Paperback
Condition: New
€ 67.81
€ 67.81
Proceedings of Fourth International Conference on Soft Computing for P...
. Ed(S): Das, Kedar Nath; Deep, Kusum; Pant, ...
Paperback. Editor(s): Das, Kedar Nath; Deep, Kusum; Pant, Millie; Bansal, Jagdish Chand; Nagar, Atulya K. Series: Advances in Intelligent Systems and Computing. Num Pages: 647 pages, 278 black & white illustrations, 126 black & white tables, biography. BIC Classification: UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 647
- Condition
- New
- SKU
- V9788132222163
- ISBN
- 9788132222163
Paperback
Condition: New
€ 252.79
€ 252.79
Proceedings of Fourth International Conference on Soft Computing for P...
. Ed(S): Das, Kedar Nath; Deep, Kusum; Pant, ...
Paperback. Editor(s): Das, Kedar Nath; Deep, Kusum; Pant, Millie; Bansal, Jagdish Chand; Nagar, Atulya K. Series: Advances in Intelligent Systems and Computing. Num Pages: 681 pages, 230 black & white illustrations, 130 black & white tables, biography. BIC Classification: UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1032.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 681
- Condition
- New
- SKU
- V9788132222194
- ISBN
- 9788132222194
Paperback
Condition: New
€ 252.55
€ 252.55
Paperback. Editor(s): Das, Sajal Kumar; Nita-Rotaru, Cristina; Kantarcioglu, Murat. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 275 pages, 57 black & white illustrations, biography. BIC Classification: PBUD; UKN; UMB; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 275
- Condition
- New
- SKU
- V9783319027852
- ISBN
- 9783319027852
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Das, Vinu V.; Chaba, Yogesh. Series: Communications in Computer and Information Science. Num Pages: 583 pages, 379 black & white illustrations, biography. BIC Classification: UB; UKN; UMZ; UNH; UT; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 583
- Condition
- New
- SKU
- V9783642358630
- ISBN
- 9783642358630
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback. Editor(s): Das, Vinu V.; El-Kafrawy, Passent M. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 237 pages, 144 black & white illustrations, biography. BIC Classification: UKN; UMZ; UT; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 237
- Condition
- New
- SKU
- V9783319116280
- ISBN
- 9783319116280
Paperback
Condition: New
€ 66.18
€ 66.18
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