Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages Compilers Inte » Page 5 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages Compilers Inte » Page 5

book Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings

Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings

pdf

Author: Bernard Boigelot Pierre Wolper (auth.) Peter J. Stuckey (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

pdf

Author: Nachum Dershowitz (auth.) Bart Demoen Vladimir Lifschitz (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

pdf

Author: Frédéric Benhamou Laurent Granvilliers Frédéric Goualard (auth.) Krzysztof R. Apt Eric Monfroy Antonis C. Kakas Francesca Rossi (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Object Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings

Object Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings

djvu

Author: David A. Thomas (auth.) Kokichi Futatsugi Satoshi Matsuoka (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Object-Oriented Methodologies and Systems: International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings

Object-Oriented Methodologies and Systems: International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings

djvu

Author: François Exertier Samer Haj Houssain (auth.) Elisa Bertino Susan Urban (eds.)
Language: English
Year: 1994

00

27.01.2024

2

0

book Logic Programming '88: Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988

Logic Programming '88: Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988

djvu

Author: Akihiro Yamamoto (auth.) Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki (eds.)
Language: English
Year: 1989

00

27.01.2024

1

0

book Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

djvu

Author: Amir Pnueli (auth.) Rudrapatna Shyamasundar (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

djvu

Author: Juris Hartmanis (auth.) Rudrapatna K. Shyamasundar (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India December 17–19, 1991 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India December 17–19, 1991 Proceedings

djvu

Author: Manuel Blum (auth.) Somenath Biswas Kesav V. Nori (eds.)
Language: English
Year: 1991

00

27.01.2024

2

0

book Handbook of floating-point arithmetic

Handbook of floating-point arithmetic

pdf

Author: Jean-Michel Muller Nicolas Brisebarre Florent de Dinechin Claude-Pierre Jeannerod Vincent Lefèvre Guillaume Melquiond Nathalie Revol Damien Stehlé Serge Torres (auth.)
Language: English
Year: 2010

00

27.01.2024

0

0