Computer science
Results 12141 - 12160 of 16991
Computer science
Theory and Applications of Satisfiability Testing - SAT 2012
. Ed(S): Cimatti, Alessandro; Sebastiani, Rob...
Paperback. Editor(s): Cimatti, Alessandro; Sebastiani, Roberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, 364 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642316111
- ISBN
- 9783642316111
Paperback
Condition: New
€ 66.41
€ 66.41
Descriptional Complexity of Formal Systems: 14th International Worksho...
. Ed(S): Kutrib, Martin; Moreira, Nelma; Reis...
paperback. Constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. Editor(s): Kutrib, Martin; Moreira, Nelma; Reis, Rogerio. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 329 pages, 23 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642316227
- ISBN
- 9783642316227
Paperback
Condition: New
€ 64.62
€ 64.62
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2012 held in Belgrade, Serbia, July 9-11, 2012. Editor(s): Li, Xiang-Yang; Papavassiliou, Symeon; Ruehrup, Stefan. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 502 pages, black & white illustrations. BIC Classification: TJK; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 26. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 502
- Condition
- New
- SKU
- V9783642316371
- ISBN
- 9783642316371
Paperback
Condition: New
€ 65.92
€ 65.92
Hardback. This detailed analysis of the benefits of open innovation offers examples of best practice, real-life experiences from projects in businesses such as Nokia, and assessments of the challenges in, and solutions to, adopting open-innovation technologies. Editor(s): Eriksson Lundstrom, Jenny S. Z.; Wiberg, Mikael; Hrastinski, Stefan; Edenius, Mats; Agerfalk, Par J. Num Pages: 316 pages, biography. BIC Classification: KJC; KJU; UBJ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642316494
- ISBN
- 9783642316494
Hardback
Condition: New
€ 122.57
€ 122.57
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012. Editor(s): Yen, Hsu-Chun; Ibarra, Oscar H. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 491 pages, 65 black & white illustrations, biography. BIC Classification: GPJ; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 686.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 491
- Condition
- New
- SKU
- V9783642316524
- ISBN
- 9783642316524
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. Brings together researchers, developers, and users from around the world in both industry and academia for sharing results. This title explores areas of research and development, and to discuss emerging issues facing intelligent computation and evolutionary computation. Editor(s): Du, Zhenyu. Series: Advances in Intelligent Systems and Computing. Num Pages: 1132 pages, 474 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1895.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1132
- Condition
- New
- SKU
- V9783642316555
- ISBN
- 9783642316555
Paperback
Condition: New
€ 376.42
€ 376.42
Advanced Technologies for Intelligent Systems of National Border Secur...
. Ed(S): Nawrat, Aleksander; Simek, Krzysztof...
hardcover. More complex, and more highly integrated, unmanned ground and aerial vehicle systems are transforming the nature of border security. This volume presents the latest and most advanced technologies, which include innovative, autonomous algorithms. Editor(s): Nawrat, Aleksander; Simek, Krzysztof; Swierniak, Andrzej. Series: Studies in Computational Intelligence. Num Pages: 282 pages, biography. BIC Classification: UMB; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 282
- Condition
- New
- SKU
- V9783642316647
- ISBN
- 9783642316647
Hardback
Condition: New
€ 123.58
€ 123.58
Hardback. As the concept of the 'brain as computer' (and thus our ability to mimic it technologically) becomes more problematic, artificial intelligence needs redefining, a task this volume supports from varied angles including neuroscience and systems theory. Editor(s): Muller, Vincent C. Series: Studies in Applied Philosophy, Epistemology and Rational Ethics. Num Pages: 432 pages, biography. BIC Classification: HPM; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 806.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 432
- Condition
- New
- SKU
- V9783642316739
- ISBN
- 9783642316739
Hardback
Condition: New
€ 188.36
€ 188.36
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Information Processing, ICIP 2012, held in Bangalore, India, in August 2012. Editor(s): Venugopal, K. R.; Patnaik, L. M. Series: Communications in Computer and Information Science. Num Pages: 674 pages, 306 black & white illustrations, biography. BIC Classification: UNH; UYF; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 935.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 674
- Condition
- New
- SKU
- V9783642316852
- ISBN
- 9783642316852
Paperback
Condition: New
€ 67.88
€ 67.88
Hardback. In the recent decade, there has been a growing interest in the numerical treatment of high-dimensional problems. This volume of LNCSE is a collection of the papers from the proceedings of the workshop on sparse grids and its applications held in Bonn in May 2011. It presents mathematical understanding and analysis of sparse grid discretization. Editor(s): Garcke, Jochen; Griebel, Michael A. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 296 pages, biography. BIC Classification: PBKS; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 608.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 296
- Condition
- New
- SKU
- V9783642317026
- ISBN
- 9783642317026
Hardback
Condition: New
€ 123.18
€ 123.18
Paperback. Constitutes the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. Editor(s): Greco, Salvatore; Bouchon-Meunier, Bernadette; Coletti, Giulianella; Fedrizzi, Mario; Matarazzo, Benedetto; Yager, Ronald R. Series: Communications in Computer and Information Science. Num Pages: 674 pages, 114 black & white illustrations, biography. BIC Classification: UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 935.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 668
- Condition
- New
- SKU
- V9783642317088
- ISBN
- 9783642317088
Paperback
Condition: New
€ 125.49
€ 125.49
Hardcover. This interdisciplinary publication introduces a wealth of new theories and ideas on creativity, evolutionary computation, and the computational arts. Grounding theory through practical applications, it includes contributions from renowned researchers. Editor(s): McCormack, Jon; d'Inverno, Mark. Num Pages: 456 pages, biography. BIC Classification: ABA; UYQ. Category: (P) Professional & Vocational. Dimension: 152 x 241 x 29. Weight in Grams: 820.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642317262
- ISBN
- 9783642317262
Hardback
Condition: New
€ 134.53
€ 134.53
Methodologies and Technologies for Networked Enterprises
. Ed(S): Anastasi, Giuseppe; Bellini, Emilio;...
Paperback. This book examines organizational issues facing networked enterprises: methodologies, empirical contexts and policies; software methodologies and technologies; knowledge elicitation and management and more. Uses a case study throughout as a reference example. Editor(s): Anastasi, Giuseppe; Bellini, Emilio; Di Nitto, Elisabetta; Ghezzi, Carlo; Tanca, Letizia; Zimeo, Eugenio. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, 170 black & white illustrations, biography. BIC Classification: UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642317385
- ISBN
- 9783642317385
Paperback
Condition: New
€ 66.01
€ 66.01
Hardback. Contains, every year, selected extended papers from the corresponding 3IA Conference of the year. This volume is made from directly reviewed and selected papers. Editor(s): Plemenos, Dimitri; Miaoulis, Georgios. Series: Studies in Computational Intelligence. Num Pages: 290 pages, biography. BIC Classification: UML; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783642317446
- ISBN
- 9783642317446
Hardback
Condition: New
€ 123.58
€ 123.58
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. Presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701. Editor(s): Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 261 pages, 34 black & white illustrations, biography. BIC Classification: UMX; UMZT; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783642317613
- ISBN
- 9783642317613
Paperback
Condition: New
€ 58.70
€ 58.70
hardcover. This book explores the modeling of the location of economic activities, measured in terms of employment, in land-use and transportation systems, as key parts of models depicting the flows of people and goods at intra-urban scale, for use in transport planning. Editor(s): Pagliara, Francesca; Bok, Michiel de; Simmonds, David; Wilson, Alan. Series: Advances in Spatial Science. Num Pages: 304 pages, 24 black & white tables, biography. BIC Classification: JHBD; KCP; RGCM; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 603.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 304
- Condition
- New
- SKU
- V9783642317781
- ISBN
- 9783642317781
Hardback
Condition: New
€ 123.48
€ 123.48
Hardcover. Surveying new directions of research and development in the interdisciplinary framework where ontologies and lexical resources intersect, this book deals with the complex relation between lexicons (in different languages) and the underlying ontological model. Editor(s): Oltramari, Alessandro; Vossen, Piek; Qin, Lu; Hovy, Eduard. Series: Theory and Applications of Natural Language Processing. Num Pages: 297 pages, 33 black & white illustrations, 20 colour illustrations, biography. BIC Classification: CFX; HPJ; PBW; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642317811
- ISBN
- 9783642317811
Hardback
Condition: New
€ 64.89
€ 64.89
Virtual and Networked Organizations, Emergent Technologies and Tools
. Ed(S): Putnik, Goran D.; Cruz-Cunha, Maria ...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Virtual and Networked Organizations, Emergent Technologies, and Tools, ViNOrg 2011, held in Ofir, Portugal, in July 2011. Editor(s): Putnik, Goran D.; Cruz-Cunha, Maria Manuela. Series: Communications in Computer and Information Science. Num Pages: 380 pages, 108 black & white illustrations, biography. BIC Classification: UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783642317996
- ISBN
- 9783642317996
Paperback
Condition: New
€ 65.09
€ 65.09
Paperback. Constitutes the refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009. Editor(s): Beneventano, Domenico; Despotovic, Zoran; Guerra, Francesco; Joseph, Sam; Moro, Gianluca; Perreau de Pinninck, Adrian. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 167 pages, 48 black & white illustrations, biography. BIC Classification: UKN; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 245.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 167
- Condition
- New
- SKU
- V9783642318085
- ISBN
- 9783642318085
Paperback
Condition: New
€ 82.30
€ 82.30