Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

PDF
English
Year: 2013
Author: Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

PDF
English
Year: 2006
Author: Randal E. Bryant (auth.), Frank Pfenning (eds.)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

DJVU
English
Year: 1994
Author: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)

Computation and deduction (lecture notes)

PDF
English
Year: 1997
Author: Frank Pfenning

Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

PDF
English
Year: 2007
Author: Frank Pfenning

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings

PDF
English
Year: 2003
Author: Charles Consel, Hedi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu (auth.), Frank Pfenning, Yannis Smaragdakis (eds.)

GABLER KOMPAKT-LEXIKON: Unternehmensgründung

PDF
German
Year: 2009
Author: Tobias Kollmann (auth.), Tobias Kollmann (eds.)

Die Rechtsabteilung: Der Syndikus und Steuerberater im Unternehmen

PDF
German
Year: 2012
Author: Tobias Lenz (auth.), Tobias Lenz (eds.)

Musterbrüche in Geschäftsmodellen: Ein Bezugsrahmen für innovative Strategie-Konzepte

PDF
German
Year: 2009
Author: Tobias Umbeck (auth.), Tobias Umbeck (eds.)

Einblick in das Herrschaftswissen einer Diktatur — Chance oder Fluch?: Plädoyers gegen die öffentliche Verdrängung

PDF
German
Year: 1996
Author: Tobias Hollitzer (auth.), Tobias Hollitzer (eds.)