Computer science
Results 2401 - 2424 of 2501
Computer science
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
€ 68.83
€ 68.83
Paperback. This work constitutes the refereed post-proceedings of the Second International Conference on Cooperative Multimodal Communication, 1998. It covers topical sections on multimodal generation, multimodal co-operation, multimodal interpretation, and multimedia platforms and test environments. Editor(s): Bunt, Harry; Beun, Robbert-Jan. Series: Lecture Notes in Computer Science. Num Pages: 256 pages, 51 black & white illustrations, 3 colour illustrations, 4 black & white tables, biography. BIC Classification: UL; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 14. Weight in Grams: 452.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 256
- Condition
- New
- SKU
- V9783540428060
- ISBN
- 9783540428060
Paperback
Condition: New
€ 64.07
€ 64.07
Hardback. Editor(s): Brunst, Holger; Muller, Matthias S.; Nagel, Wolfgang E.; Resch, Michael M. Num Pages: 156 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 431.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642314759
- ISBN
- 9783642314759
Hardback
Condition: New
€ 128.15
€ 128.15
Paperback. Editor(s): Brunnstein, Klaus; Berleur, Jacques. Series: IFIP Advances in Information and Communication Technology. Num Pages: 344 pages, biography. BIC Classification: GT; HPQ; JHB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 344
- Condition
- New
- SKU
- V9781475754292
- ISBN
- 9781475754292
Paperback
Condition: New
€ 122.64
€ 122.64
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
€ 67.20
€ 67.20
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
€ 67.44
€ 67.44
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
€ 66.61
€ 66.61
Paperback. These contributions, compiled as a tribute to Professor Janis Bubenko on his retirement from the University of Stockholm, are in three sections: information society; approaches to information systems engineering; and concepts for information system. Editor(s): Brinkkemper, Sjaak; Lindencrona, Eva; Solvberg, Arne. Num Pages: 339 pages, 36 black & white illustrations, biography. BIC Classification: UKR; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 339
- Condition
- New
- SKU
- V9781852333171
- ISBN
- 9781852333171
Paperback
Condition: New
€ 64.61
€ 64.61
Paperback. Editor(s): Brezillon, Patrick; Gonzalez, Avelino J. Num Pages: 591 pages, 147 black & white illustrations, 27 black & white tables, biography. BIC Classification: UGK; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 591
- Condition
- New
- SKU
- V9781493955763
- ISBN
- 9781493955763
Paperback
Condition: New
€ 187.74
€ 187.74
Paperback. BlogTalk, the International Conference on Social Software, brings together different groups of people using and advancing the Internet and its usage: technical and conceptual developers, researchers with interdisciplinary backgrounds, and practitioners alike. This volume includes 6 papers from BlogTalk 2008 as well as 11 papers from BlogTalk 2009. Editor(s): Breslin, John G.; Burg, Thomas N.; Kim, Hong-Gee; Raftery, Tom; Schmidt, Jan-Hinrik. Series: Lecture Notes in Computer Science. Num Pages: 177 pages, 63 black & white illustrations, biography. BIC Classification: UBJ; UGB; UKN; UKR; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 177
- Condition
- New
- SKU
- V9783642165801
- ISBN
- 9783642165801
Paperback
Condition: New
€ 66.20
€ 66.20
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
€ 65.66
€ 65.66
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
€ 66.58
€ 66.58
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
€ 68.66
€ 68.66
Service Orientation in Holonic and Multi-Agent Manufacturing
. Ed(S): Borangiu, Theodor; Thomas, Andre; Tr...
Paperback. Editor(s): Borangiu, Theodor; Thomas, Andre; Trentesaux, Damien. Series: Studies in Computational Intelligence. Num Pages: 344 pages, 100 black & white illustrations, 6 colour illustrations, biography. BIC Classification: TGP; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 344
- Condition
- New
- SKU
- V9783319365336
- ISBN
- 9783319365336
Paperback
Condition: New
€ 122.32
€ 122.32
Paperback. Editor(s): Bonato, Vanderlei; Bouganis, Christos-Savvas; Gorgon, Marek. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, 195 colour illustrations, biography. BIC Classification: UK; UMB; UNH; UT; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 384
- Condition
- New
- SKU
- V9783319304809
- ISBN
- 9783319304809
Paperback
Condition: New
€ 64.61
€ 64.61
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
€ 66.46
€ 66.46
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
€ 68.39
€ 68.39
Paperback. Contains the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2010, held in Warsaw, Poland, in September 2010. Editor(s): Bolc, Leonard; Tadeusiewicz, Ryszard; Chmielewski, Leszek J.; Wojciechowski, Konrad. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 433 pages, 207 black & white illustrations, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 907.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 433
- Condition
- New
- SKU
- V9783642159091
- ISBN
- 9783642159091
Paperback
Condition: New
€ 70.16
€ 70.16
Paperback. Contains proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2010, held in Warsaw, Poland, in September 2010. This title includes papers organized in sections such as: advances in pattern recognition, machine vision and image understanding; human motion analysis and synthesis; and computer vision and graphics. Editor(s): Bolc, Leonard; Tadeusiewicz, Ryszard; Chmielewski, Leszek J.; Wojciechowski, Konrad. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 395 pages, 237 black & white illustrations, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783642159060
- ISBN
- 9783642159060
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the refereed proceedings of the Second International Conference on Social Informatics, SocInfo 2010, held in Laxenburg, Austria, in October 2010. Editor(s): Bolc, Leonard; Makowski, Marek; Wierzbicki, Adam. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 249 pages, 63 black & white illustrations, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783642165665
- ISBN
- 9783642165665
Paperback
Condition: New
€ 66.85
€ 66.85
The Architecture of Scientific Software. IFIP TC2/WG2.5 Working Confer...
. Ed(S): Boisvert, Ronald F.; Tang, Ping Tak ...
Paperback. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: PBKS; PBWH; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 378
- Condition
- New
- SKU
- V9781475767193
- ISBN
- 9781475767193
Paperback
Condition: New
€ 239.06
€ 239.06
Paperback. These refereed proceedings of EvoWorkshops 2001 cover graph problems, Knapsack problems, ant algorithms, assignment problems, evolutionary algorithms analysis, permutative problems, aeronautics, image analysis and signal processing, evolutionary learning, and scheduling and timetabling. Editor(s): Boers, Egbert J.W.; Gottlieb, Jens; Lanzi, Pier Luca; Smith, Robert E.; Cagnoni, Stefano; Hart, Emma; Raidl, Gunther R. (Vienna University of Technology); Tijink, Harald. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540419204
- ISBN
- 9783540419204
Paperback
Condition: New
€ 71.58
€ 71.58
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): Bloch, Isabelle; Cesar, Roberto Marc...
Paperback. Constitutes the refereed proceedings of the 15th iberoamerican Congress on Pattern Recognition, CIARP 2010, held in Sao Paulo, Brazil, in November 2010. Editor(s): Bloch, Isabelle; Cesar, Roberto Marcond, Jr. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 571 pages, 210 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 880.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783642166860
- ISBN
- 9783642166860
Paperback
Condition: New
€ 69.99
€ 69.99
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 131.26
€ 131.26