|
Automata, Languages and Programming
|
Samson AbramskyCyril GavoilleClaude KirchnerFriedhelm Meyer auf der HeidePaul G. Spirakis |
Springer |
_ |
2010 |
|
|
Automata, Languages and Programming
|
Luca AcetoMonika HenzingerJi?� Sgall |
Springer |
_ |
2011 |
|
|
Automata, Languages and Programming
|
Jan Paredaens |
Springer |
_ |
1984 |
|
|
Automata, Languages and Programming
|
Ji?� WiedermannPeter van Emde BoasMogens Nielsen |
Springer |
_ |
1999 |
|
|
Automata, Languages and Programming
|
Fernando OrejasPaul G. SpirakisJan van Leeuwen |
Springer |
_ |
2001 |
|
|
Automata, Languages and Programming
|
Lu�s CairesGiuseppe F. ItalianoLu�s MonteiroCatuscia PalamidessiMoti Yung |
Springer |
_ |
2005 |
|
|
Automata, Languages and Programming
|
Hermann A. Maurer |
Springer |
_ |
1979 |
|
|
Automata, Languages and Programming
|
Kim G. LarsenSven SkyumGlynn Winskel |
Springer |
_ |
1998 |
|
|
Automata, Languages and Programming
|
Pierpaolo DeganoRoberto GorrieriAlberto Marchetti-Spaccamela |
Springer |
_ |
1997 |
|
|
Automata, Languages and Programming
|
Ugo MontanariJos� D. P. RolimEmo Welzl |
Springer |
_ |
2000 |
|
|
Automata, Languages, and Programming
|
Artur CzumajKurt MehlhornAndrew PittsRoger Wattenhofer |
Springer |
_ |
2012 |
|
|
Automata, Languages, and Programming
|
Artur CzumajKurt MehlhornAndrew PittsRoger Wattenhofer |
Springer |
9783642315947 |
2012 |
|
|
Automated and Algorithmic Debugging
|
Peter A. Fritzson |
Springer |
_ |
1993 |
|
|
Automated Deduction - CADE-17
|
David McAllester |
Springer |
_ |
2000 |
|
|
Automated Deduction in Classical and Non-Classical Logics
|
Ricardo CaferraGernot Salzer |
Springer |
_ |
2000 |
|
|
Automated Deduction in Equational Logic and Cubic Curves
|
W. McCuneR. Padmanabhan |
Springer |
_ |
1996 |
|
|
Automated Deduction in Geometry
|
Pascal SchreckJulien NarbouxJ�rgen Richter-Gebert |
Springer |
_ |
2011 |
|
|
Automated Deduction in Geometry
|
Hoon HongDongming Wang |
Springer |
_ |
2006 |
|
|
Automated Deduction in Geometry
|
Thomas SturmChristoph Zengler |
Springer |
_ |
2011 |
|
|
Automated Deduction in Geometry
|
Xiao-Shan GaoDongming WangLu Yang |
Springer |
_ |
1999 |
|
|
Automated Deduction in Geometry
|
Dongming Wang |
Springer |
_ |
1997 |
|
|
Automated Deduction in Geometry
|
Franz Winkler |
Springer |
_ |
2004 |
|
|
Automated Deduction in Geometry
|
Francisco BotanaTomas Recio |
Springer |
_ |
2007 |
|
|
Automated Deduction in Geometry
|
J�rgen Richter-GebertDongming Wang |
Springer |
_ |
2001 |
|
|
Automated Deduction � CADE-19
|
Franz Baader |
Springer |
_ |
2003 |
|