Andre Scedrov - Böcker

Visar alla böcker från författaren Andre Scedrov.

4 produkter

Kategorier

4 produkter

Logic, Language, Information, and Computation

29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Av Helle Hvid Hansen, Andre Scedrov m. fl

Häftad, Engelska, 2023

1 049 kr

Skickas inom 10-15 vardagar

Del 779

Del 779 - Communications in Computer and Information Science

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Av Vladimir Itsykson, Andre Scedrov m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Software Security -- Theories and Systems

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Av Mitsuhiro Okada, Benjamin Pierce m. fl

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Av Steven Homer, Anil Nerode m. fl

Häftad, Engelska, 1990

359 kr

Skickas inom 10-15 vardagar