-
1. Automated Technology for Verification and Analysis
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031199912
Format: EPUB eBook
Digital download
$25.50
-
2. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
by Blanchette, Jasmin (Editor), and Kovács, Laura (Editor), and Pattinson, Dirk (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Artificial Intelligence ; Lecture Notes in Computer Science . XV, 756 p. 110 illus., 42 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031107689
Paperback, New
NV, USA
$46.96
-
3. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
by Blanchette, Jasmin (Editor), and Kovács, Laura (Editor), and Pattinson, Dirk (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. ; Lecture Notes in Computer Science . XV, 756 p. 110 illus., 42 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031107689
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$62.80
-
4. Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
by Bouajjani, Ahmed (Editor), and Holík, Lukás (Editor), and Wu, Zhilin (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXIII, 432 p. 94 illus., 64 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031199912
Paperback, New
NV, USA
$79.84
-
5. Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
by Bouajjani, Ahmed (Editor), and Holík, Lukás (Editor), and Wu, Zhilin (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXIII, 432 p. 94 illus., 64 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031199912
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$99.74
-
6. Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
by Bouajjani, Ahmed (Editor), and Holík, Lukás (Editor), and Wu, Zhilin (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXIII, 432 p. 94 illus., 64 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031199912
Paperback, New
Southport, MERSEYSIDE, UNITED KINGDOM
$102.47
-
7. Automate Everyday Tasks in Jira: A practical, no-code approach for Jira admins and power users to automate everyday processes
by Cantrell, Gareth
Seller Description: New. Print on demand Intended for professional and scholarly audience. See More Details
2021, Packt Publishing Limited
ISBN-13: 9781800562868
Paperback, New
NV, USA
$26.62
-
8. Automate Everyday Tasks in Jira
by Gareth Cantrell
eBook See More Details
2021, Packt Publishing
eBook ISBN: 9781800562868
Edition: 1st edition
Format: EPUB eBook
Digital download
$31.99
-
9. Automate Everyday Tasks in Jira: A practical, no-code approach for Jira admins and power users to automate everyday processes
by Cantrell, Gareth
Seller Description: New. See More Details
2021, Packt Publishing Limited
ISBN-13: 9781800562868
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$47.04
-
10. Automate Everyday Tasks in Jira: a Practical, No-Code Approach for Jira Admins and Power Users to Automate Everyday Processes
by Gareth Cantrell
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2021, Packt Publishing
ISBN-13: 9781800562868
paperback, Good
Santa Clarita, CA, USA
$54.46
-
11. Automate Everyday Tasks in Jira: a Practical, No-Code Approach for Jira Admins and Power Users to Automate Everyday Processes
by Gareth Cantrell
Seller Description: New. See More Details
2021, Packt Publishing
ISBN-13: 9781800562868
paperback, New
Santa Clarita, CA, USA
$81.86
-
12. Cunning Machines
by Jä™Drzej Osiĺ„Ski
eBook See More Details
2020, Taylor & Francis
eBook ISBN: 9780367898021
Edition: 1st edition
Format: EPUB eBook
Digital download
$28.60
|
