Computer science
Results 2593 - 2616 of 3623
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. 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 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. This title features the papers that are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, and variability analysis and ADLs. Editor(s): France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F. (University of York). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 396 pages, 147 black & white illustrations, 65 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642214691
- ISBN
- 9783642214691
Paperback
Condition: New
€ 68.03
€ 68.03
Paperback. constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. This title features the papers that are organized in topical sections on using OpenMP with application, tools for OpenMP, extensions of OpenMP, and implementation and performance. Editor(s): Chapman, Barbara M.; Gropp, William D.; Kumaran, Kalyan; Muller, Matthias S. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 42 black & white illustrations, 33 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642214868
- ISBN
- 9783642214868
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Constitutes the refereed proceedings of the Third International Symposium on End-User Development, IS-EUD 2011, that was held in Torre Canne, Italy. This title contains 2 keynote speeches, 14 doctoral consortia, and information on 3 workshops. Editor(s): Costabile, Maria Francesca; Dittrich, Yvonne; Fischer, Gerhard; Piccinno, Antonio. Series: Lecture Notes in Computer Science. Num Pages: 426 pages, 11 black & white illustrations, 84 colour illustrations, biography. BIC Classification: UGD; UKP; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642215292
- ISBN
- 9783642215292
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Contains the refereed proceedings of the Second International Conference on Software Business (ICSOB) that was held in Brussels, Belgium. Editor(s): Regnell, Bjorn; Weerd, Inge van de; Troyer, Olga de. Series: Lecture Notes in Business Information Processing. Num Pages: 189 pages, 9 black & white illustrations, 23 colour illustrations, biography. BIC Classification: KJMP; KJMV6; KJU; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642215438
- ISBN
- 9783642215438
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets and belief functions, rough and fuzzy clustering techniques, as well as applications to gene selection, web page recommendation systems, facial recognition, and temporal pattern detection. Editor(s): Sakai, Hiroshi; Chakraborty, Mihir; Slezak, Dominik; Hassanien, Aboul-Ella; Zhu, William. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, black & white illustrations, colour illustrations, black & white tables, figures, bibliog. BIC Classification: UYA; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642215629
- ISBN
- 9783642215629
Paperback
Condition: New
€ 64.58
€ 64.58
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexi...
. Ed(S): Martinez-Trinidad, Jose Francisco; C...
paperback. Constitutes the refereed proceedings of the Third Mexican Conference on Pattern Recognition, MCPR 2011, that was held in Cancun, Mexico. Editor(s): Martinez-Trinidad, Jose Francisco; Carrasco Ochoa, Jesus Ariel; Ben-Youssef Brants, Cherif; Hancock, Edwin Robert. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, 84 black & white illustrations, 47 colour illustrations, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9783642215865
- ISBN
- 9783642215865
Paperback
Condition: New
€ 67.44
€ 67.44
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011. Editor(s): McCune, Jonathan; Balacheff, Boris; Perrig, Adrian; Sadeghi, Ahmad-Reza; Sasse, Angela; Beres, Yolanta. Series: Lecture Notes in Computer Science. Num Pages: 314 pages, 28 black & white illustrations, 49 colour illustrations, biography. BIC Classification: UBJ; UKN; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783642215988
- ISBN
- 9783642215988
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, that was held in collocation with MODELS 2010 in Oslo, Norway in October 2010. Editor(s): Kraemer, Frank Alexander; Herrmann, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 257 pages, 57 black & white illustrations, 58 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216510
- ISBN
- 9783642216510
Paperback
Condition: New
€ 64.86
€ 64.86
paperback. Constitutes the refereed proceedings of the Second International Conference on Human Centered Design, HCD 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 9 other thematically similar conferences. Editor(s): Kurosu, Masaaki. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 609 pages, 100 black & white illustrations, 169 colour illustrations, biography. BIC Classification: UG; UKN; UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 609
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642217524
- ISBN
- 9783642217524
Paperback
Condition: New
€ 131.55
€ 131.55
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 66.12
€ 66.12
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. This book features the papers that are organized in topical sections on pattern recognition and machine learning; image analysis; and, image and video information retrieval. Editor(s): Kuznetsov, Sergei O.; Mandal, Deba Prasad; Kundu, Malay K.; Pal, Sankar K. Series: Lecture Notes in Computer Science. Num Pages: 467 pages, 73 black & white illustrations, 72 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642217852
- ISBN
- 9783642217852
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Constitutes the refereed proceedings of the Third International Conference on Digital Human Modeling, ICDHM 2011, held in Orlando, FL, USA in July 2011. The 58 revised papers presented were carefully reviewed and selected from numerous submissions. Editor(s): Duffy, Vincent G. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 83 black & white illustrations, 175 colour illustrations, biography. BIC Classification: UGK; UNH; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642217982
- ISBN
- 9783642217982
Paperback
Condition: New
€ 69.35
€ 69.35
Application and Theory of Petri Nets: 32nd International Conference, P...
. Ed(S): Kristensen, Lars Lyngsgaard Fjord; P...
paperback. Constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. This book addresses issues on research and development in the area of Petri nets and related models of concurrent systems. Editor(s): Kristensen, Lars Lyngsgaard Fjord; Petrucci, L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 107 black & white illustrations, 23 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642218330
- ISBN
- 9783642218330
Paperback
Condition: New
€ 67.44
€ 67.44
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence in Education, AIED 2011, held in Auckland, New Zealand in June/July 2011. This book features the papers that report on technical advances in and cross-fertilization of approaches and ideas from the many topical areas. Editor(s): Biswas, Gautam; Bull, Susan; Kay, Judy; Mitrovic, Antonija. Series: Lecture Notes in Computer Science. Num Pages: 638 pages, 37 black & white illustrations, 85 colour illustrations, biography. BIC Classification: JNC; JNV; UNH; UYQ; UYZG; YQT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 638
- Condition
- New
- SKU
- V9783642218682
- ISBN
- 9783642218682
Paperback
Condition: New
€ 131.85
€ 131.85
Paperback. Constitutes the refereed proceedings of the 19th International Symposium on Methodologies for Intelligent Systems, ISMIS 2011, held in Warsaw, Poland, in June 2011. This book features the papers that are organized in topical sections on rough sets, social networks, multi-agent systems, and contest on music information retrieval. Editor(s): Kryszkiewicz, Marzena; Rybinski, Henryk; Skowron, Andrzej; Ras, Zbigniew W. Series: Lecture Notes in Computer Science. Num Pages: 746 pages, 117 black & white illustrations, 100 colour illustrations, biography. BIC Classification: UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1134.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 746
- Condition
- New
- SKU
- V9783642219153
- ISBN
- 9783642219153
Paperback
Condition: New
€ 132.03
€ 132.03
Paperback. Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. This title features the papers that give a representative overview on research on argumentation in multi-agent systems. Editor(s): McBurney, Peter; Rahwan, Iyad; Parsons, Simon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 327 pages, 48 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642219399
- ISBN
- 9783642219399
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. This book includes the papers that discuss various aspects of object technology and related fields, in particular model-based development, and component-based development. Editor(s): Bishop, Judith; Vallecillo, Antonio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 307 pages, 86 black & white illustrations, 24 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783642219511
- ISBN
- 9783642219511
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. This book features the papers that are organized in topical sections on protocols, cryptanalysis, secret-key cryptography, and security proofs. Editor(s): Nitaj, Abderrahmane; Pointcheval, David. Series: Lecture Notes in Computer Science. Num Pages: 387 pages, 44 black & white illustrations, 8 colour illustrations, biography. BIC Classification: UKN; UL; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 387
- Condition
- New
- SKU
- V9783642219689
- ISBN
- 9783642219689
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the proceedings of the International Conference on Research and Education in Robotics, EUROBOT 2011, held in Prague, Czech Republic, in June 2011. This book features the papers that present basic research such as robot control and behaviour, applications of autonomous intelligent robots, and perception, and processing and action. Editor(s): Obdrzalek, David; Gottscheber, Achim. Series: Communications in Computer and Information Science. Num Pages: 350 pages, 67 black & white illustrations, 124 colour illustrations, biography. BIC Classification: UGK; UMZ; UNH; UYQ; UYT; UYZG. 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
- 350
- Condition
- New
- SKU
- V9783642219740
- ISBN
- 9783642219740
Paperback
Condition: New
€ 67.44
€ 67.44
Agent and Multi-Agent Systems: Technologies and Applications: 5th KES ...
. Ed(S): O'Shea, James; Nguyen, Ngoc Thanh; C...
paperback. Constitutes the refereed proceedings of the 5th KES International Conference on Agent and Multi-Agent Systems, KES-AMSTA 2011, held in Manchester, UK, in June/July 2011. This volume also contains one abstract and one full paper length keynote speech. Editor(s): O'Shea, James; Nguyen, Ngoc Thanh; Crockett, Keeley; Howlett, Robert J.; Jain, Prof. Lakhmi C. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 704 pages, 120 black & white illustrations, 100 colour illustrations, biography. BIC Classification: JPP; UBJ; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 704
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642219993
- ISBN
- 9783642219993
Paperback
Condition: New
€ 131.89
€ 131.89