-
101. Grammatical Evolution
by Michael O'Neill; Conor Ryan
eBook See More Details
2012, Springer Nature
eBook ISBN: 9781461350811
Format: PDF eBook
Digital download
$47.70
-
102. Automatic Programming and Numerical Methods of Analysis
eBook See More Details
2012, Springer Nature
eBook ISBN: 9781461585909
Format: PDF eBook
Digital download
$54.99
-
103. Automated Technology for Verification and Analysis
by Madhavan Mukund; Âsupratik Chakraborty
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642333859
Edition: 1st edition
Format: PDF eBook
Digital download
$54.99
-
104. Automated Reasoning
by Bernhard Gramlich; Âdale Miller; Âulrike Sattler
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642313646
Edition: 1st edition
Format: PDF eBook
Digital download
$54.99
-
105. Automatic Programming and Numerical Methods of Analysis
by Faddeeva, V. N. (Editor)
Seller Description: New. Print on demand Seminars in mathematics . VII, 126 p. Intended for professional and scholarly audience. See More Details
2012, Springer-Verlag New York Inc.
ISBN-13: 9781461585909
Paperback, New
NV, USA
$60.65
-
106. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
by Mukund, Madhavan (Editor), and Chakraborty, Supratik (Editor)
Seller Description: New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Programming and Software Engineering . XIV, 438 p. 106 illus. Intended for professional and scholarly audience. See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642333859
Paperback, New
NV, USA
$60.65
-
107. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, New
NV, USA
$60.65
-
108. Automated Technology for Verification and Analysis
Seller Description: New, Satisfaction guaranteed! ! See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642333859
Paperback, New
Irving, TX, USA
$64.39
-
109. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
by Mukund, Madhavan (Editor), and Chakraborty, Supratik (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XIV, 438 p. 106 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642333859
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$65.43
-
110. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$65.43
-
111. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. ; Lecture Notes in Computer Science . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, Fine/Like New
Columbia, MD, USA
$65.44
-
112. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: New. Contains: Illustrations, black & white. ; Lecture Notes in Computer Science . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, New
Columbia, MD, USA
$65.69
-
113. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
by Mukund, Madhavan (Editor), and Chakraborty, Supratik (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XIV, 438 p. 106 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642333859
Paperback, Fine/Like New
Columbia, MD, USA
$65.75
-
114. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
by Mukund, Madhavan (Editor), and Chakraborty, Supratik (Editor)
Seller Description: New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XIV, 438 p. 106 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642333859
Paperback, New
Columbia, MD, USA
$66.00
|
