.png){kind=logo}
Mathematical foundations
Results 561 - 580 of 1148
Mathematical foundations
Paperback. This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises. Series: Universitext. Num Pages: 492 pages, 3 black & white illustrations, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 1520.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 492
- Condition
- New
- SKU
- V9783540423249
- ISBN
- 9783540423249
Paperback
Condition: New
€ 234.26
€ 234.26
Paperback. The 80 revised papers, together with an introduction and three keynote presentations have gone through two rounds of reviewing and revision. They have been organized into topical sections including granual computing, rough sets and systems and fuzzy sets and systems. Editor(s): Ziarko, Wojciech; Yao, Yiyu Y. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 676 pages, biography. BIC Classification: PBCD; TJFM1; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 954.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 676
- Condition
- New
- SKU
- V9783540430742
- ISBN
- 9783540430742
Paperback
Condition: New
€ 138.69
€ 138.69
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory held in Austria in 2001. The 24 full papers cover grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems and more. Editor(s): Kuich, Werner; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science. Num Pages: 398 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540434535
- ISBN
- 9783540434535
Paperback
Condition: New
€ 72.29
€ 72.29
Hardback. Aims to provide an extremely clear monograph on algorithmic information theory. This work contains discussions of some interesting philosophical questions surrounding the meaning of randomness, as well as notion of randomness in physics and the information content of mathematical knowledge. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 468 pages, biography. BIC Classification: PBB; PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 26. Weight in Grams: 862.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2002
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540434665
- ISBN
- 9783540434665
Hardback
Condition: New
€ 115.20
€ 115.20
Hardback. In Western Civilization mathematics and music have a long common history. This book journeys into recent work relating music and mathematics, covering historical aspects, influence of logic and mathematical thought in composition, perception and understanding of music and computational aspects. Editor(s): Assayag, Gerard; Feichtinger, Hans G.; Rodrigues, Jose Francisco. Num Pages: 288 pages, biography. BIC Classification: AVA; PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540437277
- ISBN
- 9783540437277
Hardback
Condition: New
€ 133.80
€ 133.80
Paperback / so. Ein Klassiker zur Numerischen Mathematik im Springer-Lehrbuchprogramm. Klare, gut lesbare Darstellung der neuesten Erkenntnisse und praktikable Algorithmen mit vielen Beispielen. Eine gelungene Synthese aus theoretischer Begrundung und praktischer Anwendung.." Series: Springer-Lehrbuch. Num Pages: 410 pages, black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBK; PBW. Category: (G) General (US: Trade). Dimension: 234 x 156 x 22. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 10
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540453895
- ISBN
- 9783540453895
Paperback
Condition: New
€ 49.42
€ 49.42
Paperback. Investigates different deterministic and stochastic error bounds of numerical analysis. This book considers worst case error bounds and their relation to the theory of n-widths. It studies special problems such approximation, optimization, and integration for different function classes. It compares adaptive and nonadaptive methods. Series: Lecture Notes in Mathematics. Num Pages: 124 pages, biography. BIC Classification: PBCN; PBF; PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 156 x 13. Weight in Grams: 214.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer
- Edition
- 1988th Edition
- Condition
- New
- SKU
- V9783540503682
- ISBN
- 9783540503682
Paperback
Condition: New
€ 50.37
€ 50.37
TAPSOFT '89. Proceedings of the International Joint Conference on Theo...
. Ed(S): Diaz, J.; Orejas, Fernando
Paperback. Editor(s): Diaz, J.; Orejas, Fernando. Series: Lecture Notes in Computer Science. Num Pages: 395 pages, biography. BIC Classification: PBCD; UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540509394
- ISBN
- 9783540509394
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). Editor(s): Ausiello, G. Num Pages: 804 pages, biography. BIC Classification: PBC. Category: (P) Professional & Scholarly; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 40. Weight in Grams: 1106.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540513711
- ISBN
- 9783540513711
Paperback
Condition: New
€ 132.02
€ 132.02
Paperback. Contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS' 89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Editor(s): Kreczmar, A.; Mirkowska, G. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 235 x 155 x 31. Weight in Grams: 857.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540514862
- ISBN
- 9783540514862
Paperback
Condition: New
€ 76.50
€ 76.50
Paperback. Editor(s): Borger, E.; Buning, Hans Kleine; Richter, Michael M. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540516590
- ISBN
- 9783540516590
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback. Series: Mathematik fur Informatiker. Num Pages: 238 pages, 4 black & white illustrations, 6 black & white tables. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540529743
- ISBN
- 9783540529743
Paperback
Condition: New
€ 72.22
€ 72.22
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540537144
- ISBN
- 9783540537144
Paperback
Condition: New
€ 73.56
€ 73.56
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New...
. Ed(S): Kurshan, R. P.; Clarke, E.M.
paperback. This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1991st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540544777
- ISBN
- 9783540544777
Paperback
Condition: New
€ 71.97
€ 71.97
Paperback. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic. Editor(s): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, biography. BIC Classification: PBCD; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540544876
- ISBN
- 9783540544876
Paperback
Condition: New
€ 72.44
€ 72.44
Paperback. The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science. Editor(s): Pitt, David H.; Curien, P-.L.; Abramsky, Samson; Pitts, Andrew M.; Poigne, Axel; Rydeheard, D. E. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540544951
- ISBN
- 9783540544951
Paperback
Condition: New
€ 70.46
€ 70.46
Hardback. Containing three contributions by Arhangel'skii and Choban, this book treats important topics in general topology and their role in functional analysis and axiomatic set theory. It is a useful reference for graduate students and researchers working in topology, functional analysis, set theory and probability theory. Editor(s): Arkhangel'skii, A. V. Translator(s): Gould, G.G. Series: Encyclopaedia of Mathematical Sciences. Num Pages: 232 pages, biography. BIC Classification: PBCH; PBKF; PBM; PBP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540546986
- ISBN
- 9783540546986
Hardback
Condition: New
€ 132.38
€ 132.38
Paperback. This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory. Editor(s): Pearce, David; Wansing, Heinrich. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 184 pages, biography. BIC Classification: PBCD; PBW; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 10. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 184
- Condition
- New
- SKU
- V9783540557456
- ISBN
- 9783540557456
Paperback
Condition: New
€ 62.38
€ 62.38