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 “alexander knapp”
Skip side bar filters

  • Go Where the Bugs Are

    Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

    Edited by Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer ...
    Series series Computer Science (R0)
    This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000. He was the founding dean of the Faculty for Applied Computer ... Read more

    $76.49 USD

  • Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

    Edited by Alexandre Madeira, Alexander Knapp ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety ... Read more

    $71.99 USD

  • Ernest Bloch Studies

    Edited by Alexander Knapp, Norman Solomon ...
    Series series Cambridge Composer Studies
    Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand recollections of relatives and others who knew and worked with the composer, this collection is the most ... Read more

    $38.59 USD

  • Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

    Edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Read more

    $49.49 USD

People who read these 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

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

    Edited by Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

    Free

  • Fundamental Approaches to Software Engineering

    21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edited by Alessandra Russo, Andy Schürr ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... 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

  • Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

    Edited by Constantin Enea, Akash Lal ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Read more

    Free

  • Big Data Analytics and Knowledge Discovery

    18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

    Edited by Sanjay Madria, Takahiro Hara ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and ... Read more

    $49.49 USD

  • Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 3 - Springer Nature Proceedings Computer Science
    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, ... Read more

    $80.99 USD

  • Formal Methods

    27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II

    Edited by Augusto Sampaio, Marielle Stoelinga ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026.The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the ... Read more

    Free