Тема, жанр, tags: Computer Science,Information Storage and Retrieval,Mathematical Logic and Formal Languages,Informati » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science,Information Storage and Retrieval,Mathematical Logic and Formal Languages,Informati » Page 3

book The Semantic Web: ESWC 2020 Satellite Events: ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers

The Semantic Web: ESWC 2020 Satellite Events: ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers

pdf

Author: Andreas Harth Valentina Presutti Raphaël Troncy Maribel Acosta Axel Polleres Javier D. Fernández Josiane Xavier Parreira Olaf Hartig Katja Hose Michael Cochez
Language: English
Year: 2020

00

07.02.2024

0

0

book Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

pdf

Author: Vivek Nigam Tajana Ban Kirigin Carolyn Talcott Joshua Guttman Stepan Kuznetsov Boon Thau Loo Mitsuhiro Okada
Language: English
Year: 2020

00

07.02.2024

7

0

book Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

pdf

Author: Tiziana Margaria Bernhard Steffen
Language: English
Year: 2020

00

07.02.2024

0

0

book Complex Event Processing: Verarbeitung von Ereignismustern in Datenströmen

Complex Event Processing: Verarbeitung von Ereignismustern in Datenströmen

pdf

Author: Ulrich Hedtstück
Language: German
Year: 2020

00

07.02.2024

0

0

book Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

pdf

Author: Toshiyasu Arai
Language: English
Year: 2020

00

07.02.2024

0

0

book From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

pdf

Author: Nowakowski Wiktor
Language: English
Year: 2015

00

07.02.2024

0

0

book Introduction to Mathematica® with Applications

Introduction to Mathematica® with Applications

pdf

Author: Mureşan Marian
Language: English
Year: 2017

00

07.02.2024

1

0

book Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

pdf

Author: Amir Pnueli (auth.) Rudrapatna Shyamasundar (eds.)
Language: English
Year: 1992

00

06.02.2024

1

0

book Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

pdf

Author: Jacob T. Schwartz Domenico Cantone Eugenio G. Omodeo (auth.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

pdf

Author: Sašo Džeroski (auth.) Michael Fisher Wiebe van der Hoek Boris Konev Alexei Lisitsa (eds.)
Language: English
Year: 2006

00

06.02.2024

0

0