Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers (Lecture Notes in Computer Science Book 10094) [1st ed. 2019] 9783030283469, 9783030283452, 3030283461

Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers [1st ed. 2019] 978-3-030-28345-2, 978-3-030-28346-9

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programmin

330 40 13MB Read more

Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers (Lecture Notes in Computer Science) 3031428323, 9783031428326

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during

115 108 17MB Read more

Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers (Lecture Notes in Computer Science, 12039) 3030444104, 9783030444105

This book constitutes the refereed proceedings of the 16th European Workshop on Computer Performance Engineering, EPEW 2

121 54 11MB Read more

Big Data Management and Analytics: 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 – July 5, 2019, Revised Selected Papers 3030616266, 9783030616267

This book constitutes 5 revised tutorial lectures of the 9th European Business Intelligence and Big Data Summer School,

345 60 6MB Read more

Lecture notes on nonstandard analysis. UCLA summer school in logic

772 254 573KB Read more

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers (Lecture Notes in Computer Science) 3031389379, 9783031389375

This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming,

100 76 3MB Read more

Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers (Lecture Notes in Computer Science) 3031213130, 9783031213137

This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming,

118 9 6MB Read more

Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers (Lecture Notes in Computer Science, 12834) 303083977X, 9783030839772

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming,

118 47 6MB Read more

Algebraic Number Theory - Summer School Notes

501 35 434KB Read more

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science, 2067) 3540427872, 9783540427872

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic managemen

120 80 2MB Read more