Тема, жанр, tags: Mathematics of Computing » Page 8 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics of Computing » Page 8

book Algorithmic Aspects in Information and Management: 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings

Algorithmic Aspects in Information and Management: 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings

pdf

Author: Yuting Liu Zhi-Ming Ma (auth.) Bo Chen (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

pdf

Author: Gianfranco Rossi (auth.) Agostino Dovier Enrico Pontelli (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

pdf

Author: Anders Schack-Nielsen Carsten Schürmann (auth.) Jürgen Giesl Reiner Hähnle (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Yehuda Naveh (auth.) Ofer Strichman Stefan Szeider (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Transactions on Computational Science XI: Special Issue on Security in Computing, Part II

Transactions on Computational Science XI: Special Issue on Security in Computing, Part II

pdf

Author: Celia Li Zhuang Wang Cungang Yang (auth.) Marina L. Gavrilova C. J. Kenneth Tan Edward David Moreno (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

pdf

Author: Christopher A. Fuchs (auth.) Dawei Song Massimo Melucci Ingo Frommholz Peng Zhang Lei Wang Sachi Arafat (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

pdf

Author: Aart Middeldorp Georg Moser Friedrich Neurauter Johannes Waldmann Harald Zankl (auth.) Franz Winkler (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

pdf

Author: Jin-Yi Cai (auth.) Mikhail Atallah Xiang-Yang Li Binhai Zhu (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Modeling Time in Computing

Modeling Time in Computing

pdf

Author: Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi (auth.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Mathematik für Informatiker: Ein praxisbezogenes Lehrbuch

Mathematik für Informatiker: Ein praxisbezogenes Lehrbuch

pdf

Author: Peter Hartmann
Language: German
Year: 2019

00

06.02.2024

0

0