Computer programming / software development
Results 2901 - 2920 of 2953
Computer programming / software development
Statistical Atlases and Computational Models of the Heart
. Ed(S): Camara, Oscar; Pop, Mihaela; Rhode, ...
Paperback. A that book constitutes the refereed proceedings of the First Joint International Workshop on Statistical Atlases and Computational Models of the Heart and Cardiac Electrophysiological Simulation Challenge, STACOM-CESC 2010, that was held in conjunction with MICCAI 2010, in Beijing, China, in September 2010. Editor(s): Camara, Oscar; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Smith, Nicholas; Young, Alistair. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, 140 black & white illustrations, biography. BIC Classification: PSA; UG; UM; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642158346
- ISBN
- 9783642158346
Paperback
Condition: New
€ 70.55
€ 70.55
Statistical Atlases and Computational Models of the Heart
. Ed(S): Camara, Oscar; Konukoglu, E.; Pop, M...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2011, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011. Editor(s): Camara, Oscar; Konukoglu, E.; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Young, Alistair. Series: Lecture Notes in Computer Science. Num Pages: 286 pages, 136 black & white illustrations, 2 colour illustrations, biography. BIC Classification: PSA; UG; UMA; UNH; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642283253
- ISBN
- 9783642283253
Paperback
Condition: New
€ 87.84
€ 87.84
Paperback. This volume is dedicated to Hermann Maurer on his 70th birthday. Topics include Automata, Formal Languages and Computability to various aspects of the Practice of Computer Science, as well as from Algorithmics to Learning. Editor(s): Calude, Cristian S.; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 30 black & white illustrations, 39 colour illustrations, biography. BIC Classification: UBJ; UM; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 237 x 155 x 16. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642193903
- ISBN
- 9783642193903
Paperback
Condition: New
€ 70.55
€ 70.55
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 72.26
€ 72.26
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Man...
. Ed(S): Buchwald, Hagen; Fleischmann, Albert...
Paperback. Constitutes the refereed proceedings of the First Workshop on Subject-Oriented Business Process Management, S-BPM ONE 2009, held in Karlsruhe, Germany, in October 2009. This title features the papers that are organized in topical sections on visionary engagements; essential capabilities; and, penetration perspectives. Editor(s): Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef G.; Stary, Christian. Series: Communications in Computer and Information Science. Num Pages: 149 pages, 63 black & white illustrations, biography. BIC Classification: UKR; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 149
- Condition
- New
- SKU
- V9783642159145
- ISBN
- 9783642159145
Paperback
Condition: New
€ 68.27
€ 68.27
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 70.55
€ 70.55
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 70.27
€ 70.27
Paperback. Constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. Editor(s): Brorsson, Mats; Pinho, Luis Miguel. Series: Lecture Notes in Computer Science. Num Pages: 220 pages, 59 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783642305979
- ISBN
- 9783642305979
Paperback
Condition: New
€ 69.92
€ 69.92
Modelling Autonomic Communication Environments: 5th IEEE International...
. Ed(S): Brennan, Rob; Fleck, Joel, Ii; Meer,...
paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 125
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642168352
- ISBN
- 9783642168352
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Constitutes the refereed proceedings of the 18th International Symposium on Graph Drawing, GD 2010, held in Konstanz, Germany, during September 2010. This title also contains a detailed report about the 17th Annual Graph Drawing Contest, held as a satellite event of GD 2010. Editor(s): Brandes, Ulrik; Cornelsen, Sabine. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, 111 black & white illustrations, 91 colour illustrations, biography. BIC Classification: UMB; UYA; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642184680
- ISBN
- 9783642184680
Paperback
Condition: New
€ 71.95
€ 71.95
Paperback. Constitutes the refereed proceedings of the Third International DMTF Academic Alliance Workshop, SVM 2009, that was held in Wuhan, China, in September 2009. Editor(s): Boursas, Latifa; Carlson, Mark; Jin, Hai; Sibilla, Michelle; Wold, Kes. Series: Communications in Computer and Information Science. Num Pages: 103 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UND; UTV. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 103
- Condition
- New
- SKU
- V9783642149436
- ISBN
- 9783642149436
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010. This book includes papers that are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, and geometry. Editor(s): Boulic, Ronan; Chrysanthou, Yiorgos; Komura, Taku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 436 pages, 210 black & white illustrations, biography. BIC Classification: UGK; UGN; UKR; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642169571
- ISBN
- 9783642169571
Paperback
Condition: New
€ 72.08
€ 72.08
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642156427
- ISBN
- 9783642156427
Paperback
Condition: New
€ 71.63
€ 71.63
Testing: Academic and Industrial Conference - Practice and Research Te...
. Ed(S): Bottaci, Leonardo; Fraser, Gordon
paperback. Constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, that was held in Windsor, UK, in September 2010. Editor(s): Bottaci, Leonardo; Fraser, Gordon. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 82 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642155840
- ISBN
- 9783642155840
Paperback
Condition: New
€ 69.92
€ 69.92
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 70.70
€ 70.70
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 69.76
€ 69.76
Hardback. LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This title describes a 5 year project that moved LOTOS out of the ISO tower into software engineering practice. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 488
- Condition
- New
- SKU
- V9780792395294
- ISBN
- 9780792395294
Hardback
Condition: New
€ 211.86
€ 211.86
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. Editor(s): Bolduc, Claude; Desharnais, Jules; Ktari, Bechir. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 427 pages, 57 black & white illustrations, biography. BIC Classification: MJCM; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 427
- Condition
- New
- SKU
- V9783642133206
- ISBN
- 9783642133206
Paperback
Condition: New
€ 71.79
€ 71.79
Hardback. Scientific applications involve large computations that strain the resources of whatever computers are available. This book addresses methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, and the role of object-oriented languages. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 378
- Condition
- New
- SKU
- V9780792373391
- ISBN
- 9780792373391
Hardback
Condition: New
€ 256.74
€ 256.74
Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 70.86
€ 70.86