STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science Aachen, Germany, February 22-24, 2007 Proceedings: 4393 (Lecture Notes in Computer Science)
by Wolfgang Thomas, Pascal Weil
ISBN 13: 9783540709176
Format: Paperback (728 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
Einführung in Die Mathematische Logik
by Wolfgang Thomas, Heinz-Dieter Ebbinghaus, Jorg Flum
ISBN 13: 9783662580288
Format: Paperback (366 pages) Publisher: Springer Spektrum Published: 12 Nov 2018
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European ... 199: 1578 (Lecture Notes in Computer Science)
by Wolfgang Thomas
ISBN 13: 9783540657194
Format: Paperback (340 pages) Publisher: Springer Published: 13 Jun 2008