.png){kind=logo}
Mathematical foundations
Results 1121 - 1140 of 1149
Mathematical foundations
Paperback. Ada's Algorithm tells the story of Ada Lovelace's turbulent life, and tells through the story of her life how she could have started the digital revolution two centuries ago but was thwarted by the then prevalent disregard for the intelligence of women. Num Pages: 256 pages. BIC Classification: 1DBK; 3JH; BGH; PBC; PDZ. Category: (G) General (US: Trade). Dimension: 198 x 129. .
- Publisher
- Gibson Square Books Ltd
- Format
- Paperback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781783340712
- ISBN
- 9781783340712
Paperback
Condition: New
€ 15.99€ 14.51
€ 15.99
€ 14.51
paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 257 pages, biography. BIC Classification: PBC; PHS; THR; TJFM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- 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
- 257
- Condition
- New
- SKU
- V9781461346722
- ISBN
- 9781461346722
Paperback
Condition: New
€ 193.74
€ 193.74
Paperback. Num Pages: 418 pages, 18 black & white illustrations, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 22. Weight in Grams: 817.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1986
- Number of pages
- 418
- Condition
- New
- SKU
- V9781475718973
- ISBN
- 9781475718973
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. Series: Monographs in Computer Science. Num Pages: 432 pages, 54 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 432
- Condition
- New
- SKU
- V9781441920140
- ISBN
- 9781441920140
Paperback
Condition: New
€ 195.40
€ 195.40
Hardback. Details important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. Series: Monographs in Computer Science. Num Pages: 432 pages, 54 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1730.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 432
- Condition
- New
- SKU
- V9780387237596
- ISBN
- 9780387237596
Hardback
Condition: New
€ 202.48
€ 202.48
Paperback. .
- Publisher
- Waldorf Publications
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781936367504
- ISBN
- 9781936367504
Paperback
Condition: New
€ 17.99€ 14.33
€ 17.99
€ 14.33
paperback. Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540876021
- ISBN
- 9783540876021
Paperback
Condition: New
€ 68.00
€ 68.00
Hardback. Series: Springer Monographs in Mathematics. Num Pages: 760 pages, biography. BIC Classification: PBC; PBF; PBG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 760
- Condition
- New
- SKU
- V9783319194219
- ISBN
- 9783319194219
Hardback
Condition: New
€ 232.56
€ 232.56
Paperback. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of the original 1st ed. 2000
- Condition
- New
- SKU
- V9789048155606
- ISBN
- 9789048155606
Paperback
Condition: New
€ 250.99
€ 250.99
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 258.08
€ 258.08
Paperback. A concise, practical guide in statistical methods for experimental data handling; ideal for course use and a handy reference for researchers. Num Pages: 238 pages, 47 b/w illus. 12 tables 49 exercises. BIC Classification: PBC; PBT; PDE; TBJ. Category: (U) Tertiary Education (US: College). Dimension: 229 x 162 x 12. Weight in Grams: 334. 240 pages, 47 b/w illus. 12 tables 49 exercises. A concise, practical 2011 guide in statistical methods for experimental data handling; ideal for course use and a handy reference for researchers. Cateogry: (U) Tertiary Education (US: College). BIC Classification: PBC; PBT; PDE; TBJ. Dimension: 229 x 162 x 12. Weight: 386.
- Publisher
- Cambridge University Press
- Number of pages
- 240
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780521134927
- ISBN
- 9780521134927
Paperback
Condition: New
€ 37.55
€ 37.55
Paperback. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 110 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 9. Weight in Grams: 198.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Center for the Study of Language and Inf
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780937073759
- ISBN
- 9780937073759
Paperback
Condition: New
€ 19.99€ 17.49
€ 19.99
€ 17.49
Paperback. Num Pages: 154 pages, 1 black & white illustrations, biography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Birkhäuser
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780817640286
- ISBN
- 9780817640286
Paperback
Condition: New
€ 65.82
€ 65.82
Hardcover. Written in the Socratic/Moore method, this book presents a sequence of problems which develop aspects in the field of semigroups of operators. The reader can discover important developments of the subject and quickly arrive at the point of independent research. Series: Problem Books in Mathematics. Num Pages: 142 pages, biography. BIC Classification: PBC; PBF; PBG. Category: (P) Professional & Vocational. Dimension: 248 x 167 x 14. Weight in Grams: 370. Series: Problem Books in Mathematics. 148 pages, black & white illustrations. Written in the Socratic/Moore method, this book presents a sequence of problems which develop aspects in the field of semigroups of operators. The reader can discover important developments of the subject and quickly arrive at the point of independent research. Cateogry: (P) Professional & Vocational. BIC Classification: PBC; PBF; PBG. Dimension: 248 x 167 x 14. Weight: 370.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Number of pages
- 148
- Condition
- New
- SKU
- V9781461404293
- ISBN
- 9781461404293
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. Num Pages: 128 pages, illustrations. BIC Classification: PBC; PBV. Category: (G) General (US: Trade). Dimension: 155 x 229 x 9. Weight in Grams: 188.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Dover Publications Inc.
- Edition
- First
- Condition
- New
- SKU
- V9780486796840
- ISBN
- 9780486796840
Paperback
Condition: New
€ 15.99€ 12.61
€ 15.99
€ 12.61
Hardback. A New Foundation for Representation in Cognitive and Brain Science Series: Springer Series in Cognitive and Neural Systems. Num Pages: 193 pages, 33 black & white illustrations, 40 colour illustrations, 4 black & white tables, biograph. BIC Classification: HP; MJN; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 503.
- Publisher
- Springer Netherlands
- Number of pages
- 193
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789400777378
- ISBN
- 9789400777378
Hardback
Condition: New
€ 194.34
€ 194.34
Hardcover.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781461436300
- ISBN
- 9781461436300
Hardback
Condition: New
€ 96.60
€ 96.60
Hardcover. Rather than teach mathematics and the structure of proofssimultaneously, this book first introduces logic as the foundationof proofs and then demonstrates how logic applies to mathematicaltopics. This method ensures that readers gain a firmunderstanding of how logic interacts with mathematics and empowersthem to solve more complex problems. Num Pages: 464 pages. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 163 x 242 x 29. Weight in Grams: 768.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Wiley
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470905883
- ISBN
- 9780470905883
Hardback
Condition: New
€ 126.69
€ 126.69
Hardcover. A Cp-Theory Problem Book Series: Problem Books in Mathematics. Num Pages: 583 pages, biography. BIC Classification: PBC; PBKF; PBP. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 36. Weight in Grams: 1016.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319047461
- ISBN
- 9783319047461
Hardback
Condition: New
€ 70.63
€ 70.63
Hardback. Series: Problem Books in Mathematics. Num Pages: 670 pages, biography. BIC Classification: PBC; PBKF; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319243832
- ISBN
- 9783319243832
Hardback
Condition: New
€ 105.09
€ 105.09