×


 x 

Shopping cart

Mathematical theory of computation

Results 41 - 60 of 366

Mathematical theory of computation

Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
Format
Hardback
Publication date
1994
Publisher
Birkhauser Boston Inc United States
Number of pages
816
Condition
New
SKU
V9780817636906
ISBN
9780817636906
Hardback
Condition: New

€ 194.66

Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
544
Condition
New
SKU
V9783642152900
ISBN
9783642152900
Paperback
Condition: New

€ 69.87

Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
548
Condition
New
SKU
V9783642152047
ISBN
9783642152047
Paperback
Condition: New

€ 69.87

Paperback. Editor(s): De Nicola, Rocco; Kuhn, Eva. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, 86 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 664.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
434
Condition
New
SKU
V9783319415901
ISBN
9783319415901
Paperback
Condition: New

€ 53.46
€ 52.77

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

€ 69.35

Paperback. The papers from this symposium on algorithms for macromolecular modelling bring together the views of computational scientists from the physics and chemistry fields, as well as computer scientists working on the advancement of algorithms. Molecular dynamics are the main focus of the text. Editor(s): Deuflhard, Peter; Hermans, Jan; Leimkuhler, Benedict; Mark, A.; Skeel, Robert D.; Reich, Sebastian. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 494 pages, 119 black & white illustrations, 1 colour illustrations, 20 black & white tables, biograp. BIC Classification: UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 783.
Format
Paperback
Publication date
1998
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1999
Number of pages
494
Condition
New
SKU
V9783540632429
ISBN
9783540632429
Paperback
Condition: New

€ 124.22

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!