نتایج جستجو
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Edmund M. Clarke (auth.), 2002
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Edmund M. Clarke (auth.), 2002
Community Theatre and AIDS (Studies in International Performance)
Ola Johansson, 2011
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), 2004
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), 2004
