Krishnendu Chatterjee – författare
Visar alla böcker från författaren Krishnendu Chatterjee. Handla med fri frakt och snabb leverans.
7 produkter
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Av Jean-François Raskin, Krishnendu Chatterjee m. fl.
Häftad, 2022
1014 kr
Lägg i varukorg
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his …
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Av Rupak Majumdar, Laurent Doyen m. fl.
E-bok, 2022
1306 kr
Lägg i varukorg
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his …
Formal Modeling and Analysis of Timed Systems
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Av Krishnendu Chatterjee, Thomas A. Henzinger
Häftad, 2010
566 kr
Lägg i varukorg
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming …
Formal Modeling and Analysis of Timed Systems
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Av Thomas A. Henzinger, Krishnendu Chatterjee
E-bok, 2010
755 kr
Lägg i varukorg
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming …
Mathematical Foundations of Computer Science 2013
38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Av Krishnendu Chatterjee, Jirí Sgall
Häftad, 2013
550 kr
Lägg i varukorg
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully …
Mathematical Foundations of Computer Science 2013
38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Av Jiri Sgall, Krishnendu Chatterjee
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully …
