×


 x 

Shopping cart

Mathematics

Results 17141 - 17160 of 19112

Mathematics

Paperback. .
Publisher
American Mathematical Society United States
Format
Paperback
Publication date
1984
Condition
New
SKU
V9780821850275
ISBN
9780821850275
Paperback
Condition: New

€ 173.74

Paperback. Editor(s): Galmiche, Didier; Larchey-Wendling, Dominique. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 34 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
299
Condition
New
SKU
V9783642405365
ISBN
9783642405365
Paperback
Condition: New

€ 61.20

Paperback. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: PBH; UYQE. Category: (G) General (US: Trade). Dimension: 233 x 155 x 15. Weight in Grams: 402.
Format
Paperback
Publication date
2003
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
280
Condition
New
SKU
V9783540407874
ISBN
9783540407874
Paperback
Condition: New

€ 69.86

Paperback. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 551.
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Edition
1st ed. Softcover of orig. ed. 2004
Number of pages
341
Condition
New
SKU
V9789048166961
ISBN
9789048166961
Paperback
Condition: New

€ 194.77

Hardback. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
341
Condition
New
SKU
V9781402026522
ISBN
9781402026522
Hardback
Condition: New

€ 195.76

Paperback. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 12. Weight in Grams: 377.
Format
Paperback
Publication date
2011
Publisher
Springer Netherlands
Edition
Softcover reprint of the original 1st ed. 1996
Number of pages
222
Condition
New
SKU
V9789401072502
ISBN
9789401072502
Paperback
Condition: New

€ 127.28

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

€ 54.72

Paperback. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, biography. BIC Classification: PBM; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 790.
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
229
Condition
New
SKU
V9783540209270
ISBN
9783540209270
Paperback
Condition: New

€ 69.19

Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Number of pages
448
Condition
New
SKU
V9780792351306
ISBN
9780792351306
Hardback
Condition: New

€ 258.08

Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Condition
New
SKU
V9780792351290
ISBN
9780792351290
Hardback
Condition: New

€ 259.22

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

€ 250.99

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

€ 251.49

Paperback. Editor(s): Adamatzky, Andrew. Series: Emergence, Complexity and Computation. Num Pages: 429 pages, 83 black & white illustrations, 24 colour illustrations, biography. BIC Classification: GPFC; PBWH; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 658.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Edition
Softcover reprint of the original 1st ed. 2015
Number of pages
429
Condition
New
SKU
V9783319363677
ISBN
9783319363677
Paperback
Condition: New

€ 128.72

Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 1142 pages, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1689.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
1142
Condition
New
SKU
V9783662476710
ISBN
9783662476710
Paperback
Condition: New

€ 135.08

Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 65 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1145.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
756
Condition
New
SKU
V9783662476659
ISBN
9783662476659
Paperback
Condition: New

€ 70.85

Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 654 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
654
Condition
New
SKU
V9783662439500
ISBN
9783662439500
Paperback
Condition: New

€ 69.91

Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1124 pages, 74 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1660.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
1124
Condition
New
SKU
V9783662439470
ISBN
9783662439470
Paperback
Condition: New

€ 74.15

Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 724 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1001.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
724
Condition
New
SKU
V9783642392115
ISBN
9783642392115
Paperback
Condition: New

€ 71.21

Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta Zofia; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 880 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1212.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
880
Condition
New
SKU
V9783642392054
ISBN
9783642392054
Paperback
Condition: New

€ 72.70

Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
Format
Paperback
Publication date
1997
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
192
Condition
New
SKU
V9783540631743
ISBN
9783540631743
Paperback
Condition: New

€ 68.23

Subscribe to our newsletter

News on special offers, signed editions & more!