Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 4 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 4

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

0

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

0

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

book Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

pdf

Author: Harold Boley (auth.) Jóse Júlio Alferes James Bailey Wolfgang May Uta Schwertel (eds.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

pdf

Author: Edwina L. Rissland (auth.) Thomas R. Roth-Berghofer Mehmet H. Göker H. Altay Güvenir (eds.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Machine Learning: ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

Machine Learning: ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

pdf

Author: Michael R. Berthold (auth.) João Gama Rui Camacho Pavel B. Brazdil Alípio Mário Jorge Luís Torgo (eds.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Natural Language Processing – IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

Natural Language Processing – IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

pdf

Author: Yi Hu Jianyong Duan Xiaoming Chen Bingzhen Pei Ruzhan Lu (auth.) Robert Dale Kam-Fai Wong Jian Su Oi Yee Kwong (eds.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer

pdf

Author: John O’Donnell PhD Cordelia Hall PhD Rex Page PhD (auth.)
Language: English
Year: 2006

00

06.02.2024

0

0