Computing
Results 11061 - 11080 of 11262
Computing
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
Hardback. Global optimization has found applications in many areas of science and technology including molecular biology, chemical equilibrium problems, medical imaging and networks. This book includes papers which indicates the diverse applicability of global optimization. Editor(s): Bomze, Immanuel M.; Csendes, Tibor; Horst, Reiner; Pardalos, Panos M. Series: Nonconvex Optimization and Its Applications. Num Pages: 359 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9780792343516
- ISBN
- 9780792343516
Hardback
Condition: New
€ 193.94
€ 193.94
Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 423
- Condition
- New
- SKU
- V9780792379683
- ISBN
- 9780792379683
Hardback
Condition: New
€ 248.72
€ 248.72
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
€ 204.60
€ 204.60
Hardback. Introduces and discusses research results in software quality. This book focuses on knowledge based systems (KBS), quality and the impact of object-oriented technology on quality. Editor(s): Bologna, Sandro; Bucci, Giacomo. Series: IFIP Advances in Information and Communication Technology. Num Pages: 439 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 1760.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 439
- Condition
- New
- SKU
- V9780412639005
- ISBN
- 9780412639005
Hardback
Condition: New
€ 249.04
€ 249.04
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
Paperback. Mit Beitragen zahlreicher Fachwissenschaftler Editor(s): Bol, Georg; Nakhaeizadeh, Gholamreza; Vollmer, Karl-Heinz. Series: Wirtschaftswissenschaftliche Beitrage. Num Pages: 270 pages, 15 black & white illustrations, 39 black & white tables, biography. BIC Classification: KFF; UF; UN. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Physica-Verlag GmbH & Co Germany
- Number of pages
- 270
- Condition
- New
- SKU
- V9783790812848
- ISBN
- 9783790812848
Paperback
Condition: New
€ 60.73
€ 60.73
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
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
€ 247.82
€ 247.82
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
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
€ 67.49
€ 67.49
Hardback. Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. Editor(s): Bochmann, Gregor von; Rafiq, Omar; Dssouli, Rachida. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1850.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 466
- Condition
- New
- SKU
- V9780412732706
- ISBN
- 9780412732706
Hardback
Condition: New
€ 249.61
€ 249.61
Hardback. Traditionally HCI has been concerned with work and task based applications but as digital technologies proliferate in the home, fun becomes an important issue. This book reflects the move in Human Computer Interaction studies from standard usability concerns towards a wider set of problems to do with fun, aesthetics and the experience of use. Editor(s): Blythe, Mark A.; Overbeeke, Kees (Department of Industrial Design, Eindhoven University of Technology, Netherlands); Monk, Andrew F.; Wright, Peter C. (Department of Computer Science, University of York). Series: Human-Computer Interaction Series. Num Pages: 305 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 248 x 164 x 24. Weight in Grams: 648.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402012525
- ISBN
- 9781402012525
Hardback
Condition: New
€ 241.97
€ 241.97
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. Constitutes the refereed proceedings of the 7th International Workshop on Hybrid Metaheuristics, HM 2010, held in Vienna, Austria, in October 2010. Editor(s): Blesa Aguilera, Maria J.; Blum, Christian; Raidl, Gunther R. (Vienna University of Technology); Roli, Andrea; Sampels, Michael. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 43 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642160530
- ISBN
- 9783642160530
Paperback
Condition: New
€ 66.58
€ 66.58
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