Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Mathematical Logic and Form » Page 25 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Mathematical Logic and Form » Page 25

book Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

pdf

Author: Adrian-Horia Dediu Jan Janoušek Carlos Martín-Vide Bianca Truthe (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

pdf

Author: Cyrille Artho Peter Csaba Ölveczky (eds.)
Language: English
Year: 2016

00

27.01.2024

2

0

book Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

pdf

Author: Lisbeth Fajstrup Eric Goubault Emmanuel Haucourt Samuel Mimram Martin Raussen (auth.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Elements of finite model theory

Elements of finite model theory

djvu

Author: Libkin Leonid
Language: English
Year: 2004

00

27.01.2024

2

0

book A programming approach to computability

A programming approach to computability

djvu

Author: Kfoury A. J., Arbib Michael A., Moll Robert N
Language: English
Year: 1982

00

27.01.2024

0

0

book A programming approach to computability

A programming approach to computability

djvu

Author: Kfoury A. J., Arbib Michael A., Moll Robert N
Language: English
Year: 1982

00

27.01.2024

0

0

book A basis for theoretical computer science

A basis for theoretical computer science

djvu

Author: Kfoury A. J., Arbib Michael A., Moll Robert N
Language: English
Year: 1981

00

27.01.2024

1

0

book Hybrid Artificial Intelligent Systems: 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Hybrid Artificial Intelligent Systems: 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

pdf

Author: Francisco Martínez-Álvarez Alicia Troncoso Héctor Quintián Emilio Corchado (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Transactions on Computational Collective Intelligence XIX

Transactions on Computational Collective Intelligence XIX

pdf

Author: Ngoc Thanh Nguyen Ryszard Kowalczyk Fatos Xhafa (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Theory of Cryptography: 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I

Theory of Cryptography: 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I

pdf

Author: Eyal Kushilevitz Tal Malkin (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0