.png){kind=logo}
Mathematical foundations
Results 1001 - 1020 of 1149
Mathematical foundations
Paperback. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 371 pages, biography. BIC Classification: PBCD; PBD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 20. Weight in Grams: 534.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 371
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 2004
- Condition
- New
- SKU
- V9781447110521
- ISBN
- 9781447110521
Paperback
Condition: New
€ 206.01
€ 206.01
Hardcover. .
- Publisher
- Springer Netherlands
- Number of pages
- 262
- Format
- Hardback
- Publication date
- 1981
- Edition
- 1981st Edition
- Condition
- New
- SKU
- V9789027712783
- ISBN
- 9789027712783
Hardback
Condition: New
€ 230.15
€ 230.15
Paperback. Series: International Series in Intelligent Technologies. Num Pages: 260 pages, biography. BIC Classification: KJT; PBCD; PBKA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 260
- Condition
- New
- SKU
- V9789401060400
- ISBN
- 9789401060400
Paperback
Condition: New
€ 249.28
€ 249.28
Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- The Center for the Study of Language and Information Publications
- Condition
- New
- SKU
- V9780937073940
- ISBN
- 9780937073940
Paperback
Condition: New
€ 32.99€ 26.09
€ 32.99
€ 26.09
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 106.61
€ 106.61
Paperback. Series: Perspectives in Mathematical Logic. Num Pages: 437 pages, biography. BIC Classification: PBCD; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 437
- Condition
- New
- SKU
- V9783540666813
- ISBN
- 9783540666813
Paperback
Condition: New
€ 140.42
€ 140.42
Paperback. This book teaches readers how to better reason about software development. It teaches how to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic. Num Pages: 314 pages, biography. BIC Classification: PBCD; UMZ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 314
- Condition
- New
- SKU
- V9781848000810
- ISBN
- 9781848000810
Paperback
Condition: New
€ 72.82
€ 72.82
Hardback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 304 pages, 60 black & white illustrations, 4 colour illustrations, 4 colour tables, biography. BIC Classification: PBC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 304
- Condition
- New
- SKU
- V9783319555584
- ISBN
- 9783319555584
Hardback
Condition: New
€ 106.73
€ 106.73
Hardcover. The only text available on graph theory at the freshman/sophomore level, it covers properties of graphs, presents numerous algorithms, and describes actual applications to chemistry, genetics, music, linguistics, control theory and the social sciences. Illustrated. Num Pages: 352 pages, graphs, maps. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 259 x 176 x 22. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 352
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471615545
- ISBN
- 9780471615545
Hardback
Condition: New
€ 226.07
€ 226.07
Paperback. Series: Scientific Computation. Num Pages: 510 pages, biography. BIC Classification: PBCN; PBUH; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 510
- Condition
- New
- SKU
- V9783662126158
- ISBN
- 9783662126158
Paperback
Condition: New
€ 129.86
€ 129.86
Paperback. Editor(s): Slowinski, Roman. Series: The Handbooks of Fuzzy Sets. Num Pages: 453 pages, biography. BIC Classification: KJT; PBC; PBKQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 453
- Condition
- New
- SKU
- V9781461375838
- ISBN
- 9781461375838
Paperback
Condition: New
€ 251.13
€ 251.13
Hardback. Includes chapters on fuzzy preference modeling, multiple criteria analysis, ranking and sorting methods, group decision-making and fuzzy game theory. This book presents optimization techniques such as fuzzy linear and non-linear programming, applications to graph problems and fuzzy combinatorial methods such as fuzzy dynamic programming. Editor(s): Slowinski, Roman. Series: The Handbooks of Fuzzy Sets. Num Pages: 453 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 851.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9780792381129
- ISBN
- 9780792381129
Hardback
Condition: New
€ 258.86
€ 258.86
Hardback. Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 737.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 395
- Condition
- New
- SKU
- V9780792359043
- ISBN
- 9780792359043
Hardback
Condition: New
€ 201.92
€ 201.92
Paperback. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 395
- Condition
- New
- SKU
- V9789048152988
- ISBN
- 9789048152988
Paperback
Condition: New
€ 195.30
€ 195.30
Hardback. .
- Publisher
- CLANRYE INTERNATIONAL
- Format
- Hardback
- Publication date
- 2015
- Condition
- New
- SKU
- V9781632403780
- ISBN
- 9781632403780
Hardback
Condition: New
€ 147.89
€ 147.89
The Parametric Lambda Calculus. A Meta-Model for Computation.
Ronchi Della Rocca, Simona; Paolini, Luca
Hardback. Contains a presentation of classical results in the field of Lambda Calculus. This text presents a calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 262
- Condition
- New
- SKU
- V9783540200321
- ISBN
- 9783540200321
Hardback
Condition: New
€ 72.22
€ 72.22
Hardcover. This book contains computational methods for numerically computing steady state and Hopf bifurcations. It is probably the first textbook to describe these types of numerical bifurcation techniques. The book requires only a basic knowledge of calculus. Series: Interdisciplinary Applied Mathematics. Num Pages: 477 pages, 200 black & white illustrations, biography. BIC Classification: PBCN; PBK; PHU. Category: (P) Professional & Vocational. Dimension: 163 x 236 x 33. Weight in Grams: 906.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 3rd
- Condition
- New
- SKU
- V9781441917393
- ISBN
- 9781441917393
Hardback
Condition: New
€ 137.64
€ 137.64
Paperback / so. Series: Springer-Lehrbuch. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: KFF; PBCN; PBF; PBW. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783662502983
- ISBN
- 9783662502983
Paperback
Condition: New
€ 39.91
€ 39.91
Paperback. Series: Synthese Library. Num Pages: 474 pages, biography. BIC Classification: CFX; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 474
- Condition
- New
- SKU
- V9789401569446
- ISBN
- 9789401569446
Paperback
Condition: New
€ 372.95
€ 372.95
Hardback. Editor(s): Cooper, S. Barry. Series: Theory and Applications of Computability. Num Pages: 292 pages, 10 black & white illustrations, biography. BIC Classification: PBC; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 292
- Condition
- New
- SKU
- V9783319436678
- ISBN
- 9783319436678
Hardback
Condition: New
€ 161.88
€ 161.88