Тема, жанр, tags: Computation by Abstract Devices » Page 13 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices » Page 13

book Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

pdf

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

00

29.01.2024

0

0

book Intelligent Computing Theories and Application: 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I

Intelligent Computing Theories and Application: 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I

pdf

Author: De-Shuang Huang Vitoantonio Bevilacqua Prashan Premaratne Phalguni Gupta (eds.)
Language: English
Year: 2017

00

29.01.2024

0

0

book Intelligent Computing Theories and Application: 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

Intelligent Computing Theories and Application: 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

pdf

Author: De-Shuang Huang Kang-Hyun Jo Juan Carlos Figueroa-García (eds.)
Language: English
Year: 2017

00

29.01.2024

0

0

book Encyclopedia of Computational Neuroscience

Encyclopedia of Computational Neuroscience

pdf

Author: Dieter Jaeger Ranu Jung (eds.)
Language: English
Year: 2015

00

29.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

pdf

Author: Axel Legay Tiziana Margaria (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

pdf

Author: Axel Legay Tiziana Margaria (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

pdf

Author: Javier Esparza Andrzej S. Murawski (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

pdf

Author: Hongseok Yang (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

pdf

Author: Giovanni Pighizzini Cezar Câmpeanu (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

pdf

Author: José Manuel Ferrández Vicente José Ramón Álvarez-Sánchez Félix de la Paz López Javier Toledo Moreo Hojjat Adeli (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0