Computer science
Results 15721 - 15744 of 16705
Computer science
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. This title covers such topics as: software and secure systems, machine learning for software systems, and ontology and knowledge representations. Editor(s): Moschitti, Alessandro; Scandariato, Riccardo. Series: Communications in Computer and Information Science. Num Pages: 128 pages, 45 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 128
- Condition
- New
- SKU
- V9783642280320
- ISBN
- 9783642280320
Paperback
Condition: New
€ 63.71
€ 63.71
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrucken, Germany, in September 2011. This title covers various aspects of parameterized and exact computation and complexity. Editor(s): Marx, Daniel; Rossmanith, Peter. Series: Lecture Notes in Computer Science. Num Pages: 273 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642280498
- ISBN
- 9783642280498
Paperback
Condition: New
€ 81.24
€ 81.24
Paperback. Editor(s): Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo. Series: Lecture Notes in Computer Science. Num Pages: 151 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642281655
- ISBN
- 9783642281655
Paperback
Condition: New
€ 64.06
€ 64.06
Paperback. Editor(s): Erlebach, Thomas; Nikoletseas, Sotiris; Orponen, Pekka. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYD; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642282089
- ISBN
- 9783642282089
Paperback
Condition: New
€ 80.99
€ 80.99
Paperback. Editor(s): Adam, Gheorghe; Busa, Jan; Hnatic, Michal. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 127 black & white illustrations. BIC Classification: PBD; UGK; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642282119
- ISBN
- 9783642282119
Paperback
Condition: New
€ 65.70
€ 65.70
Statistical Atlases and Computational Models of the Heart
. Ed(S): Camara, Oscar; Konukoglu, E.; Pop, M...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2011, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011. Editor(s): Camara, Oscar; Konukoglu, E.; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Young, Alistair. Series: Lecture Notes in Computer Science. Num Pages: 286 pages, 136 black & white illustrations, 2 colour illustrations, biography. BIC Classification: PSA; UG; UMA; UNH; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642283253
- ISBN
- 9783642283253
Paperback
Condition: New
€ 81.24
€ 81.24
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruna, Spain in March 2012. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 64 black & white illustrations, biography. BIC Classification: J; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642283314
- ISBN
- 9783642283314
Paperback
Condition: New
€ 67.73
€ 67.73
Paperback. Constitutes the proceedings of the 10th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012, held in Tel Aviv, Israel, in March 2012. Editor(s): Theis, Fabian J.; Cichocki, Andrzej; Yeredor, Arie; Zibulevsky, Michael. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 130 black & white illustrations, biography. BIC Classification: TJK; UYQP; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 798.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 538
- Condition
- New
- SKU
- V9783642285509
- ISBN
- 9783642285509
Paperback
Condition: New
€ 67.48
€ 67.48
Abdominal Imaging: Computational and Clinical Applications
. Ed(S): Yoshida, Hiroyuki; Sakas, Georgios; ...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computational and Clinical Applications in Abdominal Imaging, held in conjunction with MICCAI 2011, in Toronto, Canada, on September 18, 2011.This titleincludes topical sections on virtual colonoscopy and CAD, abdominal intervention, and more. Editor(s): Yoshida, Hiroyuki; Sakas, Georgios; Linguraru, Marius George. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 274 pages, 148 black & white illustrations, biography. BIC Classification: MMP; TTBM; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 274
- Condition
- New
- SKU
- V9783642285561
- ISBN
- 9783642285561
Paperback
Condition: New
€ 81.39
€ 81.39
Paperback. Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication. This title aims to be a forum for researchers in these fields. Editor(s): Shi, Yun Qing. Series: Lecture Notes in Computer Science. Num Pages: 115 pages, 55 black & white illustrations, biography. BIC Classification: URY; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 115
- Condition
- New
- SKU
- V9783642286926
- ISBN
- 9783642286926
Paperback
Condition: New
€ 63.69
€ 63.69
Evolutionary Computation, Machine Learning and Data Mining in Bioinfor...
. Ed(S): Giacobini, Mario; Vanneschi, Leonard...
Paperback. Constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2012, held in Malaga, Spain, in April 2012 co-located with the Evo 2012 events. Editor(s): Giacobini, Mario; Vanneschi, Leonardo; Bush, William S. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 255 pages, 76 black & white illustrations, biography. BIC Classification: PSA; UNF; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783642290657
- ISBN
- 9783642290657
Paperback
Condition: New
€ 81.19
€ 81.19
Paperback. Editor(s): Hao, Jin-Kao; Middendorf, Martin. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, 62 black & white illustrations, biography. BIC Classification: PBU; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642291234
- ISBN
- 9783642291234
Paperback
Condition: New
€ 81.04
€ 81.04
Paperback. Editor(s): Moraglio, Alberto; Silva, Sara; Krawiec, Krzysztof; Machado, Penousal; Cotta, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 91 black & white illustrations, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642291388
- ISBN
- 9783642291388
Paperback
Condition: New
€ 81.33
€ 81.33
Evolutionary and Biologically Inspired Music, Sound, Art and Design
. Ed(S): Machado, Penousal; Romero, Juan J.; ...
Paperback. Editor(s): Machado, Penousal; Romero, Juan J.; Carballal, Adrian. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UM; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 8. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783642291418
- ISBN
- 9783642291418
Paperback
Condition: New
€ 81.04
€ 81.04
Paperback. Editor(s): Chio, Cecilia di; Agapitos, Alexandros; Cagnoni, Stefano; Cotta, Carlos; Vega, Francisco Fernandez de; Caro, Gianni A. di; Drechsler, Rolf; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Farooq, Muddassar. Series: Lecture Notes in Computer Science. Num Pages: 542 pages, 174 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642291777
- ISBN
- 9783642291777
Paperback
Condition: New
€ 67.73
€ 67.73
Camera-Based Document Analysis and Recognition: 4th International Work...
. Ed(S): Iwamura, Masakazu; Shafait, Faisal
paperback. Constitutes the refereed post-workshop-proceedings of the 4th International Workshop on Camera-Based Document Analysis and Recognition, CBDAR 2011, held in Beijing, China, in September 2011. This title features papers organized in topical sections on text detection and recognition in scene images, camera-based systems, and datasets and evaluation. Editor(s): Iwamura, Masakazu; Shafait, Faisal. Series: Lecture Notes in Computer Science. Num Pages: 173 pages, 93 black & white illustrations, biography. BIC Classification: UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642293634
- ISBN
- 9783642293634
Paperback
Condition: New
€ 80.46
€ 80.46
Paperback. Editor(s): Laud, Peeter. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 273 pages, 84 black & white illustrations, biography. BIC Classification: GPJ; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642296147
- ISBN
- 9783642296147
Paperback
Condition: New
€ 81.33
€ 81.33
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "Second International Conference on Game Theory for Networks" (GameNets 2011) held in Shanghai, China, April 16-18, 2011. Editor(s): Jain, Rahul; Kannan, Rajgopal; Vasilakos, Thanos. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 676 pages, 155 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 38. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 676
- Condition
- New
- SKU
- V9783642303722
- ISBN
- 9783642303722
Paperback
Condition: New
€ 128.31
€ 128.31
Intelligence and Security Informatics: Pacific Asia Workshop, PAISI 20...
. Ed(S): Chau, Michael; Wang, G. Alan; Yue, W...
paperback. Constitutes the refereed proceedings of the Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2012, held in Kuala Lumpur, Malaysia, in May 2012 - held in conjunction with the Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012). Editor(s): Chau, Michael; Wang, G. Alan; Yue, Wei T.; Chen, Hsinchun. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 207 pages, 55 black & white illustrations, biography. BIC Classification: UBJ; UBL; UNF; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Number of pages
- 207
- Condition
- New
- Edition
- 2012th Edition
- SKU
- V9783642304279
- ISBN
- 9783642304279
Paperback
Condition: New
€ 80.76
€ 80.76
Paperback. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012. Editor(s): Furia, Carlo A.; Nanz, Sebastian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642305603
- ISBN
- 9783642305603
Paperback
Condition: New
€ 66.01
€ 66.01
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
€ 64.73
€ 64.73
Paperback. A survey that offers a fresh focus on the progress in evolutionary computation, in neural networks, and in fuzzy systems. It presents the expertise and experiences of leading researchers spanning a diverse spectrum of computational intelligence in these areas. Editor(s): Liu, Jing; Alippi, Cesare; Bouchon-Meunier, Bernadette; Greenwood, Garrison W.; Abbass, Hussein A. Series: Lecture Notes in Computer Science. Num Pages: 284 pages, 189 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642306860
- ISBN
- 9783642306860
Paperback
Condition: New
€ 65.01
€ 65.01
Paperback. Constitutes the refereed proceedings of the 19th EuroSPI conference, held in Vienna, Austria, in June 2012. this title includes topical sections on SPI and business factors; SPI lifecycle and models; SPI assessment and quality; SPI processes and standards; SPI in SMEs; SPI and implementation; and, more. Editor(s): Winkler, Dietmar; O'Connor, Rory V.; Messnarz, Richard. Series: Communications in Computer and Information Science. Num Pages: 364 pages, 98 black & white illustrations, biography. BIC Classification: JPP; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642311987
- ISBN
- 9783642311987
Paperback
Condition: New
€ 65.88
€ 65.88