.png){kind=logo}
Mathematical foundations
Results 261 - 280 of 1148
Mathematical foundations
Paperback. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, and linear logic. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540419600
- ISBN
- 9783540419600
Paperback
Condition: New
€ 68.44
€ 68.44
paperback. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer Germany
- Edition
- 2003rd Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540403326
- ISBN
- 9783540403326
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540240143
- ISBN
- 9783540240143
Paperback
Condition: New
€ 73.12
€ 73.12
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 872 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1280.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 872
- Condition
- New
- SKU
- V9783540222613
- ISBN
- 9783540222613
Paperback
Condition: New
€ 133.22
€ 133.22
Hardback. Series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. BIC Classification: PBC. Dimension: 235 x 155. Weight in Grams: 976.
- Format
- Hardback
- Publication date
- 1983
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540122104
- ISBN
- 9783540122104
Hardback
Condition: New
€ 208.58
€ 208.58
Paperback. The Life and Work of Leon Henkin Editor(s): Manzano, Maria; Sain, Ildiko; Alonso, Enrique. Series: Studies in Universal Logic. Num Pages: 373 pages, 13 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 170 x 242 x 18. Weight in Grams: 628.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319097183
- ISBN
- 9783319097183
Paperback
Condition: New
€ 67.93
€ 67.93
Hardcover. Petr Hajek on Mathematical Fuzzy Logic Editor(s): Montagna, Franco. Series: Outstanding Contributions to Logic. Num Pages: 318 pages, 9 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 23. Weight in Grams: 638.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319062327
- ISBN
- 9783319062327
Hardback
Condition: New
€ 129.17
€ 129.17
Hardcover. Johan van Benthem on Logic and Information Dynamics Editor(s): Baltag, Alexandru; Smets, Sonja (Free University of Brussels, Belgium). Series: Outstanding Contributions to Logic. Num Pages: 1027 pages, 115 black & white illustrations, biography. BIC Classification: PBC; UYF. Category: (P) Professional & Vocational. Dimension: 239 x 165 x 47. Weight in Grams: 1666.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319060248
- ISBN
- 9783319060248
Hardback
Condition: New
€ 257.69
€ 257.69
Hardcover. Complexity in Economics: Cutting Edge Research Editor(s): Faggini, Marisa; Parziale, Anna. Series: New Economic Windows. Num Pages: 255 pages, 42 black & white illustrations, biography. BIC Classification: KCA; PBCD; PBWS. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 18. Weight in Grams: 524.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319051840
- ISBN
- 9783319051840
Hardback
Condition: New
€ 128.27
€ 128.27
Hardcover. Editor(s): Miller, Christopher L.; Rolin, Jean-Philippe; Speissegger, Patrick. Series: Fields Institute Communications. Num Pages: 244 pages, biography. BIC Classification: PBC; PBF; PBG. Category: (P) Professional & Vocational. Dimension: 281 x 248 x 19. Weight in Grams: 516.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781461440413
- ISBN
- 9781461440413
Hardback
Condition: New
€ 150.47
€ 150.47
Paperback. Num Pages: 356 pages, black & white illustrations, bibliography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 234 x 155 x 20. Weight in Grams: 530.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Format
- Paperback
- Publication date
- 2008
- Edition
- Réimpression inchangée de l'édition de 1970
- Condition
- New
- SKU
- V9783540340348
- ISBN
- 9783540340348
Paperback
Condition: New
€ 84.15
€ 84.15
Paperback. This book's dedicated focus on the 'almost' convergence and statistical convergence of double sequences demystifies the concept using a host of revealing examples, highlighting the application of double sequences in key areas of pure and applied mathematics. Num Pages: 180 pages, biography. BIC Classification: PBC; PBK; PBKJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer, India, Private Ltd India
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 180
- Condition
- New
- SKU
- V9788132229254
- ISBN
- 9788132229254
Paperback
Condition: New
€ 65.70
€ 65.70
Hardcover. Fuzzy set theory is a mathematical structure for representing uncertainty. Modern intelligent systems must combine knowledge based on techniques for gathering and processing information with methods of approximate reasoning. This enables an intelligent system to better emulate human decision-making in uncertain environments. Num Pages: 220 pages, Illustrations. BIC Classification: PBCD; PBWX; UYQE. Category: (P) Professional & Vocational. Dimension: 256 x 178 x 19. Weight in Grams: 552.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780471958673
- ISBN
- 9780471958673
Hardback
Condition: New
€ 285.96
€ 285.96
Paperback. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2012
- Edition
- 3rd ed. 2012
- Condition
- New
- SKU
- V9781447141280
- ISBN
- 9781447141280
Paperback
Condition: New
€ 78.71
€ 78.71
Hardback. Introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs: semantic-tree theorem proving and resolution-refutation theorem proving. This title also introduces first-order predicate calculus, well-formed formulae, and their transformation to clauses. Num Pages: 231 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 543.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 231
- Condition
- New
- SKU
- V9780387950754
- ISBN
- 9780387950754
Hardback
Condition: New
€ 194.65
€ 194.65
Paperback. Num Pages: 376 pages, biography. BIC Classification: PBC; PDA; PDZ; PHQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 376
- Condition
- New
- SKU
- V9783642063220
- ISBN
- 9783642063220
Paperback
Condition: New
€ 195.06
€ 195.06
Hardback. Num Pages: 376 pages, biography. BIC Classification: PBC; PDA; PDZ; PHQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 1590.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540240792
- ISBN
- 9783540240792
Hardback
Condition: New
€ 201.62
€ 201.62
Hardback. Covering the interface of such areas of mathematics as harmonic analysis, functional analysis, analysis on spaces of homogeneous type, topology and quasi-metric geometry, this accessible book offers useful techniques and extensive reference material. Series: Applied and Numerical Harmonic Analysis. Num Pages: 491 pages, 1 black & white illustrations, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 895.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 491
- Condition
- New
- SKU
- V9780817683962
- ISBN
- 9780817683962
Hardback
Condition: New
€ 130.74
€ 130.74
Hardback. Num Pages: biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Birkh?user Switzerland
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319530482
- ISBN
- 9783319530482
Hardback
Condition: New
€ 150.06
€ 150.06
Paperback. Editor(s): Guoqing Chen; Ying, Mingsheng; Kai-Yuan Cai. Series: The International Series on Asian Studies in Computer and Information Science. Num Pages: 294 pages, biography. BIC Classification: PBC; PBKQ; THR; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 294
- Condition
- New
- SKU
- V9781461373995
- ISBN
- 9781461373995
Paperback
Condition: New
€ 194.22
€ 194.22