Autor: "A. Sternagel" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""A. Sternagel"" wg kryterium: Autor

Wyświetlanie 1-20 z 88

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: General Remarks on Patent Matter
Autorzy:: Sternagel, Hans-Günther; Pokaż więcej
Źródło:: Liposome Dermatics : Griesbach Conference. :273-280
Degree:: M. D.

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Screen Methods. Comparative Readings in Film Studies.
Autorzy:: Sternagel, Joerg; Pokaż więcej
Źródło:: Film Criticism. Spring2007, Vol. 31 Issue 3, p70-75. 6p.

Recenzja

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Root-Labeling.
Autorzy:: Sternagel, Christian
Middeldorp, Aart; Pokaż więcej
Źródło:: Rewriting Techniques & Applications (9783540705888); 2008, p336-350, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Reframing Screen Performance.
Autorzy:: Sternagel, Jeorg; Pokaż więcej
Źródło:: Film Criticism. Winter2008/2009, Vol. 33 Issue 2, p85-90. 6p.

Recenzja

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 5.

Tytuł:: Reframing Screen Performance Cynthia Baron Marie Carnicke
Autorzy:: Sternagel, Jeorg; Pokaż więcej
Źródło:: Film Criticism, 2008 Dec 01. 33(2), 85-90.
Relacje:: Reframing Screen Performance Cynthia Baron Marie Carnicke
Dostęp URL:: https://www.jstor.org/stable/24777422 Link otwiera się w nowym oknie

Recenzja

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: Loops under Strategies.
Autorzy:: Thiemann, René
Sternagel, Christian; Pokaż więcej
Źródło:: Rewriting Techniques & Applications (9783642023477); 2009, p17-31, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Tyrolean Termination Tool 2.
Autorzy:: Korp, Martin
Sternagel, Christian
Zankl, Harald
Middeldorp, Aart; Pokaż więcej
Źródło:: Rewriting Techniques & Applications (9783642023477); 2009, p295-304, 10p

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Certification of Termination Proofs Using CeTA.
Autorzy:: Thiemann, René
Sternagel, Christian; Pokaż więcej
Źródło:: Theorem Proving in Higher Order Logics (9783642033582); 2009, p452-468, 17p

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The Tactile Eye, Touch and the Cinematic Experience.
Autorzy:: Sternagel, Joerg; Pokaż więcej
Źródło:: Film Criticism. Fall2009, Vol. 34 Issue 1, p79-83. 5p.

Recenzja

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 10.

Tytuł:: Signature Extensions Preserve Termination.
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Computer Science Logic (9783642152047); 2010, p514-528, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Finding and Certifying Loops.
Autorzy:: Zankl, Harald
Sternagel, Christian
Hofbauer, Dieter
Middeldorp, Aart; Pokaż więcej
Źródło:: Sofsem 2010: Theory & Practice of Computer Science; 2010, p755-766, 12p

Książka

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Loops under Strategies ... Continued
Autorzy:: René Thiemann
Christian Sternagel
Jürgen Giesl
Peter Schneider-Kamp; Pokaż więcej
Temat:: Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Electronic Proceedings in Theoretical Computer Science, Vol 44, Iss Proc. IWS 2010, Pp 51-65 (2010)
Opis pliku:: electronic resource
Relacje:: http://arxiv.org/pdf/1012.5563v1; https://doaj.org/toc/2075-2180
Dostęp URL:: https://doaj.org/article/33ed69423c9d42c7b70bd630b80b8b29 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Generalized and Formalized Uncurrying
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. 6989:243-258

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Termination of Isabelle Functions via Termination of Rewriting
Autorzy:: Krauss, Alexander
Sternagel, Christian
Thiemann, René
Fuhs, Carsten
Giesl, Jürgen; Pokaż więcej
Źródło:: Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. 6898:152-167

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Levinas and the Cinema of Redemption: Time, Ethics, and the Feminine.
Autorzy:: Sternagel, Joerg; Pokaż więcej
Źródło:: Film Criticism. Fall2011, Vol. 36 Issue 1, p97-99. 3p.

Recenzja

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 16.

Tytuł:: KBCV – Knuth-Bendix Completion Visualizer.
Autorzy:: Sternagel, Thomas
Zankl, Harald; Pokaż więcej
Źródło:: Automated Reasoning (9783642313646); 2012, p530-536, 7p

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Certification of Nontermination Proofs.
Autorzy:: Sternagel, Christian
Thiemann, René; Pokaż więcej
Źródło:: Interactive Theorem Proving (9783642323461); 2012, p266-282, 17p

Książka

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Certified Kruskal's Tree Theorem.
Autorzy:: Sternagel, Christian; Pokaż więcej
Źródło:: Certified Programs & Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings; 2013, p178-193, 16p

Książka

na półce

Szczegóły

Skocz do pozycji: 19.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: A New and Formalized Proof of Abstract Completion.
Autorzy:: Hirokawa, Nao
Middeldorp, Aart
Sternagel, Christian; Pokaż więcej
Źródło:: Interactive Theorem Proving (9783319089690); 2014, p292-307, 16p

Książka

na półce

Szczegóły

Wyświetlanie 1-20 z 88

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""A. Sternagel"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji