Mathematical foundations
Results 1141 - 1160 of 1200
Mathematical foundations
Formal Aspects of Component Software: 12th International Conference, F...
. Ed(S): Braga, Christiano; Olveczky, Peter C...
paperback. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319289335
- ISBN
- 9783319289335
Paperback
Condition: New
€ 64.49
€ 64.49
Paperback. Editor(s): Bouchon-Meunier, Bernadette; Yager, Ronald R.; Zadeh, Lotfi A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 470 pages, biography. BIC Classification: PBCD; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 470
- Condition
- New
- SKU
- V9781461373735
- ISBN
- 9781461373735
Paperback
Condition: New
€ 125.87
€ 125.87
Automated Deduction in Geometry: 10th International Workshop, ADG 2014...
. Ed(S): Botana, Francisco; Quaresma, Pedro
paperback. Editor(s): Botana, Francisco; Quaresma, Pedro. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, 54 black & white illustrations, biography. BIC Classification: PBCD; PBMS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 190
- Condition
- New
- SKU
- V9783319213613
- ISBN
- 9783319213613
Paperback
Condition: New
€ 52.60
€ 52.60
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
€ 70.39
€ 70.39
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
€ 70.34
€ 70.34
Paperback. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 216
- Condition
- New
- SKU
- V9789048154722
- ISBN
- 9789048154722
Paperback
Condition: New
€ 123.67
€ 123.67
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 127.88
€ 127.88
The Nature of Computation: Logic, Algorithms, Applications. Proceeding...
. Ed(S): Bonizzoni, Paola; Brattka, Vasco; Lo...
Paperback. Editor(s): Bonizzoni, Paola; Brattka, Vasco; Lowe, Benedikt. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 42 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 649.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642390524
- ISBN
- 9783642390524
Paperback
Condition: New
€ 66.49
€ 66.49
Paperback. Editor(s): Boissonnat, Jean-Daniel; Chenin, Patrick; Cohen, Albert; Gout, Christian; Lyche, Tom; Mazure, Marie-Laurence; Schumaker, Larry L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 758 pages, 355 black & white illustrations, biography. BIC Classification: PBC; UGC; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1046.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783642274121
- ISBN
- 9783642274121
Paperback
Condition: New
€ 128.47
€ 128.47
Paperback. Editor(s): Bohner, Martin; Peterson, Allan C. Num Pages: 348 pages, biography. BIC Classification: PBC; PBF; PBKJ; PBW. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 692.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 348
- Condition
- New
- SKU
- V9781461265023
- ISBN
- 9781461265023
Paperback
Condition: New
€ 66.64
€ 66.64
Hardback. Editor(s): Bochenski, J. M.; Bird, Otto. Series: Synthese Library. Num Pages: 100 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Scholarly. Dimension: 235 x 155 x 7. Weight in Grams: 343.
- Format
- Hardback
- Publication date
- 1960
- Publisher
- Springer Netherlands
- Number of pages
- 100
- Condition
- New
- SKU
- V9789027700735
- ISBN
- 9789027700735
Hardback
Condition: New
€ 126.10
€ 126.10
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. 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
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 66.92
€ 66.92
Parallel Solution of Partial Differential Equations
. Ed(S): Bjorstad, Petter E.; Luskin, Mitchel...
Paperback. Editor(s): Bjorstad, Petter E.; Luskin, Mitchell Barry. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 316 pages, 29 black & white tables, biography. BIC Classification: PBCN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 316
- Condition
- New
- SKU
- V9781461270348
- ISBN
- 9781461270348
Paperback
Condition: New
€ 65.33
€ 65.33
Fuzzy Logic and its Applications to Engineering, Information Sciences,...
. Ed(S): Bien, Zeungnam; Min, K.C.
Paperback. Editor(s): Bien, Zeungnam; Min, K.C. Series: Theory and Decision Library: D. Num Pages: 495 pages, biography. BIC Classification: KJT; PBC; PBKS; PHS. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 26. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 495
- Condition
- New
- SKU
- V9789401065436
- ISBN
- 9789401065436
Paperback
Condition: New
€ 67.25
€ 67.25
Paperback. Editor(s): Biegler, Lorenz T.; Coleman, Thomas F.; Conn, Andrew R.; Santosa, Fadil. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 219 pages, 6 black & white tables, biography. BIC Classification: KJT; PBCN; PBUH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 219
- Condition
- New
- SKU
- V9781461273578
- ISBN
- 9781461273578
Paperback
Condition: New
€ 123.54
€ 123.54
Paperback. Editor(s): Biegler, Lorenz T.; Coleman, Thomas F.; Conn, Andrew R.; Santosa, Fadil. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 223 pages, 27 black & white tables, biography. BIC Classification: KJT; PBCN; PBUH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 223
- Condition
- New
- SKU
- V9781461268703
- ISBN
- 9781461268703
Paperback
Condition: New
€ 123.48
€ 123.48
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 434
- Condition
- New
- SKU
- V9789048150519
- ISBN
- 9789048150519
Paperback
Condition: New
€ 242.80
€ 242.80
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 501
- Condition
- New
- SKU
- V9789048150502
- ISBN
- 9789048150502
Paperback
Condition: New
€ 243.29
€ 243.29
Paperback. This book collects previously unpublished papers exploring the theory of oppositions based on Aristotelian foundations of logic, reflecting renewed interest and challenging re-interpretations which extend the original theory in breadth and depth. Editor(s): Beziau, Jean-Yves (University of Neuchatel); Jacquette, Dale. Series: Studies in Universal Logic. Num Pages: 389 pages, 133 black & white illustrations, 19 colour illustrations, 36 black & white tables, biogra. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 663.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Number of pages
- 389
- Condition
- New
- SKU
- V9783034803786
- ISBN
- 9783034803786
Paperback
Condition: New
€ 65.57
€ 65.57
Paperback. Editor(s): Beziau, Jean-Yves (University of Neuchatel); Basti, Gianfranco. Series: Studies in Universal Logic. Num Pages: 337 pages, 43 black & white illustrations, 83 colour illustrations, 45 colour tables, biography. BIC Classification: HPL; PBB; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 168. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 337
- Condition
- New
- SKU
- V9783319450612
- ISBN
- 9783319450612
Paperback
Condition: New
€ 102.03
€ 102.03