This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025. ICDCIT is organized into two tracks: Distribu...Lasīt vairāk
This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025. ICDCIT is organized into two tracks: Distribu...Lasīt vairāk
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 applicati...Lasīt vairāk
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 applicati...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 16-Aug-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642403132)
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...Lasīt vairāk
(Izdošanas datums: 07-Sep-2010, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642152979)
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 Klosterneubur...Lasīt vairāk
