Birgit Schieder - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Birgit Schieder. MathSciNet. Ph.D. Technische Universität München Germany. Dissertation: Logic and Proof Method of Recursion. Advisor: Manfred Broy.
Manfred Broy - The Mathematics Genealogy Project
www.mathgenealogy.org
Peter Kempf, Universität der Bundeswehr München, Birgit Schieder, Technische Universität München, Alfred Aue, Technische Universität München ...
Misty River Books
bookmanager.com
Mathematical Methods in Program Development | Paperback Manfred Broy | Birgit Schieder · NATO Asi Series (Closed) / NATO Asi Subseries F # 158 (series)
Search: ‘Manfred Broy, Birgit Schieder’ · Readings.com.au
www.readings.com.au
Readings — independent Australian retailers and online merchants of fine books, music and film.
mathematical methods in program development by editor manfred broy...
www.biblio.com
Browse available copies of mathematical methods in program development by editor manfred broy editor birgit schieder at Biblio.com for the best in savings on...
Mathematical Methods in Program Development (Hardcover ...
www.elmstreetbooks.com
Mathematical Methods in Program Development (Hardcover). By Manfred Broy (Editor), Birgit Schieder (Editor). $ Special Order ...
EBSCOhost | | Adapting Calculational Logic to the Undefined.
web.a.ebscohost.com
Adapting Calculational Logic to the. Undefined. BIRGIT SCHIEDER AND MANFRED BROY. Institut für Informatik, Technische Universität München,
Mathematical methods in program development: Edited by Manfred Broy...
www.sciencedirect.com
Edited by Manfred Broy and Birgit Schieder. Springer-Verlag, Berlin. (1997) pages. $ Available online 8 April
CCL Bibliography 1994
www.ps.uni-saarland.de
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, and Birgit Schieder. Interpreter Verification for a Functional Language. In P.S. Thiagarajan ...
Google Groups: Mathematical Methods in Program Development : Proceedings of ...
: Hrsg.: Manfred Broy Birgit Schieder Springer , Berlin 528 S.
Google Groups: Mathematical Methods in Program Development : Proceedings of the ...
: Hrsg.: Manfred Broy Birgit Schieder Springer , Berlin 528 S. ISBN X ( NATO ASI series. Series F, Computer and systems sciences ...
All web results to the name "Birgit Schieder"
INSTITUTE OF CYBERNETICS, LIBRARY
cs.ioc.ee
... Proceedings of the NATO Advanced Study Institute, held in Marktoberdorf, Germany, July August 11, Ed. by Manfred Broy, Birgit Schieder. - Berlin ...
Mathematical Methods in Program Development - download pdf or read...
www.aciis.ru
By David Gries (auth.), Manfred Broy, Birgit Schieder (eds.) ISBN-10: ISBN-13: ISBN-10: ISBN-13: ...
Tobias Nipkow's Publications
www21.in.tum.de
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder. Interpreter Verification for a Functional Language. In Proc. 14th Conf.
Mathematical methods in program development - JH Libraries
catalyst.library.jhu.edu
Mathematical methods in program development. edited by Manfred Broy, Birgit Schieder. Berlin ; New York : Springer, © viii, 528 pages ; 24 cm.
Volume 42 Issue 2 | The Computer Journal | Oxford Academic
academic.oup.com
Articles. Select this article. Birgit Schieder and; Manfred Broy. Adapting Calculational Logic to the Undefined. The Computer Journal (1999) 42 (2):
Books & Thesis Christian Prehofer, „Solving Higher-Order Equations:...
www.prehofer.de
• Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer and Birgit Schieder, „Interpreter Verification for a Functional Language“, In:
Items in bibliography identified by a string matching MATHEMATICS
www.csci.csusb.edu
... .microsoft.com/en-us/people/bycook/ new notation for relational calculus .Close SchiederBroy99 .Open SchiederBroy99 Birgit Schieder & Manfred Broy Adapting
Items in bibliography identified by a string matching LOGIC
www.csci.csusb.edu
Close SchiederBroy99 .Open SchiederBroy99 Birgit Schieder & Manfred Broy Adapting calculatonal logic to the Undefined Computer Journal V42n2( 1999)
DBLP: Manfred Broy
vldbarc.org
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder: Interpreter Verification for a Functional Language. FSTTCS 1994:
Related search requests for Birgit Schieder
Manfred Broy Ursula Hinkel Tobias Nipkow | Birgit Kramer |
People Forename "Birgit" (8692) Name "Schieder" (53) |
sorted by relevance / date