Название: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Borger on the Occasion of His 75th Birthday Автор: Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe Издательство: Springer Год: 2021 Формат: PDF Страниц: 367 Размер: 19 Mb Язык: English
This Festschrift was published in honor of Egon B?rger on the occasion of his 75th birthday. It acknowledges Prof. Borger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon B?rger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.
Treewidth, Kernels, and Algorithms Название: Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday (Lecture Notes in Computer...
Handbook of Model Checking Название: Handbook of Model Checking Автор: Edmund M. Clarke Издательство: Springer Год: 2018 Страниц: 1210 Формат: PDF Размер: 14 Mb Язык: English ...
Perspectives on the Future of Software Engineering Название: Perspectives on the Future of Software Engineering Автор: J?rgen M?nch and Klaus Schmid Издательство: Springer Год: 2013 Формат: PDF, EPUB,...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Logic, Computation and Rigorous Methods 
