Тема, жанр, tags: Computer Science general,Logics and Meanings of Programs,Programming Languages Compilers Interpreter » Page 1481 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science general,Logics and Meanings of Programs,Programming Languages Compilers Interpreter » Page 1481

book Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

pdf

Author: Cinzia Bernardeschi Nicoletta De Francesco (auth.) Agostino Cortesi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings

Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings

djvu

Author: A. Ehrenfeucht T. Harju G. Rozenberg (auth.) Zoltán Fülöp Ferenc Gécseg (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Distributed Algorithms: 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings

Distributed Algorithms: 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings

djvu

Author: Amos Israeli Lihu Rappoport (auth.) André Schiper (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

djvu

Author: Samson Abramsky (auth.) Josep Diaz (eds.)
Language: English-French
Year: 1983

00

26.01.2024

1

0

book Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

pdf

Author: Ricardo Peña Clara Segura (auth.) Markus Mohnen Pieter Koopman (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Logic and integer programming

Logic and integer programming

pdf

Author: H. Paul Williams (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

pdf

Author: Bernard Chazelle (auth.) Lars Arge Christian Cachin Tomasz Jurdziński Andrzej Tarlecki (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

djvu

Author: H. Ehrig M. Gajewsky U. Wolter (auth.) Francesco Parisi Presicce (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

pdf

Author: W. Bibel D. Korn C. Kreitz F. Kurucz (auth.) Norbert E. Fuchs (eds.)
Language: English
Year: 1998

00

26.01.2024

3

0

book Distributed Algorithms: 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings

Distributed Algorithms: 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings

djvu

Author: Mohamed G. Gouda (auth.) Jean-Michel Hélary Michel Raynal (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0