Computer programming / software development
Results 1021 - 1040 of 7831
Computer programming / software development
paperback. Editor(s): Graf, Susanne; Mounier, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 324 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 324
- Condition
- New
- SKU
- V9783540213147
- ISBN
- 9783540213147
Paperback
Condition: New
€ 67.24
€ 67.24
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Graf, Susanne; Viswanathan, Mahesh
Paperback. Editor(s): Graf, Susanne; Viswanathan, Mahesh. Series: Lecture Notes in Computer Science. Num Pages: 257 pages, 47 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 257
- Condition
- New
- SKU
- V9783319191942
- ISBN
- 9783319191942
Paperback
Condition: New
€ 66.37
€ 66.37
Paperback. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Editor(s): Gramlich, Bernhard; Miller, Dale; Sattler, Ulrike. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 582 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 582
- Condition
- New
- SKU
- V9783642313646
- ISBN
- 9783642313646
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Editor(s): Grasserbauer, M.; Zacherl, M.K. Series: Mikrochimica Acta Supplementa. Num Pages: 349 pages, 72 black & white illustrations, biography. BIC Classification: PNF; TGMT; UM. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 349
- Condition
- New
- SKU
- V9783211817599
- ISBN
- 9783211817599
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Grave, Michel; Le Lous, Yvon; Hewitt, W. T. Series: Focus on Computer Graphics. Num Pages: 215 pages, 3 black & white illustrations, biography. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642779046
- ISBN
- 9783642779046
Paperback
Condition: New
€ 127.13
€ 127.13
Implementation and Application of Functional Languages
. Ed(S): Grelck, Clemens; Huch, Frank; Michae...
Paperback. Constitutes the post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lubeck, Germany in September 2004. This book contains papers that address issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues. Editor(s): Grelck, Clemens; Huch, Frank; Michaelson, Greg; Trinder, Phil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 230 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540260943
- ISBN
- 9783540260943
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Editor(s): Greuel, Gert-Martin; Koch, Thorsten; Paule, Peter; Sommese, Andrew. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMZ; UN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 556
- Condition
- New
- SKU
- V9783319424316
- ISBN
- 9783319424316
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Service-Oriented Computing (SOC) allows software development time to be shortened by the composition of existing services across the Internet. This book reviews the related technologies and offers insight into state-of-the-art research results in the field. Editor(s): Griffiths, Nathan; Chao, Kuo-Ming (Coventry University). Series: Advanced Information and Knowledge Processing. Num Pages: 283 pages, 72 black & white illustrations, 22 black & white tables, biography. BIC Classification: UDB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 283
- Condition
- New
- SKU
- V9781447125341
- ISBN
- 9781447125341
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Editor(s): Grimsdale, R.; Strasser, Wolfgang. Series: Focus on Computer Graphics. Num Pages: 276 pages, biography. BIC Classification: TJF; UK; UML. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 15. Weight in Grams: 503.
- 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
- 276
- Condition
- New
- SKU
- V9783642763007
- ISBN
- 9783642763007
Paperback
Condition: New
€ 128.07
€ 128.07
Information Security and Privacy Research: 27th IFIP TC 11 Information...
. Ed(S): Gritzalis, Dimitris; Furnell, Steven...
hardcover. Constitutes the refered proceedings of the 27th IFIP TC 11 International Information Security Conference, SEC 2012, held in Heraklion, Crete, Greece, in June 2012. Editor(s): Gritzalis, Dimitris; Furnell, Steven; Theoharidou, Marianthi. Series: IFIP Advances in Information and Communication Technology. Num Pages: 608 pages, biography. BIC Classification: UKN; UMB; UNH; UR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1026.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 608
- Condition
- New
- SKU
- V9783642304354
- ISBN
- 9783642304354
Hardback
Condition: New
€ 131.81
€ 131.81
Paperback. Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are organized in topical sections on abstractions and state-space reductions; PROMELA encodings and extensions; and, applications of model checking. Editor(s): Groce, Alex; Musuvathi, Madanlal. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 35 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642223051
- ISBN
- 9783642223051
Paperback
Condition: New
€ 82.64
€ 82.64
Paperback. Editor(s): Grossi, Davide; Roy, Olivier; Huang, Huaxin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, 41 black & white illustrations, biography. BIC Classification: PBC; PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642409479
- ISBN
- 9783642409479
Paperback
Condition: New
€ 67.75
€ 67.75
Geographical Information Systems Theory, Applications and Management
. Ed(S): Grueau, Cedric; Gustavo, Jorge
Paperback. Editor(s): Grueau, Cedric; Gustavo, Jorge. Series: Communications in Computer and Information Science. Num Pages: 178 pages, 64 colour illustrations, biography. BIC Classification: RGW; UMA; UNF; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 178
- Condition
- New
- SKU
- V9783319295886
- ISBN
- 9783319295886
Paperback
Condition: New
€ 54.60
€ 54.60
Paperback. Editor(s): Grunbacher, Paul; Perini, Anna. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, 88 black & white illustrations, biography. BIC Classification: UB; UM; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 606.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 380
- Condition
- New
- SKU
- V9783319540443
- ISBN
- 9783319540443
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 74.41
€ 74.41
Paperback. Constitutes the refereed post-proceedings of the 4th International Workshop on Software Composition, SC 2005, held in April 2005. The papers in this volume are organized in topical sections on dynamic languages, component composition, component contracts and protocols, and component adaptation and configuration. Editor(s): Gschwind, Thomas; Assmann, Uwe; Nierstrasz, Oscar M. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 212 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 11. Weight in Grams: 690.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540287483
- ISBN
- 9783540287483
Paperback
Condition: New
€ 68.49
€ 68.49
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with Tools 2012 Federated Conferences. Editor(s): Gschwind, Thomas; Paoli, Flavio De; Gruhn, Volker; Book, Matthias. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 207 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 207
- Condition
- New
- SKU
- V9783642305634
- ISBN
- 9783642305634
Paperback
Condition: New
€ 66.10
€ 66.10
Transactional Memory. Foundations, Algorithms, Tools, and Applications...
. Ed(S): Guerraoui, Rachid; Romano, Paolo
paperback. Editor(s): Guerraoui, Rachid; Romano, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 469 pages, 133 black & white illustrations, biography. BIC Classification: UMB; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 2015th Edition
- Number of pages
- 469
- Condition
- New
- SKU
- V9783319147192
- ISBN
- 9783319147192
Paperback
Condition: New
€ 68.37
€ 68.37
Paperback. Compiled from the proceedings of the Second International Bioinformatics, this volume contains 39 revised full papers presented together with a full invited paper. Among the topics addressed are exact and approximate algorithms for genomics, sequence analysis, gene and signal recognition. Editor(s): Guigo, Roderic; Gusfield, Dan. Series: Lecture Notes in Computer Science. Num Pages: 554 pages, biography. BIC Classification: PSAK; PSB; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 554
- Condition
- New
- SKU
- V9783540442110
- ISBN
- 9783540442110
Paperback
Condition: New
€ 136.32
€ 136.32
Paperback. Editor(s): Guiochet, Jeremie; Bitsch, Friedemann. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 105 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UTN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 339
- Condition
- New
- SKU
- V9783319454764
- ISBN
- 9783319454764
Paperback
Condition: New
€ 67.12
€ 67.12