.png){kind=logo}
Mathematical theory of computation
Results 49 - 72 of 1825
Mathematical theory of computation
Hardback. Advances in Natural Deduction Editor(s): Pereira, Luiz Carlos Bresser; Haeusler, Edward Hermann; De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 22. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 295
- Condition
- New
- SKU
- V9789400775473
- ISBN
- 9789400775473
Hardback
Condition: New
€ 161.81
€ 161.81
Paperback. This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications. Editor(s): De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 295
- Condition
- New
- SKU
- V9789402406870
- ISBN
- 9789402406870
Paperback
Condition: New
€ 160.72
€ 160.72
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. Editor(s): Wang, Jun; Yen, Gary G.; Polycarpou, Marios. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 709 pages, 210 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 982.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 709
- Condition
- New
- SKU
- V9783642313455
- ISBN
- 9783642313455
Paperback
Condition: New
€ 70.99
€ 70.99
Hardback. Editor(s): Schroeder-Heister, Peter; Piecha, Thomas. Series: Trends in Logic. Num Pages: 283 pages, biography. BIC Classification: PBC; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 602.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 283
- Condition
- New
- SKU
- V9783319226859
- ISBN
- 9783319226859
Hardback
Condition: New
€ 73.49
€ 73.49
Paperback. Programming techniques like object-oriented programming and generic (template) programming are covered here. These techniques increase flexibility, modularization, code reuse and improve maintenance of large numerical codes. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 372 pages, 37 black & white illustrations, 32 black & white tables, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540665571
- ISBN
- 9783540665571
Paperback
Condition: New
€ 198.76
€ 198.76
Paperback. Editor(s): Tan, Ying; Shi, Yuhui; Buarque, Fernando; Gelbukh, Alexander; Das, Swagatham; Engelbrecht, Andries P. Series: Lecture Notes in Computer Science. Num Pages: 631 pages, 217 black & white illustrations, biography. BIC Classification: UGK; UMB; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 631
- Condition
- New
- SKU
- V9783319204659
- ISBN
- 9783319204659
Paperback
Condition: New
€ 69.74
€ 69.74
Paperback. Editor(s): Tan, Ying; Shi, Yuhui; Buarque, Fernando; Gelbukh, Alexander; Das, Swagatham; Engelbrecht, Andries P. Series: Lecture Notes in Computer Science. Num Pages: 515 pages, 183 black & white illustrations, biography. BIC Classification: UGK; UMB; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 515
- Condition
- New
- SKU
- V9783319204680
- ISBN
- 9783319204680
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Editor(s): Tan, Ying; Shi, Yuhui; Buarque, Fernando; Gelbukh, Alexander; Das, Swagatham; Engelbrecht, Andries P. Series: Lecture Notes in Computer Science. Num Pages: 517 pages, 198 black & white illustrations, biography. BIC Classification: UGK; UMB; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 517
- Condition
- New
- SKU
- V9783319204710
- ISBN
- 9783319204710
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Editor(s): Tan, Ying; Shi, Yuhui; Coello Coello, Carlos A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 490 pages, 163 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 490
- Condition
- New
- SKU
- V9783319118963
- ISBN
- 9783319118963
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback. This volume is based on the course notes of the 2nd NCN Pedagogical School, the second school in the framework of the European TMR project, "Breakthrough in the control of nonlinear systems (Nonlinear Control Network)". The topics covered include nonlinear QFT and hybrid systems. Editor(s): Banos, Alfonso; Lamnabhi-Lagarrigue, Francoise; Montoya, Francisco J. Series: Lecture Notes in Control and Information Sciences. Num Pages: 344 pages, biography. BIC Classification: PBWR; TBJ; TJFM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 344
- Condition
- New
- SKU
- V9781852333782
- ISBN
- 9781852333782
Paperback
Condition: New
€ 131.87
€ 131.87
Hardback. Editor(s): Rojas, Ignacio; Pomares, Hector; Valenzuela, Olga. Series: Contributions to Statistics. Num Pages: 50 black & white illustrations, biography. BIC Classification: KCH; PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319557885
- ISBN
- 9783319557885
Hardback
Condition: New
€ 130.10
€ 130.10
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 259.12
€ 259.12
Paperback. Editor(s): Herik, Jaap van den; Filipe, Joaquim. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, 114 black & white illustrations, biography. BIC Classification: JPP; UM; UMX; UNH; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 507.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 315
- Condition
- New
- SKU
- V9783319533537
- ISBN
- 9783319533537
Paperback
Condition: New
€ 67.03
€ 67.03
Hardback. Describing the status of major parts of the theory of aggregation operators, this book examines potential areas for its applications. Self-contained papers present material on selected topics, including results and ideas which show the streaming of aggregation theory and potential applications. Editor(s): Mesiar, Radko; Calvo, Sanchez Tomasa; Mayor, Gaspar. Series: Studies in Fuzziness and Soft Computing. Num Pages: 353 pages, 9 black & white tables, biography. BIC Classification: PBWX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1550.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783790814682
- ISBN
- 9783790814682
Hardback
Condition: New
€ 201.32
€ 201.32
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 704 pages, biography. BIC Classification: UNF; UNH; UYA; UYQ; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 1068.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783642104381
- ISBN
- 9783642104381
Paperback
Condition: New
€ 131.85
€ 131.85
Paperback. Constitutes the proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. This book addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science. Editor(s): Fiadeiro, Jose Luiz. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 472 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783540286202
- ISBN
- 9783540286202
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback. Constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007. This work covers topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 474 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 474
- Condition
- New
- SKU
- V9783540738572
- ISBN
- 9783540738572
Paperback
Condition: New
€ 68.82
€ 68.82
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642037405
- ISBN
- 9783642037405
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Providing basic material for a course in computer algebra, this book revises basic algebra concepts in a form suited for implementation on a computer using one of the available computer algebra systems. The book allows readers to test their own knowledge. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 188 pages, biography. BIC Classification: PBF; UYA. Category: (P) Professional & Vocational. Dimension: 156 x 235 x 10. Weight in Grams: 346.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012th Edition
- Number of pages
- 10
- Condition
- New
- SKU
- V9788847023963
- ISBN
- 9788847023963
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Providing a detailed overview of the design and applications of the algebra of communicating processes (ACP), this volume examines a formalism which extends ACP with algebraic data specification, expressiveness issues and a number of relevant case studies. Editor(s): Ponse, Alban (Universiteit van Amsterdam); Verhoef, Christiaan; Vlijmen, Sebastiaan F.M.Van; etc. Series: Workshops in Computing. Num Pages: 359 pages, biography. BIC Classification: PBF; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 359
- Condition
- New
- SKU
- V9783540199090
- ISBN
- 9783540199090
Paperback
Condition: New
€ 67.79
€ 67.79
Hardback. This title presents a collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Grobner bases, and much more. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 332
- Condition
- New
- SKU
- V9783540002567
- ISBN
- 9783540002567
Hardback
Condition: New
€ 129.29
€ 129.29
Paperback. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642055393
- ISBN
- 9783642055393
Paperback
Condition: New
€ 128.33
€ 128.33
Algebraic and Coalgebraic Methods in the Mathematics of Program Constr...
. Ed(S): Backhouse, Roland C.; Crole, Roy; Gi...
Paperback. This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more. Editor(s): Backhouse, Roland C.; Crole, Roy; Gibbons, Jeremy. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540436133
- ISBN
- 9783540436133
Paperback
Condition: New
€ 72.32
€ 72.32
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. This title features topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, and more. Editor(s): Horimoto, Katsuhisa; Nakatsui, Masahiko; Popov, Nikolaj. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 194 pages, biography. BIC Classification: PSA; UMX; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783642280665
- ISBN
- 9783642280665
Paperback
Condition: New
€ 82.59
€ 82.59