Andre Scedrov | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10,

Okada, Mitsuhiro; Pierce, Benjamin; Scedrov, Andre; Tokuda, Hideyuki; Yonezawa, Akinori
Springer
2003
Pehmeäkantinen kirja

51,10 €

Logic and Computer Science - Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at

Homer, Steven; Odifreddi, Piergiorgio; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1990
Pehmeäkantinen kirja

26,20 €

Forcing and Classifying Topoi

Andrej Scedrov
John Wiley & Sons
1984
Pehmeäkantinen kirja

25,70 €

Categories in Computer Science and Logic - Joint Summer Research Conference in the Mathematical Sciences

John W. Gray; Andrej Scedrov
MP-AMM American Mathematical
1989
Pehmeäkantinen kirja

130,30 €

Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised

Itsykson, Vladimir; Scedrov, Andre; Zakharov, Victor
Springer
2017
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July

Hansen, Helle Hvid; Scedrov, Andre; de Queiroz, Ruy J.G.B.
Springer
2023
Pehmeäkantinen kirja

76,00 €