×


 x 

Shopping cart

Mathematical theory of computation

Results 193 - 216 of 1825

Mathematical theory of computation

Paperback. Artificial neural networks and genetic algorithms are both areas of research which have their origins in mathematical models constructed in order to gain understanding of important natural processes. This book examines new computation techniques which are applied in diverse fields. Num Pages: 522 pages, 339 black & white illustrations. BIC Classification: PDG; UYA; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 210 x 28. Weight in Grams: 1335.
Format
Paperback
Publication date
1995
Publisher
Springer Verlag GmbH Austria
Edition
Softcover reprint of the original 1st ed. 1995
Number of pages
522
Condition
New
SKU
V9783211826928
ISBN
9783211826928
Paperback
Condition: New

€ 72.76

Paperback. Leonard Bolc has played an important role in the Polish computer science community. This Festschrift, published to honor Leonard Bolc on his 75th birthday, includes papers by leading researchers, former students and colleagues to celebrate his scientific career. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 463 pages, biography. BIC Classification: UGD; UNF; UYA; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 706.
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
463
Condition
New
SKU
V9783642047343
ISBN
9783642047343
Paperback
Condition: New

€ 68.66

Hardback. Gathers concepts of information across diverse fields - physics, electrical engineering and computational science - surveying various theories, discussing underlying notions of symmetry, and showing how the capacity of a system to distinguish itself relates to information. This book develops a formal methodology using group theory. Series: The Frontiers Collection. Num Pages: 173 pages, 2 black & white tables, biography. BIC Classification: PBG; PBKS; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 426.
Format
Hardback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
173
Condition
New
SKU
V9783540698838
ISBN
9783540698838
Hardback
Condition: New

€ 66.95

Paperback. Series: The Frontiers Collection. Num Pages: 173 pages, 2 black & white tables, biography. BIC Classification: PBG; PBKS; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 278.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
1st ed. Softcover of orig. ed. 2007
Number of pages
173
Condition
New
SKU
V9783642089329
ISBN
9783642089329
Paperback
Condition: New

€ 66.95

Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
Publisher
Springer-Verlag New York Inc. United States
Format
Hardback
Publication date
1997
Edition
1st. ed. 1997. Corr. 8th printing 2007
Condition
New
SKU
V9780387949079
ISBN
9780387949079
Hardback
Condition: New

€ 103.90

Paperback. Offers a step-by-step development of the theory of automata, languages and computation. Intended for use as the basis of an introductory course at both junior and senior levels, this text features basic models of computation, formal languages and their properties; computability, decidability and complexity; and design of programming languages. Num Pages: 936 pages, 32 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 46. Weight in Grams: 1428.
Format
Paperback
Publication date
1999
Publisher
Springer London Ltd United Kingdom
Number of pages
936
Condition
New
SKU
V9781852330743
ISBN
9781852330743
Paperback
Condition: New

€ 134.37

Paperback. Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 206 pages, 41 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
206
Condition
New
SKU
V9783642118807
ISBN
9783642118807
Paperback
Condition: New

€ 66.95

Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 1145.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
756
Condition
New
SKU
V9783540705826
ISBN
9783540705826
Paperback
Condition: New

€ 132.31

Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Condition
New
SKU
V9780792351290
ISBN
9780792351290
Hardback
Condition: New

€ 259.22

Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Number of pages
448
Condition
New
SKU
V9780792351306
ISBN
9780792351306
Hardback
Condition: New

€ 258.08

Paperback. The refereed proceedings of the 17th International Conference on Automated Deduction. The research papers and system descriptions presented cover a variety of topics related to theorem proving and its applications. Also included are contributions corresponding to invited talks and tutorials. Editor(s): McAllester, David. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 540 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 819.
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
540
Condition
New
SKU
V9783540676645
ISBN
9783540676645
Paperback
Condition: New

€ 69.39

Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
521
Condition
New
SKU
V9783642224379
ISBN
9783642224379
Paperback
Condition: New

€ 69.14

Paperback. Editor(s): Bonacina, Maria Paola. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 482 pages, 95 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 735.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
482
Condition
New
SKU
V9783642385735
ISBN
9783642385735
Paperback
Condition: New

€ 68.83

Paperback. The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning. Editor(s): Gao, Xiao-Shan; Wang, Dongming; Lu, Yang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 300 pages, biography. BIC Classification: PBM; UG; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 424.
Format
Paperback
Publication date
1999
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
300
Condition
New
SKU
V9783540666721
ISBN
9783540666721
Paperback
Condition: New

€ 70.16

Paperback. Editor(s): Olivetti, Nicola; Tiwari, Ashish. Series: Lecture Notes in Computer Science. Num Pages: 600 pages, 101 black & white illustrations, biography. BIC Classification: UM; UYA; UYF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 908.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
600
Condition
New
SKU
V9783319402284
ISBN
9783319402284
Paperback
Condition: New

€ 108.12

Paperback. Editor(s): Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 556 pages, 101 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
556
Condition
New
SKU
V9783319085869
ISBN
9783319085869
Paperback
Condition: New

€ 69.04

Paperback. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Editor(s): Gramlich, Bernhard; Miller, Dale; Sattler, Ulrike. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 582 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
582
Condition
New
SKU
V9783642313646
ISBN
9783642313646
Paperback
Condition: New

€ 69.70

Paperback. This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics. Editor(s): Bonacina, Maria Paola; Stickel, Mark E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 259 pages, 27 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
259
Condition
New
SKU
V9783642366741
ISBN
9783642366741
Paperback
Condition: New

€ 61.44

Paperback. Editor(s): Galmiche, Didier; Larchey-Wendling, Dominique. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 34 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
299
Condition
New
SKU
V9783642405365
ISBN
9783642405365
Paperback
Condition: New

€ 61.20

Paperback. Editor(s): Artho, Cyrille; Legay, Axel; Peled, Doron. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 102 black & white illustrations, biography. BIC Classification: UMX; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 817.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
541
Condition
New
SKU
V9783319465197
ISBN
9783319465197
Paperback
Condition: New

€ 68.92

Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 425 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 652.
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
425
Condition
New
SKU
V9783642047602
ISBN
9783642047602
Paperback
Condition: New

€ 68.27

paperback. Editor(s): Cassez, Franck; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 454 pages, 109 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
Format
Paperback
Publication date
2014
Publisher
Springer Switzerland
Edition
2014th Edition
Number of pages
454
Condition
New
SKU
V9783319119359
ISBN
9783319119359
Paperback
Condition: New

€ 68.13

Paperback. Num Pages: 231 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 2001
Number of pages
231
Condition
New
SKU
V9781461265191
ISBN
9781461265191
Paperback
Condition: New

€ 149.39

Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
Format
Paperback
Publication date
1987
Publisher
Vieweg+Teubner Verlag
Condition
New
SKU
V9783528185206
ISBN
9783528185206
Paperback
Condition: New

€ 128.75

Subscribe to our newsletter

News on special offers, signed editions & more!