Mathematical theory of computation
Results 301 - 320 of 366
Mathematical theory of computation
Paperback. Constituting the thoroughly refereed post-conference proceedings of the twelfth Advances in Computer Games conference held in Spain in 2009, the 20 revised full papers cover topics from Bayesian modeling to incongruity theory and data assurance. Editor(s): Herik, H. Jaap van den; Spronck, Pieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 247 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642129926
- ISBN
- 9783642129926
Paperback
Condition: New
€ 66.70
€ 66.70
Hardback. Editor(s): Hebeker, Friedrich-Karl; Rannacher, Rolf; Wittum, Gabriel. Series: Notes on numerical fluid mechanics. Num Pages: 324 pages. BIC Classification: PBKS; UYA. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 229 x 162. .
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Germany
- Number of pages
- 324
- Condition
- New
- SKU
- V9783528076474
- ISBN
- 9783528076474
Hardback
Condition: New
€ 70.39
€ 70.39
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
€ 83.42
€ 83.42
Paperback. This text contains the proceedings of a meeting on multigrid methods and should be of value to researchers in computational science and engineering as well as numerical analysis. Editor(s): Hackbusch, Wolfgang; Wittum, Gabriel. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 342 pages, 29 black & white illustrations, 1 colour illustrations, 40 black & white tables, biograph. BIC Classification: PBKS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540631330
- ISBN
- 9783540631330
Paperback
Condition: New
€ 122.64
€ 122.64
Paperback. Editor(s): Gutierrez, Jaime; Schicho, Josef; Weimann, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 222 pages, 29 black & white illustrations, biography. BIC Classification: PBF; UMB; UYA; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 222
- Condition
- New
- SKU
- V9783319150802
- ISBN
- 9783319150802
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Editor(s): Golden, Bruce L. (Golden, University of Maryland); Raghavan, S. (University of Maryland); Wasil, Edward A. (American University). Series: Operations Research/Computer Science Interfaces Series. Num Pages: 405 pages, 93 black & white tables, biography. BIC Classification: KJT; PBKS; PBU; UMA; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 405
- Condition
- New
- SKU
- V9781461498513
- ISBN
- 9781461498513
Paperback
Condition: New
€ 240.71
€ 240.71
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
Diagrammatic Representation and Inference: 6th International Conferenc...
. Ed(S): Goel, Ashok K.; Jamnik, Mateja; Nara...
paperback. Constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, in August 2010. Editor(s): Goel, Ashok K.; Jamnik, Mateja; Narayanan, N.Hari. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 358 pages, 141 black & white illustrations, biography. BIC Classification: UBJ; UKN; UNF; UYA; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 358
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642145995
- ISBN
- 9783642145995
Paperback
Condition: New
€ 67.80
€ 67.80
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. 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
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. The 9th issue of the Transactions on Computational Science journal is devoted to the subject of Voronoi diagrams in science and engineering. The papers constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams 2009. Editor(s): Gavrilova, Marina; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 203 pages, 87 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642160066
- ISBN
- 9783642160066
Paperback
Condition: New
€ 66.02
€ 66.02
Paperback. Editor(s): Gaspar-Cunha, Antonio; Henggeler Antunes, Carlos; Coello Coello, Carlos A. Series: Lecture Notes in Computer Science. Num Pages: 471 pages, 156 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 471
- Condition
- New
- SKU
- V9783319159331
- ISBN
- 9783319159331
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. These papers address topics such as formal languages, automata theory, computability, complexity, logic, petri nets, and related areas. Editor(s): Gao, Yuan; Lu, Hanlin; Seki, Shinnosuke; Yu, Sheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 446 pages, 48 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642144547
- ISBN
- 9783642144547
Paperback
Condition: New
€ 68.68
€ 68.68
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 250.77
€ 250.77
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 249.16
€ 249.16
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Belief change is a field of artificial intelligence and information science dedicated to the dynamics of information. This is a study of addition, deletion and combination of pieces of information, and the revision, updating and fusion of knowledge bases, offering a numerical view of belief change. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 453 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9780792351627
- ISBN
- 9780792351627
Hardback
Condition: New
€ 249.48
€ 249.48
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
€ 67.95
€ 67.95
Paperback. Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. Editor(s): Ferreira, Fernando; Lowe, Benedikt; Mayordomo, Elvira; Gomes, Luis Mendes. Series: Lecture Notes in Computer Science. Num Pages: 450 pages, 37 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642139611
- ISBN
- 9783642139611
Paperback
Condition: New
€ 68.83
€ 68.83
Hardback. Editor(s): Drmota, Michael; Flajolet, Philippe; Gardy, Daniele; Gittenberger, Bernhard. Series: Trends in Mathematics. Num Pages: 556 pages, 26 black & white illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 978.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 556
- Condition
- New
- SKU
- V9783764371289
- ISBN
- 9783764371289
Hardback
Condition: New
€ 126.84
€ 126.84
A 25-Year Perspective on Logic Programming: Achievements of the Italia...
. Ed(S): Dovier, Agostino; Pontelli, Enrico
paperback. This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. Editor(s): Dovier, Agostino; Pontelli, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642143083
- ISBN
- 9783642143083
Paperback
Condition: New
€ 67.64
€ 67.64
Recent Developments in Applied Probability and Statistics
. Ed(S): Devroye, Luc; Karasozen, Bulent; Koh...
Paperback. Editor(s): Devroye, Luc; Karasozen, Bulent; Kohler, Michael; Korn, Ralf. Num Pages: 247 pages, 12 black & white tables, biography. BIC Classification: PBT; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Physica-Verlag GmbH & Co Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783790829105
- ISBN
- 9783790829105
Paperback
Condition: New
€ 64.63
€ 64.63