Hoppa till sidans huvudinnehåll

Andre Scedrov – författare

Visar alla böcker från författaren Andre Scedrov.
4 produkter
Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz - Logic, Language, Information, and Computation, Häftad
Del 13923 - Lecture Notes in Computer Science

Logic, Language, Information, and Computation

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

AvHelle Hvid Hansen,Andre Scedrovm. fl.

Häftad, Engelska, 2023

1 059 kr

Skickas inom 10-15 vardagar

Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis, Häftad
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

AvVladimir Itsykson,Andre Scedrovm. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa - Software Security -- Theories and Systems, Häftad

Software Security -- Theories and Systems

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

AvMitsuhiro Okada,Benjamin Piercem. fl.

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi - Logic and Computer Science, Häftad
Del 1429 - Lecture Notes in Mathematics

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

AvSteven Homer,Anil Nerodem. fl.

Häftad, Engelska, 1990

359 kr

Skickas inom 10-15 vardagar