Computer programming / software development
Results 7801 - 7820 of 7836
Computer programming / software development
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
€ 67.87
€ 67.87
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
€ 68.66
€ 68.66
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
€ 135.92
€ 135.92
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
€ 69.02
€ 69.02
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
€ 252.67
€ 252.67
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
€ 130.34
€ 130.34
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
€ 67.77
€ 67.77
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
€ 71.95
€ 71.95
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
€ 72.61
€ 72.61
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
€ 71.81
€ 71.81
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
€ 70.75
€ 70.75
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
€ 132.47
€ 132.47
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
€ 129.98
€ 129.98
Paperback. Editor(s): Abramowicz, Witold; Zurada, Jozef. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 450 pages, 53 black & white illustrations, biography. BIC Classification: KJQ; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 450
- Condition
- New
- SKU
- V9781475774757
- ISBN
- 9781475774757
Paperback
Condition: New
€ 250.99
€ 250.99
Paperback. Editor(s): Abrahamsson, Pekka; Jedlitschka, Andreas; Mikkonen, Tommi. Series: Lecture Notes in Computer Science. Num Pages: 777 pages, 156 black & white illustrations, biography. BIC Classification: KJQ; UBJ; UGK; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 40. Weight in Grams: 1205.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 777
- Condition
- New
- SKU
- V9783319490939
- ISBN
- 9783319490939
Paperback
Condition: New
€ 71.21
€ 71.21
Paperback. Editor(s): Abrahamsson, Pekka; Corral, Luis; Oivo, Markku; Russo, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 639 pages, 147 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 967.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 639
- Condition
- New
- SKU
- V9783319268439
- ISBN
- 9783319268439
Paperback
Condition: New
€ 69.79
€ 69.79
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Abraham, Erika; Palamidessi, Catusci...
Paperback. Editor(s): Abraham, Erika; Palamidessi, Catuscia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 313 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783662436127
- ISBN
- 9783662436127
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Editor(s): Abraham, Erika; Johnsen, Einar Broch; Bonsangue, Marcello. Series: Lecture Notes in Computer Science. Num Pages: 427 pages, 112 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 427
- Condition
- New
- SKU
- V9783319307336
- ISBN
- 9783319307336
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Abraham, Erika; Huisman, Marieke. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, 145 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 552
- Condition
- New
- SKU
- V9783319336923
- ISBN
- 9783319336923
Paperback
Condition: New
€ 107.69
€ 107.69
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abraham, Erika; Havelund, Klaus
Paperback. Editor(s): Abraham, Erika; Havelund, Klaus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 142 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 670
- Condition
- New
- SKU
- V9783642548611
- ISBN
- 9783642548611
Paperback
Condition: New
€ 70.66
€ 70.66