Computer programming / software development
Results 25 - 48 of 8500
Computer programming / software development
Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540619291
- ISBN
- 9783540619291
Paperback
Condition: New
€ 124.50
€ 124.50
Paperback. A two-volume set that constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011. Editor(s): Aceto, Luca; Henzinger, Monika; Sgall, Jiri. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 692 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 692
- Condition
- New
- SKU
- V9783642220111
- ISBN
- 9783642220111
Paperback
Condition: New
€ 126.84
€ 126.84
Grammatical Inference - Algorithms and Applications
. Ed(S): Adriaans, Pieter; Fernau, Henning; V...
Paperback. These are the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands, in September 2002. Editor(s): Adriaans, Pieter; Fernau, Henning; Van Zaanen, M. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 318 pages, biography. BIC Classification: UMX; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540442394
- ISBN
- 9783540442394
Paperback
Condition: New
€ 67.85
€ 67.85
Paperback. Editor(s): Agapito, Lourdes; Bronstein, Michael M.; Rother, Carsten. Series: Lecture Notes in Computer Science. Num Pages: 863 pages, 369 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1300.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 863
- Condition
- New
- SKU
- V9783319161778
- ISBN
- 9783319161778
Paperback
Condition: New
€ 68.99
€ 68.99
Paperback. Editor(s): Agapito, Lourdes; Bronstein, Michael M.; Rother, Carsten. Series: Lecture Notes in Computer Science. Num Pages: 870 pages, 338 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 44. Weight in Grams: 1312.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 870
- Condition
- New
- SKU
- V9783319161808
- ISBN
- 9783319161808
Paperback
Condition: New
€ 69.76
€ 69.76
Paperback. Editor(s): Agapito, Lourdes; Bronstein, Michael M.; Rother, Carsten. Series: Lecture Notes in Computer Science. Num Pages: 881 pages, 393 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 44. Weight in Grams: 1329.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 881
- Condition
- New
- SKU
- V9783319161983
- ISBN
- 9783319161983
Paperback
Condition: New
€ 69.12
€ 69.12
Paperback. Editor(s): Agapito, Lourdes; Bronstein, Michael M.; Rother, Carsten. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 415 pages, 180 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 415
- Condition
- New
- SKU
- V9783319162195
- ISBN
- 9783319162195
Paperback
Condition: New
€ 65.13
€ 65.13
Hardback. Constitutes the refereed proceedings of the 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, held in Notre Dame, IN, USA, in May/June 2010. Editor(s): Agerfalk, Par J.; Boldyreff, Cornelia; Gonzalez-Barahona, Jesus M.; Madey, Gregory R.; Noll, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 455 pages, biography. BIC Classification: UKR; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 455
- Condition
- New
- SKU
- V9783642132438
- ISBN
- 9783642132438
Hardback
Condition: New
€ 124.89
€ 124.89
Paperback. Here is a thorough review of graph management and mining, offering extensive surveys on a variety of topics such as graph languages, indexing, clustering, data generation, pattern mining, classification, keyword search, pattern matching, and privacy. Editor(s): Aggarwal, Charu C.; Wang, Haixun. Series: Advances in Database Systems. Num Pages: 600 pages, 20 black & white illustrations, biography. BIC Classification: UML; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 33. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Previously published in hardcover
- Number of pages
- 600
- Condition
- New
- SKU
- V9781461425601
- ISBN
- 9781461425601
Paperback
Condition: New
€ 241.97
€ 241.97
Paperback. Constitutes the refereed proceedings of the 14th International Workshop on Combinatorial Image Analysis, IWCIA 2011, held in Madrid, Spain, in May 2011. This title presents the papers that are organized in topical sections such as combinatorial problems in the discrete plane and space related to image analysis; tilings and patterns; and, more. Editor(s): Aggarwal, Jake K.; Barneva, Reneta P.; Brimkov, Valentin E.; Koroutchev, Kostadin N.; Korutcheva, Elka R. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 496 pages, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783642210723
- ISBN
- 9783642210723
Paperback
Condition: New
€ 66.17
€ 66.17
Concurrent Object-Oriented Programming and Petri Nets
. Ed(S): Agha, Gul A.; Cindio, Fiorella De; R...
Paperback. This volume presents results on Petri nets and concurrent object-oriented programming. The 24 thoroughly reviewed and revised papers are organized in three sections including a detailed approach to integrating Petri nets and object-orientation, and concrete examples to demonstrate the approach. Editor(s): Agha, Gul A.; Cindio, Fiorella de; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540419426
- ISBN
- 9783540419426
Paperback
Condition: New
€ 130.23
€ 130.23
Paperback. This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more. Editor(s): Agha, Gul; Danvy, Olivier; Meseguer, Jose. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 467 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642249327
- ISBN
- 9783642249327
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. Constitutes the refereed proceedings of the Third International Conference on Mathematics and Computation in Music, MCM 2011, that was held in Paris, France. Editor(s): Agon, Carlos; Amiot, Emmanuel; Andreatta, Moreno; Assayag, Gerard; Bresson, Jean; Manderau, John. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 390 pages, 129 black & white illustrations, 71 colour illustrations, biography. BIC Classification: AV; GT; PBD; PBF; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 591.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642215896
- ISBN
- 9783642215896
Paperback
Condition: New
€ 65.07
€ 65.07
Paperback. Editor(s): Agotnes, T.; Broersen, Jan M.; Elgesem, Dag. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 227 pages, 21 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642315695
- ISBN
- 9783642315695
Paperback
Condition: New
€ 58.90
€ 58.90
Paperback. Editor(s): Agrawal, Manindra; Cooper, Barry S. (University of Leeds); Li, Angsheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 637 pages, 91 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 887.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 637
- Condition
- New
- SKU
- V9783642299513
- ISBN
- 9783642299513
Paperback
Condition: New
€ 67.35
€ 67.35
Paperback. Editor(s): Agrawal, Manindra; Li, Angsheng; Cooper, S. Barry. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 437 pages, 75 black & white illustrations, biography. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 437
- Condition
- New
- SKU
- V9783319060880
- ISBN
- 9783319060880
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. Editor(s): Aguirre, Anthony; Foster, Brendan; Merali, Zeeya. Series: The Frontiers Collection. Num Pages: 248 pages, 50 black & white illustrations, biography. BIC Classification: PDX; PHQ; PHU; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 248
- Condition
- New
- SKU
- V9783319360751
- ISBN
- 9783319360751
Paperback
Condition: New
€ 112.02
€ 112.02
Hardback. Editor(s): Ahlqvist, Ola; Schlieder, Christoph. Series: Advances in Geographic Information Science. Num Pages: 350 pages, 100 black & white illustrations, biography. BIC Classification: RGW; UMK. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 350
- Condition
- New
- SKU
- V9783319227733
- ISBN
- 9783319227733
Hardback
Condition: New
€ 187.36
€ 187.36
Paperback. Editor(s): Ahn, Hee-Kap; Shin, Chan-Su. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 803 pages, 144 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1211.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 803
- Condition
- New
- SKU
- V9783319130743
- ISBN
- 9783319130743
Paperback
Condition: New
€ 126.73
€ 126.73
Paperback / so. Editor(s): Aichele, Christian; Schonberger, Marius. Num Pages: black & white illustrations, bibliography. BIC Classification: UMZ; UYZG. Category: (G) General (US: Trade). Dimension: 244 x 170 x 22. Weight in Grams: 685.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783834824356
- ISBN
- 9783834824356
Paperback
Condition: New
€ 39.58
€ 39.58
Paperback. Editor(s): Aichernig, Bernhard K.; Furia, Carlo A. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 51 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319411347
- ISBN
- 9783319411347
Paperback
Condition: New
€ 63.40
€ 63.40
Paperback. Editor(s): Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; Georgievski, Ilche. Series: Lecture Notes in Computer Science. Num Pages: 275 pages, 85 black & white illustrations, biography. BIC Classification: UMZ; UNH; UR; UTC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 275
- Condition
- New
- SKU
- V9783319444819
- ISBN
- 9783319444819
Paperback
Condition: New
€ 63.91
€ 63.91
Paperback. Editor(s): Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 352 pages, 93 black & white illustrations, biography. BIC Classification: UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783662436516
- ISBN
- 9783662436516
Paperback
Condition: New
€ 64.50
€ 64.50
Paperback. Editor(s): Akademik Software Kooperat. Num Pages: 701 pages, 55 black & white illustrations. BIC Classification: KJQ; PB; UK; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1090.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 701
- Condition
- New
- SKU
- V9783540562863
- ISBN
- 9783540562863
Paperback
Condition: New
€ 84.22
€ 84.22