{"title":"Alexandra Silva","description":null,"products":[{"product_id":"logic-language-information-and-computation-springer-nature-switzerland-ag-9783030888527-27th-international-workshop-wollic-2021-virtual-event-october-5-8-2021-proceedings-alexandra-silva","title":"Logic, Language, Information, and Computation","description":"\u003cp\u003eDiscover the fascinating intersection of logic, language, information, and computation in \"Logic, Language, Information, and Computation,\" edited by Alexandra Silva. Published by Springer Nature Switzerland AG in 2021, this comprehensive volume features the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication (WoLLIC 2021), which took place as a virtual event in October 2021. Spanning 427 pages, this first edition is an essential resource for researchers and enthusiasts alike, providing valuable insights into contemporary topics in the field. Join the conversation and deepen your understanding of how these disciplines interconnect in our digital age.\u003c\/p\u003e","brand":"Alexandra Silva","offers":[{"title":"Default Title","offer_id":52269783712086,"sku":"9783030888527","price":78.8,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030888527.jpg?v=1767803600"},{"product_id":"computer-aided-verification-springer-nature-switzerland-ag-9783030816872-33rd-international-conference-cav-2021-virtual-event-july-20-23-2021-proceedings-part-ii-alexandra-silva","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the groundbreaking insights in \"Computer Aided Verification,\" authored by Alexandra Silva and published by Springer Nature Switzerland AG in 2021. This comprehensive two-volume set, consisting of LNCS 12759 and 12760, presents the refereed proceedings from the 33rd International Conference on Computer Aided Verification (CAV 2021), which took place virtually in July 2021.\u003c\/p\u003e \n\n\u003cp\u003eWith a total of 940 pages, this first edition features 63 meticulously reviewed full papers, alongside 16 tool papers and 5 invited contributions, all selected from a competitive pool of 290 submissions. This collection is essential for researchers and practitioners in the field, providing valuable perspectives on the latest advancements and methodologies in computer-aided verification.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of this dynamic area of study and stay at the forefront of technological innovation with this indispensable resource.\u003c\/p\u003e","brand":"Alexandra Silva","offers":[{"title":"Default Title","offer_id":52277234827606,"sku":"9783030816872","price":42.43,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030816872.jpg?v=1767819352"},{"product_id":"computer-aided-verification-springer-nature-switzerland-ag-9783030816841-33rd-international-conference-cav-2021-virtual-event-july-20-23-2021-proceedings-part-i-alexandra-silva","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the latest advancements in the field of computer science with \"Computer Aided Verification,\" authored by Alexandra Silva. This comprehensive two-volume set, part of the LNCS series (Volumes 12759 and 12760), showcases the refereed proceedings from the prestigious 33rd International Conference on Computer Aided Verification (CAV 2021), which took place virtually in July 2021. With a total of 922 pages, this first edition published by Springer Nature Switzerland AG features 63 meticulously reviewed full papers, alongside 16 innovative tool papers and 5 insightful invited papers, all selected from an impressive pool of 290 submissions. This essential resource is perfect for researchers, practitioners, and students looking to deepen their understanding of computer-aided verification techniques and applications. Enhance your knowledge and stay at the forefront of this dynamic field with this invaluable collection.\u003c\/p\u003e","brand":"Alexandra Silva","offers":[{"title":"Default Title","offer_id":52277234991446,"sku":"9783030816841","price":42.43,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030816841.jpg?v=1767819350"}],"url":"https:\/\/www.laufgard.com\/collections\/alexandra-silva.oembed","provider":"Bookshop","version":"1.0","type":"link"}