Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 14660) [2024 ed.] 3031562216, 9783031562211

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (Lecture Notes in Computer Science, 4800) 3540781269, 9783540781264

This festschrift volume is dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. For over half a

123 28 30MB Read more

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science, 12750) [1st ed. 2021] 3030760197, 9783030760199

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börg

365 33 19MB Read more

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 3838) 354030911X, 9783540309116

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on

110 17 6MB Read more

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) 303108165X, 9783031081651

112 87 26MB Read more

Topics in Discrete Mathematics: Dedicated to Jarik Nešetril on the Occasion of his 60th birthday 3540336982, 9783540336983

This book comprises a collection of high quality papers in selected topics of Discrete Mathematics, to celebrate the 60t

112 64 8MB Read more

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday 9783031404368, 303140436X

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leadin

108 105 16MB Read more

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday [1st ed.] 9783030620769, 9783030620776

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers

288 99 7MB Read more

A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday 9783031156281, 9783031156298

171 80 22MB Read more

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday 9783031314759, 9783031314766

143 14 11MB Read more

Singularity Theory: Proceedings of the European Singularities Conference, August 1996, Liverpool and Dedicated to C.T.C. Wall on the Occasion of His 60th Birthday 0521658888, 9780521658881

An up-to-date survey of research in singularity theory.

98 1 Read more