Oded Maler – författare
Visar alla böcker från författaren Oded Maler. Handla med fri frakt och snabb leverans.
7 produkter
Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Av Oded Maler, Ádám Halász m. fl.
Häftad, 2015
443 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as …
Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Av Carla Piazza, Thao Dang m. fl.
E-bok, 2015
571 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as …
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Av Freek Wiedijk, Oded Maler m. fl.
Häftad, 2003
1129 kr
Lägg i varukorg
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which …
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Av Amir Pnueli, Oded Maler m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which …
Hybrid and Real-Time Systems
International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Av Oded Maler
Häftad, 1997
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also …
Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Av Ahmed Bouajjani, Oded Maler
Häftad, 2009
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully …
Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Av Oded Maler, Ahmed Bouajjani
E-bok, 2009
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully …
