null
Skip to main content
Filters & Sort
  • Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11429) book cover by
    Add to Cart The item has been added
    Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11429) [9783030175016]
    As Low as $59.99
    Paperback
  • Autoimmunity, Part A: Basic Principles and New Diagnostic Tools, Volume 1109 (Annals of the New York Academy of Sciences) book cover by
    Add to Cart The item has been added
    Autoimmunity, Part A: Basic Principles and New Diagnostic Tools, Volume 1109 (Annals of the New York Academy of Sciences) [9781573316637]
    As Low as $183.00
    Paperback
  • Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV book cover by
    Add to Cart The item has been added
    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV [9783030837228]
    As Low as $54.99
    Paperback

Subscribe to our newsletter for $25 off your next order of $500+

Review Your Cart Close Close
Your cart is empty Your cart is empty Your cart is empty
Recently Viewed Recently Viewed
Back to top Back to top