Algorithms & data structures
Results 121 - 140 of 298
Algorithms & data structures
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.95
€ 64.95
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 65.10
€ 65.10
Paperback. Contains selected papers from the workshop of the BioLINK Special Interest Group (SIG) on Linking Literature, Information and Knowledge for Biology. The workshop was held June 28- 29, 2009 at the ISMB/ECCB 2009 conference in Stockholm. Editor(s): Blaschke, Christian. Series: Lecture Notes in Computer Science. Num Pages: 81 pages, 10 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 8. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 81
- Condition
- New
- SKU
- V9783642131301
- ISBN
- 9783642131301
Paperback
Condition: New
€ 111.53
€ 111.53
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
€ 68.13
€ 68.13
Paperback. Num Pages: 200 pages. BIC Classification: UMB; UNF. Category: (G) General (US: Trade). Dimension: 193 x 235 x 27. Weight in Grams: 788.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Technics Publications LLC United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9781634621304
- ISBN
- 9781634621304
Paperback
Condition: New
€ 53.75€ 42.28
€ 53.75
€ 42.28
Paperback. Based on a new classification of algorithm design techniques and a clear delineation of analysis methods, 'Introduction to the Design and Analysis of Algorithms' presents the subject in a coherent and innovative manner. Num Pages: 592 pages, Illustrations. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 231 x 188 x 19. Weight in Grams: 746.
- Publisher
- Pearson Education Limited United Kingdom
- Number of pages
- 592
- Format
- Paperback
- Publication date
- 2011
- Edition
- International ed of 3rd revised ed
- Condition
- New
- SKU
- V9780273764113
- ISBN
- 9780273764113
Paperback
Condition: New
€ 98.31
€ 98.31
Hardcover. The scope of this second edition of the introduction to fundamental distributed programming abstractions has been extended to cover 'Byzantine fault tolerance'. It includes algorithms to implement these abstractions in vulnerable distributed systems. Num Pages: 367 pages, biography. BIC Classification: UMB; UMZT; UTR. Category: (P) Professional & Vocational. Dimension: 240 x 166 x 33. Weight in Grams: 718.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd ed. 2011
- Condition
- New
- SKU
- V9783642152597
- ISBN
- 9783642152597
Hardback
Condition: New
€ 87.75
€ 87.75
Hardback. A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory. Num Pages: 272 pages. BIC Classification: TJ; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 167 x 22. Weight in Grams: 600.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 272
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118914373
- ISBN
- 9781118914373
Hardback
Condition: New
€ 102.12
€ 102.12
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 127.34
€ 127.34
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 65.38
€ 65.38
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. Editor(s): Ayala, Jose L.; Garcia-Camara, Braulio; Prieto, Manuel; Ruggiero, Martino; Sicard, Gilles. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, 81 black & white illustrations, 108 colour illustrations, biography. BIC Classification: UGK; UKN; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783642241536
- ISBN
- 9783642241536
Paperback
Condition: New
€ 66.08
€ 66.08
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.80
€ 81.80
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Information Security and Assurance, ISA 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Bandyopadhyay, Samir Kumar; Adi, Wael; Kim, Tai-hoon; Xiao, Yang. Series: Communications in Computer and Information Science. Num Pages: 350 pages, 151 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; URY; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642133640
- ISBN
- 9783642133640
Paperback
Condition: New
€ 65.97
€ 65.97
Information Processing and Management of Uncertainty in Knowledge-Base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 785 pages, 237 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 785
- Condition
- New
- SKU
- V9783642140570
- ISBN
- 9783642140570
Paperback
Condition: New
€ 129.52
€ 129.52
Information Processing and Management of Uncertainty in Knowledge-base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 136 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 764
- Condition
- New
- SKU
- V9783642140549
- ISBN
- 9783642140549
Paperback
Condition: New
€ 129.52
€ 129.52
Information Flow Based Security Control Beyond RBAC
Fischer-Hellmann, Klaus-Peter. Ed(S): Bischof...
Paperback. Editor(s): Bischoff, Rainer. Series: IT im Unternehmen. Num Pages: 182 pages, 25 black & white illustrations, 9 black & white tables, biography. BIC Classification: GPJ; UMB; UR. Category: (P) Professional & Vocational. Dimension: 247 x 202 x 7. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 182
- Condition
- New
- SKU
- V9783834826176
- ISBN
- 9783834826176
Paperback
Condition: New
€ 64.66
€ 64.66
Paperback. Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010. Editor(s): Zhu, Rongbo; Zhang, Yanchun; Liu, Baoxiang; Liu, Chunfeng. Series: Communications in Computer and Information Science. Num Pages: 534 pages, 207 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642163388
- ISBN
- 9783642163388
Paperback
Condition: New
€ 127.64
€ 127.64
Information and Communication Technologies: International Conference, ...
. Ed(S): Das, Vinu V.; Vijaykumar, R.
paperback. A book that was constitutes the proceedings of the International Conference on Information and Communication Technologies that was held in Kochi, Kerala, India in September 2010. Editor(s): Das, Vinu V.; Vijaykumar, R. Series: Communications in Computer and Information Science. Num Pages: 704 pages, 359 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UNF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 38. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 704
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642157653
- ISBN
- 9783642157653
Paperback
Condition: New
€ 129.23
€ 129.23
Implementation and Application of Functional Languages: 21st Internati...
. Ed(S): Morazan, Marco T.; Scholz, Sven-Bodo
paperback. Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009. Editor(s): Morazan, Marco T.; Scholz, Sven-Bodo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 237 pages, 107 black & white illustrations, biography. BIC Classification: UMB; UMJ; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642164774
- ISBN
- 9783642164774
Paperback
Condition: New
€ 65.18
€ 65.18