Anna Lukina - Bücher - alle Infos bei Yasni.de

(1 - 13 von 18

)

1001 Dreams: The Complete Book of Dream Interpretationsgoogle.ch

books.google.ch

... Anna Lukina: 76; Anastezia Luneva: 74; Maltiase: 322, 412; MariaSemj: 260; Maryna Maznieva: 42; m-e-l: 340; Mika_48: 53, 96, 449, 454; miko: 510; Mimomy:

Computer Aided Verification: 34th International Conference, ...google.ch

books.google.ch

... Anna Lukina Anna Slobodova Antoine Miné Armin Biere Azalea Raad Bor-Yuh Evan Chang Caterina Urban Corina Pasareanu Dana Drachsler Cohen Daniel Kroening ...

ECAI 2020: 24th European Conference on Artificial ...google.ch

books.google.ch

... .at − x We can efficiently identify novel inputs at. ECAI Outside the Box: Abstraction-Based ...

Фотографии автора :: Anna Lukina :: Клуб Foto.ru

club.foto.ru

Клуб Foto.ru :: Галерея

Articles by Anna LukinaSynthical

synthical.com

Articles by Anna Lukina. Into the Unknown: Active Monitoring of Neural Networks Upvote. 7 June by Anna Lukina and others. Machine Learning, Artificial ...

Law, Video Games, Virtual Realities: Playing Lawgoogle.de

books.google.de

... Anna Lukina ) and Nintendo Switch versions , the latter including Dawnguard and Dragonborn DLCs ( Anna Lukina ) IMDb , " The Elder Scrolls V : Skyrim ...

Mein Bornholm - Google Books-Ergebnisseitegoogle.de

books.google.de

... Anna Lukina / Dreamstime.com Datenkonvertierung E-Book Bookwire ISBN E-Book: ISBN Hardcover-Ausgabe: www.mare.de Inhalt ...

Automated Technology for Verification and Analysis: 15th...

books.google.cz

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in...

Russian Discourses on International Law: Sociological and...

books.google.cz

A number of recent events in the last decade have renewed interest in Russian discourses on international law. This book evaluates and presents a contemporary...

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.cz

The two-book set LNCS + constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis...

Russian Discourses on International Law: Sociological and ...books.google.de › books

books.google.de

... Anna Lukina is a member of Hertford College, University of Oxford, reading jurisprudence (law). She has a particular interest in Soviet and Russian law and ...

Leveraging Applications of Formal Methods, Verification and...

books.google.de

... Kalajdzic1, C. Jegourel4, A. Lukina1(B), E. Bartocci1, A. Legay2, S.A. Smolka3, and R. Grosu1 1 Vienna University of Technology, Vienna, Austria anna.lukina ...

Runtime Verification: 21st International Conference, RV 2021, ...books.google.de › books

books.google.de

... &#.at University of Konstanz, Konstanz, Germany 2 Abstract. Neural-network classifiers ...

Verwandte Suchanfragen zu Anna Lukina

Personen
Vorname "Anna" (67621)
Name "Lukina" (31)

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 Anna Lukina