{"title":"Rupak Majumdar","description":null,"products":[{"product_id":"computer-aided-verification-book-rupak-majumdar-9783319633862","title":"Computer Aided Verification","description":"The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed  proceedings of the 29th International Conference on Computer Aided  Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.\u003cp\u003eThe total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. \u003c\/p\u003e\u003cp\u003eThe CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51060878049553,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51060880572689,"sku":"NIN9783319633862","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52479391695121,"sku":"NLS9783319633862","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319633864.jpg?v=1785798205"},{"product_id":"computer-aided-verification-book-rupak-majumdar-9783319633893","title":"Computer Aided Verification","description":"The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed  proceedings of the 29th International Conference on Computer Aided  Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.\u003cp\u003eThe total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. \u003c\/p\u003e\u003cp\u003eThe CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52486341787921,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52486342705425,"sku":"NLS9783319633893","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319633893.jpg?v=1759859091"},{"product_id":"hybrid-systems-computation-and-control-book-rupak-majumdar-9783642006012","title":"Hybrid Systems: Computation and Control","description":"This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSC 2009) held in San Francisco, CaliforniaduringApril13-15,2009. Theannualconferenceonhybridsystems- cuses on researchin embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. HSC 2009 was the 12th in a series of successful meetings. Previous versions wereheld in Berkeley(1998), Nijmegen (1999), Pittsburgh(2000), Rome (2001), PaloAlto (2002), Prague(2003), Philadelphia (2004), Zurich (2005), Santa B- bara (2006), Pisa (2007), and St. Louis (2008). HSC 2009 was part of the 2nd Cyber-Physical Systems Week (CPSWeek), whichconsistedoftheco-locationofHSCwiththeInternationalConferenceon Information Processing in Sensor Networks (IPSN) and the Real-Time and - bedded Technology and Applications Symposium (RTAS). Through CPSWeek, the three conferences had joint invited speakers, poster sessions, and joint - cial events. In addition to the workshops sponsored by CPSWeek, HSC 2009 sponsored two workshops: - NSV I: Second International Workshop on Numerical Software Veri?cation - HSCB 2009: Hybrid Systems Approaches to Computational Biology We would like to thank the authors of submitted papers, the Program C- mittee members, the additional reviewers, the workshop organizers, and the HSC Steering Committee members for their help in composing a strong p- gram. We also thank the CPSWeek Organizing Committee, in particular Rajesh Gupta, for their strenuous work in handling the local arrangements.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52667901608209,"sku":"NLS9783642006012","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642006012.jpg?v=1789555240"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-rupak-majumdar.oembed","provider":"World of Books ","version":"1.0","type":"link"}