-
76. Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
by Malcher, Andreas (Editor), and Prigioniero, Luca (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXX, 225 p. 29 illus., 14 illus. in color. Intended for professional and scholarly audience. See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031970993
Paperback, New
NV, USA
$140.50
-
77. Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
by Malcher, Andreas (Editor), and Prigioniero, Luca (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXX, 225 p. 29 illus., 14 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031970993
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$151.60
-
78. Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19? 21, 2025, Proceedings (Lecture Notes in Computer Science)
Seller Description: New. See More Details
2025, Springer
ISBN-13: 9783032107930
paperback, New
Miramar, FL, USA
$152.67
-
79. Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
by Malcher, Andreas (Editor), and Prigioniero, Luca (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXX, 225 p. 29 illus., 14 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031970993
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$153.13
-
80. Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
by Malcher, Andreas (Editor), and Prigioniero, Luca (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXX, 225 p. 29 illus., 14 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031970993
Paperback, Fine/Like New
Columbia, MD, USA
$153.95
-
81. Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
by Malcher, Andreas (Editor), and Prigioniero, Luca (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXX, 225 p. 29 illus., 14 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031970993
Paperback, New
Columbia, MD, USA
$154.20
-
82. Modeling Complex Processes Through Nature-Analogous Methods: Artificial Intelligence and Artificial Life
by Klüver, Christina
Seller Description: New. See More Details
2025, Springer
ISBN-13: 9783658465094
paperback, New
Santa Clarita, CA, USA
$157.19
-
83. Nasa Formal Methods
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783031937057
Format: EPUB eBook
Digital download
$159.00
-
84. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
by Dutle, Aaron (Editor), and Humphrey, Laura (Editor), and Titolo, Laura (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 442 p. 107 illus., 71 illus. in color. Intended for professional and scholarly audience. See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031937057
Paperback, New
NV, USA
$159.29
-
85. Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
by Lindemann, Lars
Seller Description: New. See More Details
2025, The MIT Press
ISBN-13: 9780262049719
paperback, New
Santa Clarita, CA, USA
$165.45
-
86. Modeling Complex Processes Through Nature-Analogous Methods: Artificial Intelligence and Artificial Life
by Schmidt, Jörn
Seller Description: New. See More Details
2025, Springer
ISBN-13: 9783658465094
paperback, New
Miramar, FL, USA
$165.68
-
87. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
by Dutle, Aaron (Editor), and Humphrey, Laura (Editor), and Titolo, Laura (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 442 p. 107 illus., 71 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031937057
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$169.01
-
88. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
by Dutle, Aaron (Editor), and Humphrey, Laura (Editor), and Titolo, Laura (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 442 p. 107 illus., 71 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031937057
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$173.61
-
89. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
by Dutle, Aaron (Editor), and Humphrey, Laura (Editor), and Titolo, Laura (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 442 p. 107 illus., 71 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031937057
Paperback, New
Columbia, MD, USA
$174.44
-
90. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
by Dutle, Aaron (Editor), and Humphrey, Laura (Editor), and Titolo, Laura (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 442 p. 107 illus., 71 illus. in color. 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 ... See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031937057
Paperback, Fine/Like New
Columbia, MD, USA
$174.44
-
91. Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
by Lindemann, Lars; Dimarogonas, Dimos V.
Seller Description: New. Size: 5x0x9; New Book, Ships with Tracking. See More Details
2025, The MIT Press
ISBN-13: 9780262049719
paperback, New
Franklin Lakes, NJ, USA
$189.00
|
