Тема, жанр, tags: Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelli » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelli » Page 7

book Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers

pdf

Author: John Harrison PhD MA (auth.)
Language: English
Year: 1998

00

27.01.2024

1

0

book Adaptive Control of Nonsmooth Dynamic Systems

Adaptive Control of Nonsmooth Dynamic Systems

pdf

Author: Mattias Nordin Per Bodin Per-Olof Gutman (auth.) Gang Tao PhD Frank L. Lewis PhD (eds.)
Language: English
Year: 2001

00

27.01.2024

1

0

book Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011. Proceedings

Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011. Proceedings

pdf

Author: Michael W. Macy (auth.) Anwitaman Datta Stuart Shulman Baihua Zheng Shou-De Lin Aixin Sun Ee-Peng Lim (eds.)
Language: English
Year: 2011

00

27.01.2024

2

0

book On the Move to Meaningful Internet Systems: OTM 2011 Workshops: Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings

On the Move to Meaningful Internet Systems: OTM 2011 Workshops: Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings

pdf

Author: Peter Spyns Anja Metzner (auth.) Robert Meersman Tharam Dillon Pilar Herrero (eds.)
Language: English
Year: 2011

00

27.01.2024

3

0

book Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

pdf

Author: Chiara Bodei Pierpaolo Degano Gian-Luigi Ferrari Letterio Galletta (auth.) Agostino Cortesi Nabendu Chaki Khalid Saeed Sławomir Wierzchoń (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Building a National Distributed e-Infrastructure–PL-Grid: Scientific and Technical Achievements

Building a National Distributed e-Infrastructure–PL-Grid: Scientific and Technical Achievements

pdf

Author: Jacek Kitowski Michał Turała (auth.) Marian Bubak Tomasz Szepieniec Kazimierz Wiatr (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Building a National Distributed e-Infrastructure–PL-Grid: Scientific and Technical Achievements

Building a National Distributed e-Infrastructure–PL-Grid: Scientific and Technical Achievements

pdf

Author: Jacek Kitowski Michał Turała (auth.) Marian Bubak Tomasz Szepieniec Kazimierz Wiatr (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Advances in Computer Science and Information Technology. Computer Science and Information Technology: Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

Advances in Computer Science and Information Technology. Computer Science and Information Technology: Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

pdf

Author: M. A. Berlin Sheila Anand (auth.) Natarajan Meghanathan Nabendu Chaki Dhinaharan Nagamalai (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0

book Communication and Networking: International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II

Communication and Networking: International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II

pdf

00

27.01.2024

1

0

book Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011. Proceedings

Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011. Proceedings

pdf

Author: Michael W. Macy (auth.) Anwitaman Datta Stuart Shulman Baihua Zheng Shou-De Lin Aixin Sun Ee-Peng Lim (eds.)
Language: English
Year: 2011

00

27.01.2024

4

0