Тема, жанр, tags: Computer Science,Mathematical Logic and Formal Languages,Database Management,Computer Applications » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science,Mathematical Logic and Formal Languages,Database Management,Computer Applications » Page 3

book Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020, Proceedings

Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020, Proceedings

pdf

Author: Mehwish Alam Tanya Braun Bruno Yun
Language: English
Year: 2020

00

07.02.2024

0

0

book Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings

Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings

pdf

Author: Galina Jirásková Giovanni Pighizzini
Language: English
Year: 2020

00

07.02.2024

0

0

book The Semantic Web – ISWC 2020: 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II

The Semantic Web – ISWC 2020: 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II

pdf

Author: Jeff Z. Pan Valentina Tamma Claudia d’Amato Krzysztof Janowicz Bo Fu Axel Polleres Oshani Seneviratne Lalana Kagal
Language: English
Year: 2020

00

07.02.2024

0

0

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

0

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 A second course in formal languages and automata theory

A second course in formal languages and automata theory

pdf

Author: Shallit Jeffrey Outlaw
Language: English
Year: 2009

00

07.02.2024

0

0

book A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

pdf

Author: Parkes Alan P
Language: English
Year: 2009

00

07.02.2024

0

0