From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career (Lecture Notes in Computer Science, 14070) [2024 ed.] 3031552474, 9783031552472

From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career (Lecture Notes in Computer Science, 14070) 3031552474, 9783031552472

Alfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data M

117 55 20MB 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

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

Transactions on Computational Systems Biology IV (Lecture Notes in Computer Science, 3939) 3540332456, 9783540332459

This, the 4th Transactions on Computational Systems Biology volume, contains carefully selected and enhanced contributio

117 101 Read more

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

Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the Unive

113 83 28MB Read more

Systems Biology and Computational Proteomics: Joint RECOMB 2006 Satellite Workshops on Systems Biology, and on Computational Proteomics, San Diego, ... (Lecture Notes in Computer Science, 4532) 9783540730590, 3540730591

This book constitutes the thoroughly refereed post-proceedings of two joint RECOMB 2006 satellite events: the Second Ann

107 64 4MB Read more

Computational Methods in Transport: Granlibakken 2004 (Lecture Notes in Computational Science and Engineering) 3540281223, 9783540281221

Thereexistawiderangeofapplicationswhereasigni?cantfractionofthe- mentum and energy present in a physical problem is carr

105 77 23MB Read more

An introduction to computational science 9783030156770, 9783030156794

452 41 4MB Read more

Learning Classifier Systems: From Foundations to Applications (Lecture Notes in Computer Science, 1813) 3540677291, 9783540677291

Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976. They are rule-base

104 49 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