Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Posted By: AvaxGenius
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday by Alexander Raschke
English | PDF,EPUB | 2021 | 367 Pages | ISBN : 3030760197 | 43.9 MB

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.
It acknowledges Prof. Börger'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.

Logic-Based Program Synthesis and Transformation

Posted By: AvaxGenius
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings by Maribel Fernández
English | EPUB | 2021 | 348 Pages | ISBN : 3030684458 | 24.8 MB

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

Logic-Based Program Synthesis and Transformation

Posted By: AvaxGenius
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings by Maribel Fernández
English | PDF | 2021 | 348 Pages | ISBN : 3030684458 | 9 MB

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

The Design and Analysis of Algorithms

Posted By: AvaxGenius
The Design and Analysis of Algorithms

The Design and Analysis of Algorithms by Dexter C. Kozen
English | PDF | 1992 | 327 Pages | ISBN : 146128757X | 20.8 MB

These are my lecture notes from CS681: Design and Analysis of Algo­ rithms, a one-semester graduate course I taught at Cornell for three consec­ utive fall semesters from '88 to '90. The course serves a dual purpose: to cover core material in algorithms for graduate students in computer science preparing for their PhD qualifying exams, and to introduce theory students to some advanced topics in the design and analysis of algorithms.

LATIN 2020: Theoretical Informatics

Posted By: AvaxGenius
LATIN 2020: Theoretical Informatics

LATIN 2020: Theoretical Informatics: 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings by Yoshiharu Kohayakawa
English | PDF | 2020 | 653 Pages | ISBN : 3030617912 | 24.8 MB

This book constitutes the refereed proceedings of the 14th Latin American Symposium on Theoretical Informatics, LATIN 2020, held in Sao Paulo, Brazil, in January 2021.

Neural Information Processing

Posted By: AvaxGenius
Neural Information Processing

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23–27, 2020, Proceedings, Part II by Haiqin Yang
English | PDF | 2020 | 844 Pages | ISBN : 3030638324 | 95 MB

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020. Due to COVID-19 pandemic the conference was held virtually.