Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Save for later
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European ... Computer Science and General Issues)
by
ISBN 13: 9783642198045
Format: Paperback (488 pages) Publisher: Springer Published: 18 Mar 2011
Automatentheorie und Logik (eXamen.press)
by Martin Hofmann,Martin Lange
ISBN 13: 9783642180897
Format: Paperback (252 pages) Publisher: Springer Published: 14 Mar 2011
Warum ich nicht mehr glaube: Wenn junge Erwachsene den Glauben verlieren
by Tobias Faix,Martin Hofmann,Tobias Künkler
ISBN 13: 9783417265835
Format: Hardcover Publisher: SCM Brockhaus, R. Published: 03 Feb 2014
Warum wir mündig glauben dürfen: Wege zu einem widerstandsfähigen Glaubensleben
ISBN 13: 9783417266641
Format: Hardcover Publisher: SCM Brockhaus, R. Published: 07 Sep 2015