نتایج جستجو
Advanced Topics in Types and Programming Languages
B. C. Pierce (ed), 2003
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce, 2004
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
Amir Abboud, Kevin Lewi (auth.), Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg (eds.), 2013
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Jon Kleinberg (auth.), Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg (eds.), 2013
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.), 2015
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.), 2015
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.), 2009
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.), 2009
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Pavel Pudlák (auth.), Serge Abiteboul, Eli Shamir (eds.), 1994
Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics
Zoran Majkić (auth.), 2014
Automata, Languages and Programming: 14th International Colloquium Karlsruhe, Federal Republic of Germany, July 13–17, 1987 Proceedings
Leonard Pitt, Carl H. Smith (auth.), Thomas Ottmann (eds.), 1987
Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings
Harald Ganzinger (auth.), Friedhelm Meyer, Burkhard Monien (eds.), 1996
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
Samson Abramsky (auth.), Josep Diaz (eds.), 1983
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
Samson Abramsky (auth.), Josep Diaz (eds.), 1983
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.), 1984
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.), 1984
Automata, Languages and Programming: 12th Colloquium Nafplion, Greece, July 15–19, 1985
L. Lovász (auth.), Wilfried Brauer (eds.), 1985
Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
Eric W. Allender (auth.), Laurent Kott (eds.), 1986
Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings
Alok Aggarwal, Ashok K. Chandra (auth.), Timo Lepistö, Arto Salomaa (eds.), 1988
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings
Stefan Näher, Kurt Mehlhorn (auth.), Michael S. Paterson (eds.), 1990
