Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “timothy bourke”
Skip side bar filters

  • Dependable Software Engineering. Theories, Tools, and Applications

    10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings

    Edited by Timothy Bourke, Liqian Chen, Amir Goharshady ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26–28, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers ... Read more

    $80.99 USD

People who read this also enjoyed

  • Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Edited by Reiner Hähnle, Wil van der Aalst ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

    Free

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

    Free

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

    Free

  • Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

    Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

    Free

  • Information Security

    25th International Conference, ISC 2022, Bali, Indonesia, December 18–22, 2022, Proceedings

    Edited by Willy Susilo, Xiaofeng Chen, Fuchun Guo, Yudi Zhang, Rolly Intan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in December 2022.The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The contributions were organized in topical sections as follows: Cryptography; Post-Quantum Cryptography; ... Read more

    $80.99 USD

  • Engineering of Complex Computer Systems

    28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings

    Edited by Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024.The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; ... Read more

    $76.49 USD

  • Dependable Software Engineering. Theories, Tools, and Applications

    9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

    Edited by Holger Hermanns, Jun Sun, Lei Bu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. ... Read more

    $80.99 USD

  • Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

    Edited by Shengchao Qin, Jim Woodcock, Wenhui Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal ... Read more

    $76.49 USD

  • Theoretical Aspects of Software Engineering

    18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings

    Edited by Wei-Ngan Chin, Zhiwu Xu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as ... Read more

    $98.09 USD

  • Theoretical Aspects of Software Engineering

    16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

    Edited by Yamine Aït-Ameur, Florin Crăciun ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest ... Read more

    $80.99 USD

  • Information Security and Cryptology – ICISC 2025

    28th International Conference, Seoul, South Korea, November 19–21, 2025, Revised Selected Papers

    Edited by Hwajeong Seo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 28th International Conference on Information Security and Cryptology on Information Security and Cryptology – ICISC 2025, held in Seoul, South Korea, during November 19–21, 2025.The 28 full papers included in this book were carefully reviewed and selected from 74 submissions.They were organized in topical sections as follows:AI-Driven Threat ... Read more

    $80.99 USD