Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
type checking
Связанные издания:
Certified Programs and Proofs: Proc./1st International Conference, CPP 2011, Kenting, Taiwan, December 2011
ECOOP 2011 - Object-Oriented Programming: Proc./25th European Conference, Lancaster, UK, July 2011
ECOOP 2012 - Object-Oriented Programming: Proc./26th European Conference, Beijing, China, June 2012
Implementation and Application of Functional Languages: Revised Selected Papers/21st International Symposium, IFL 2009, South Orange,NJ,USA, September 2009
Language and Automata Theory and Applications: Proc./7th International Conference, LATA 2013, Bilbao, Spain, April 2013
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020
Trastworthy Global Computing: Revised Selected Papers/4th International Symposium, TGC 2008, Barcelona, Spain, November 2008
Trustworthy Global Computing: Revised Selected Papers/5th International Symposium, TGC 2010, Munich, Germany, February 2010
Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009