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

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

book Database Theory and Application, Bio-Science and Bio-Technology: International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

Database Theory and Application, Bio-Science and Bio-Technology: International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

pdf

Author: Hai Tao Jasni Mohamad Zain (auth.) Yanchun Zhang Alfredo Cuzzocrea Jianhua Ma Kyo-il Chung Tughrul Arslan Xiaofeng Song (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Mathematics and Computation, a Contemporary View: The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

Mathematics and Computation, a Contemporary View: The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

pdf

Author: Xianfeng Gu Yalin Wang Hsiao-Bing Cheng (auth.) Hans Munthe-Kaas Brynjulf Owren (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book A Modern Perspective on Type Theory: From its Origins until Today

A Modern Perspective on Type Theory: From its Origins until Today

pdf

Author: Fairouz Kamareddine Twan Laan Rob Nederpelt
Language: English
Year: 2005

00

27.01.2024

0

0

book Algorithmic Aspects in Information and Management: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings

Algorithmic Aspects in Information and Management: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings

pdf

Author: Andrei Z. Broder (auth.) Andrew V. Goldberg Yunhong Zhou (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Information Theory and Statistical Learning

Information Theory and Statistical Learning

pdf

Author: Ray J. Solomonoff (auth.) Frank Emmert-Streib Matthias Dehmer (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

pdf

Author: Mohamed Faouzi Atig Ahmed Bouajjani (auth.) Olivier Bournez Igor Potapov (eds.)
Language: English
Year: 2009

00

27.01.2024

2

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

27.01.2024

0

0

book Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

pdf

Author: Mikołaj Bojańczyk (auth.) Erich Grädel Reinhard Kahle (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

pdf

Author: Moti Yung (auth.) Mirosław Kutyłowski Witold Charatonik Maciej Gębala (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

pdf

Author: David Basin Srdjan Capkun Patrick Schaller Benedikt Schmidt (auth.) Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0