Miquel Alexandre - Bücher - alle Infos bei Yasni.de

(1 - 9 von 10

)

Browsing Universitat Rovira i Virgili by authors/directors "Garcia...

www.tesisenred.net

Universitat Rovira i Virgili Por autores/directores "Garcia Ratés, Miquel Alexandre" A B C D E F G H I J K L M N O P Q R S T U V W X Y Z. O introducir las ...

CRC Handbook of Free Radicals and Antioxidants in Biomedicine Volume...

www.kuenzigbooks.com

Boca Raton, Florida, U.S.A. CRC Press, Inc First Edition. 16 , 303 pages. 7 x 10 inches. Publisher's green boards with embossed titles in silver and...

Filme, die Geschichte(n) erzählen: Filmanalyse als...

books.google.co.uk

... Regie: Florian Henckel von Donnersmarck) oder auch der Fernsehzweiteiler Die Frau vom Checkpoint Charlie (2007, Regie: Miquel Alexandre) von der Kritik ...

Advanced Topics in Types and Programming Languages - Google Books

books.google.de

Miquel, Alexandre. Le calcul des constructions implicite: syntaxe et semantique. PhD thesis, University Paris 7, Paris, France, Mitchell, John C. Coercion ...

Computer Science Logic: 17th International Workshop, CSL 2003, 12th...

books.google.de

This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual...

Computer Science Logic: 21 International Workshop, CSL 2007, 16th...

books.google.de

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of...

Formal Verification of Object-Oriented Software: International...

books.google.de

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...

Term Rewriting and Applications: 17th International Conference, RTA...

books.google.de

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA,...

Types for Proofs and Programs: Second International Workshop, TYPES...

books.google.de

... Michal 182 Letouzey, Pierre 200 Luo, Yong 220 Luo, Zhaohui 220 Matthes, Ralph 1 Miculan, Marino 148 Miquel, Alexandre 240 Nipkow, Tobias 259 Pottier, ...

Verwandte Suchanfragen zu Miquel Alexandre

Person "Alexandre" (1)
Vorname "Miquel" (248)
Name "Alexandre" (297)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Miquel Alexandre