Computer programming / software development
Results 5209 - 5216 of 5216
Computer programming / software development
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
€ 64.58
€ 64.58
The Nature of Computation: Logic, Algorithms, Applications. Proceeding...
. Ed(S): Bonizzoni, Paola; Brattka, Vasco; Lo...
Paperback. Editor(s): Bonizzoni, Paola; Brattka, Vasco; Lowe, Benedikt. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 42 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 649.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642390524
- ISBN
- 9783642390524
Paperback
Condition: New
€ 65.50
€ 65.50
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
€ 65.44
€ 65.44
Paperback. Editor(s): Borger, E.; Buning, Hans Kleine; Richter, Michael M. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540516590
- ISBN
- 9783540516590
Paperback
Condition: New
€ 69.04
€ 69.04
Hardback. This reference text presents some of the tools and algorithms currently being used to create new ways of making enhanced interactive presentations and multimedia courses. The accompanying CD-ROM enables readers to get a hands on experience of the material in the book. Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PB; UG; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783540424505
- ISBN
- 9783540424505
Hardback
Condition: New
€ 239.02
€ 239.02
Paperback. This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate matica e Aplica" Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PBV; UG; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642627019
- ISBN
- 9783642627019
Paperback
Condition: New
€ 238.15
€ 238.15
Paperback. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540434771
- ISBN
- 9783540434771
Paperback
Condition: New
€ 63.89
€ 63.89
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
€ 64.73
€ 64.73
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
€ 66.30
€ 66.30
Technologies for Constructing Intelligent Systems 1
. Ed(S): Bouchon-Meunier, Bernadette; Gutierr...
paperback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 404 pages, 47 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Physica Verlag,Wien Austria
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 404
- Condition
- New
- SKU
- V9783662003299
- ISBN
- 9783662003299
Paperback
Condition: New
€ 186.30
€ 186.30
Paperback. Constitutes the refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011 that was held in Blois, France. Editor(s): Bouchou-Markhoff, Beatrice; Caron, Pascal; Champarnaud, Jean-Marc; Maurel, Denis. Series: Lecture Notes in Computer Science. Num Pages: 312 pages, 27 black & white illustrations, 18 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 446.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642222559
- ISBN
- 9783642222559
Paperback
Condition: New
€ 64.45
€ 64.45
Paperback. Constitutes the proceedings of the 12th International Conference on Web Information Systems Engineering, WISE 2011, held in Sydney, Australia, in October 2011. This book includes the papers that address challenging issues in software services, Web application engineering and modelling, Web semantics, and information retrieval and extraction. Editor(s): Bouguettaya, Athman; Hauswirth, Manfred; Liu, Ling. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 361 pages, biography. BIC Classification: UMZ; UNF; UNH; UT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642244339
- ISBN
- 9783642244339
Paperback
Condition: New
€ 64.94
€ 64.94
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
€ 66.70
€ 66.70
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 69.04
€ 69.04
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
€ 63.58
€ 63.58
Paperback. This volume constitutes the proceedings of the 11th International Conference of Z Users. The papers are organized in sections on: industrial issues; concurrency; tools; Z and HOL; safety-critical and real-time systems; semantic theory; reasoning and consistency issues; and object orientation. Editor(s): Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540650706
- ISBN
- 9783540650706
Paperback
Condition: New
€ 69.98
€ 69.98
paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 405
- Condition
- New
- SKU
- V9783540198840
- ISBN
- 9783540198840
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783540198185
- ISBN
- 9783540198185
Paperback
Condition: New
€ 64.82
€ 64.82
Energy Minimization Methods in Computer Vision and Pattern Recognition
. Ed(S): Boykov, Yuri; Kahl, Fredrik; Lempits...
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2011, held in St Petersburg, Russia in July , 2011. This book is divided in sections on discrete and continuous optimization, segmentation, motion and video, and, learning and shape analysis. Editor(s): Boykov, Yuri; Kahl, Fredrik; Lempitsky, Victor; Schmidt, Frank R. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 450 pages, 38 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UMB; UNF; UYD; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642230936
- ISBN
- 9783642230936
Paperback
Condition: New
€ 65.61
€ 65.61
Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642402289
- ISBN
- 9783642402289
Paperback
Condition: New
€ 58.64
€ 58.64
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. Editor(s): Brambilla, Marco; Tokuda, T.; Tolksdorf, Robert. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 522 pages, 177 black & white illustrations, biography. BIC Classification: UMW; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 522
- Condition
- New
- SKU
- V9783642317521
- ISBN
- 9783642317521
Paperback
Condition: New
€ 66.53
€ 66.53
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. Editor(s): Brandstadt, Andreas; Jansen, Klaus; Reischuk, Rudiger. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 450 pages, 114 black & white illustrations, biography. BIC Classification: PBD; PBKS; PBM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642450426
- ISBN
- 9783642450426
Paperback
Condition: New
€ 65.37
€ 65.37
Paperback. Editor(s): Brat, Guillaume; Rungta, Neha; Venet, Arnaud. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 510 pages, 164 black & white illustrations, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642380877
- ISBN
- 9783642380877
Paperback
Condition: New
€ 65.93
€ 65.93