Тема, жанр, tags: Computer Science,Software Engineering,Programming Languages Compilers Interpreters,Mathematical Logi » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science,Software Engineering,Programming Languages Compilers Interpreters,Mathematical Logi » Page 2

book Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

pdf

Author: Simon Collart-Dutilleul Thierry Lecomte Alexander Romanovsky
Language: English
Year: 2019

00

30.01.2024

1

0

book Introduction to HOL: A theorem-proving environment for higher order logic

Introduction to HOL: A theorem-proving environment for higher order logic

djvu

Author: Gordon M.J. C. Melham T.F. (eds.)
Language: English
Year: 1993

00

30.01.2024

0

0

book Transport, Arbeit und Erholung auf dem Meer: Die Rolle der Schifffahrt in der globalen Wirtschaft

Transport, Arbeit und Erholung auf dem Meer: Die Rolle der Schifffahrt in der globalen Wirtschaft

pdf

Author: Ralf Witthohn
Language: German
Year: 2019

00

30.01.2024

0

0

book Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

pdf

Author: Bronis R. de Supinski Pedro Valero-Lara Xavier Martorell Sergi Mateo Bellido Jesus Labarta
Language: English
Year: 2018

00

30.01.2024

0

0

book Security and Trust Management: 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Security and Trust Management: 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

pdf

Author: Sokratis K. Katsikas Cristina Alcaraz
Language: English
Year: 2018

00

30.01.2024

0

0

book The Probability Lifesaver: All the Tools You Need to Understand Chance

The Probability Lifesaver: All the Tools You Need to Understand Chance

pdf

Author: Steven J. Miller
Language: English
Year: 2017

00

29.01.2024

0

0

book Survival Analysis with Interval-Censored Data: A Practical Approach with Examples in R, SAS, and BUGS

Survival Analysis with Interval-Censored Data: A Practical Approach with Examples in R, SAS, and BUGS

pdf

Author: Kris Bogaerts Arnost Komarek Emmanuel Lesaffre
Language: English
Year: 2018

00

29.01.2024

0

0

book Forcing, Iterated Ultrapowers, and Turing Degrees

Forcing, Iterated Ultrapowers, and Turing Degrees

pdf

Author: Chong Chi-Tat, Feng Qi, Slaman Theodore Allen, Woodin W. Hugh, Yang Yue (eds.)
Language: English
Year: 2016

00

29.01.2024

0

0

book The Mapping Class Group from the Viewpoint of Measure Equivalence Theory

The Mapping Class Group from the Viewpoint of Measure Equivalence Theory

djvu

Author: Yoshikata Kida
Language: English
Year: 2008

00

29.01.2024

0

0

book Semigroups Underlying First-order Logic

Semigroups Underlying First-order Logic

djvu

Author: William Craig
Language: English
Year: 2006

00

29.01.2024

0

0