Тема, жанр, tags: Theory of Computation,Software Engineering/Programming and Operating Systems,Computer Communication » Page 1468 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Theory of Computation,Software Engineering/Programming and Operating Systems,Computer Communication » Page 1468

book Automata, Languages and Programming: 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings

Automata, Languages and Programming: 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings

pdf

Author: Miklós Ajtai (auth.) Jiří Wiedermann Peter van Emde Boas Mogens Nielsen (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

pdf

Author: Maurice Bruynooghe Luís Moniz Pereira Jörg H. Siekmann Maarten van Emden (auth.) Antonis C. Kakas Fariba Sadri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

djvu

Author: Catuscia Palamidessi (auth.) Giorgio Levi Mario Rodríguez-Artalejo (eds.)
Language: English
Year: 1994

00

26.01.2024

2

0

book Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

pdf

Author: André Schiper (auth.) Holger Hermanns Roberto Segala (eds.)
Language: English
Year: 2002

00

26.01.2024

2

0

book Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

djvu

Author: R. N. Fedorova V. P. Gerdt N. N. Govorun V. P. Shirikov (auth.) James H. Davenport (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

pdf

Author: Joxan Jaffar Roland H. C. Yap (auth.) Michael Maher Jean-Francois Puget (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

djvu

Author: Thomas Ehrhard Pasquale Malacaria (auth.) David H. Pitt Pierre-Louis Curien Samson Abramsky Andrew M. Pitts Axel Poigné David E. Rydeheard (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

djvu

Author: Yohji Akama (auth.) Marc Bezem Jan Friso Groote (eds.)
Language: English
Year: 1993

00

26.01.2024

1

0

book Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

pdf

Author: Amit K. Chopra Munindar P. Singh (auth.) Matteo Baldoni Ulle Endriss (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

pdf

Author: Moshe Y. Vardi (auth.) Davide Sangiorgi Robert de Simone (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0