Skip to contents Abramov, Valerij Petrovič [Author] Semantičeskie polja russkogo jazyka : monografija - [2-e izdanie, pererabotannoe] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Moskva: Izdatelʹstvo "Flinta", 2019 Biederstädt, Birgit [Author] Aspekte des funktional-semantischen Feldes der Art und Weise im modernen Englisch Microforms Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997 ; Mikrofiche-Ausg., Egelsbach: Hänsel-Hohenhausen.; Frankfurt (Main); München; New York Gutiérrez Ordóñez, Salvador [Author] Introducción a la semàntica funcional Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Madrid: Ed. Sintesis, 1989 Published in: Colección Lingu͏̈ística ; 2000 Zierer, Hans [Author] Programmierung mit Funktionsobjekten : konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988 Mäder, Roman E. [Author] Graph algebras, algebraic and denotational semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1986 Nolte, Doris [Author] Faire Semantiken - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1994 Published in: Berichte aus der Informatik Zetzsche, Frank [Author] Untersuchung zweier denotationaler Semantikdefinitionen von CSP Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1987 Volʹf, Elena M. [Author] Funkcional'naja semantika ocenki = Semântica funcional da valorização Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Moskva: Izdat. Nauka, 1985 Kremer, Marion [Author] Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hamburg: Kovač, 1996 Furdík, Juraj [Author] Slovotvorná motivácia a jej jazykové funkcie - [Vyd. 1.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Levoča: Modrý, 1993 Published in: Sivá Brada Sommerfeldt, Karl-Ernst [Editor]; Spiewok, Wolfgang [Other] Beiträge zu einer funktional-semantischen Sprachbetrachtung - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Verlag Enzyklopädie, 1986 Published in: Linguistische Studien Breugel, Franck van [Author] Comparative metric semantics of programming languages : nondeterminism and recursion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Basel; Berlin: Birkhäuser, 1998 Published in: Progress in theoretical computer science Bohlmann, Karsten [Author] Modeling interaction and causality : a two-level declarative approach Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998 Grochowski, Maciej [Author] ; Instytut Języka Polskiego Krakau Wyrażenia funkcyjne : studium leksykograficzne Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kraków: Wydawn. Instytutu Je̜zyka Polskiego PAN, 1997 Published in: Instytut Języka Polskiego: Prace Instytutu Je̜zyka Polskiego ; 104 Kroon, Carolina H. [Author] ; Kroon, Caroline [Other] Discourse particles in Latin : a study of "nam", "enim", "autem", "vero" and "at" Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: Gieben, 1995 Published in: Amsterdam studies in classical philology ; 4 Kock, Gerd [Author] Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1992 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 201 Ronchi Della Rocca, Simona [Author]; Paolini, Luca [Author] The parametric lambda calculus : a metamodel for computation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, [2004] Published in: Texts in theoretical computer science - an EATCS series MacCusker, Guy [Author] Games and full abstraction for a functional metalanguage with recursive types Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1998 Published in: Distinguished dissertations Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1490 Mumm, Peter-Arnold [Author] Parameter des einfachen Satzes aus funktionaler Sicht : Abriß ihrer onomasiologischen Systematik Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München [u.a.]: Lincom Europa, 1996- Published in: Edition Linguistik ; .
Abramov, Valerij Petrovič [Author] Semantičeskie polja russkogo jazyka : monografija - [2-e izdanie, pererabotannoe] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Moskva: Izdatelʹstvo "Flinta", 2019
Biederstädt, Birgit [Author] Aspekte des funktional-semantischen Feldes der Art und Weise im modernen Englisch Microforms Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997 ; Mikrofiche-Ausg., Egelsbach: Hänsel-Hohenhausen.; Frankfurt (Main); München; New York
Gutiérrez Ordóñez, Salvador [Author] Introducción a la semàntica funcional Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Madrid: Ed. Sintesis, 1989 Published in: Colección Lingu͏̈ística ; 2000
Zierer, Hans [Author] Programmierung mit Funktionsobjekten : konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988
Mäder, Roman E. [Author] Graph algebras, algebraic and denotational semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1986
Nolte, Doris [Author] Faire Semantiken - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1994 Published in: Berichte aus der Informatik
Zetzsche, Frank [Author] Untersuchung zweier denotationaler Semantikdefinitionen von CSP Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1987
Volʹf, Elena M. [Author] Funkcional'naja semantika ocenki = Semântica funcional da valorização Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Moskva: Izdat. Nauka, 1985
Kremer, Marion [Author] Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hamburg: Kovač, 1996
Furdík, Juraj [Author] Slovotvorná motivácia a jej jazykové funkcie - [Vyd. 1.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Levoča: Modrý, 1993 Published in: Sivá Brada
Sommerfeldt, Karl-Ernst [Editor]; Spiewok, Wolfgang [Other] Beiträge zu einer funktional-semantischen Sprachbetrachtung - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Verlag Enzyklopädie, 1986 Published in: Linguistische Studien
Breugel, Franck van [Author] Comparative metric semantics of programming languages : nondeterminism and recursion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Basel; Berlin: Birkhäuser, 1998 Published in: Progress in theoretical computer science
Bohlmann, Karsten [Author] Modeling interaction and causality : a two-level declarative approach Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998
Grochowski, Maciej [Author] ; Instytut Języka Polskiego Krakau Wyrażenia funkcyjne : studium leksykograficzne Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kraków: Wydawn. Instytutu Je̜zyka Polskiego PAN, 1997 Published in: Instytut Języka Polskiego: Prace Instytutu Je̜zyka Polskiego ; 104
Kroon, Carolina H. [Author] ; Kroon, Caroline [Other] Discourse particles in Latin : a study of "nam", "enim", "autem", "vero" and "at" Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: Gieben, 1995 Published in: Amsterdam studies in classical philology ; 4
Kock, Gerd [Author] Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1992 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 201
Ronchi Della Rocca, Simona [Author]; Paolini, Luca [Author] The parametric lambda calculus : a metamodel for computation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, [2004] Published in: Texts in theoretical computer science - an EATCS series
MacCusker, Guy [Author] Games and full abstraction for a functional metalanguage with recursive types Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1998 Published in: Distinguished dissertations
Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1490
Mumm, Peter-Arnold [Author] Parameter des einfachen Satzes aus funktionaler Sicht : Abriß ihrer onomasiologischen Systematik Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München [u.a.]: Lincom Europa, 1996- Published in: Edition Linguistik ; .
> Media type Skip to next facet Books (63) Wert ausschließen Articles (10) Wert ausschließen Microforms (6) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (9) Wert ausschließen Stack Collection (39) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (40) Wert ausschließen Departmental Library DrePunct (9) Wert ausschließen Branch Library of Educationen (5) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (14) Wert ausschließen Restricted Access (2) Wert ausschließen Without Specification (11) Wert ausschließen Show more show less
> Language Skip to next facet German (35) Wert ausschließen English (25) Wert ausschließen Not determined (11) Wert ausschließen Russian (3) Wert ausschließen Multiple (2) Wert ausschließen Polish (2) Wert ausschließen Portuguese (1) Wert ausschließen Slovak (1) Wert ausschließen Spanish (1) Wert ausschließen Show more show less
> Subject Skip to next facet General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (25) Wert ausschließen Computer science (20) Wert ausschließen Mathmatics (11) Wert ausschließen Slavic studies (9) Wert ausschließen Germanic and Scandinavian studies (6) Wert ausschließen General (4) Wert ausschließen Geography (2) Wert ausschließen American studies (1) Wert ausschließen Classical philology (1) Wert ausschließen Medicine (1) Wert ausschließen Neo-Latin philology (1) Wert ausschließen Romance studies (1) Wert ausschließen Technology (1) Wert ausschließen Theology and religious studies (1) Wert ausschließen Show more show less
> Creator Skip to next facet Majster-Cederbaum, Mila (4) Wert ausschließen Schmidt, Renate A. (3) Wert ausschließen Sommerfeldt, Karl-Ernst (3) Wert ausschließen Spiewok, Wolfgang (3) Wert ausschließen Aleithe, Reiner (2) Wert ausschließen Blikle, Andrzej (2) Wert ausschließen Brocca, Nicola (2) Wert ausschließen Burkhardt, Doris (2) Wert ausschließen Engelbrecht, Dieter (2) Wert ausschließen Grochowski, Maciej (2) Wert ausschließen Herbers, Birgit (2) Wert ausschließen Mattusch, Hans-Juergen (2) Wert ausschließen Palamidessi, Catuscia (2) Wert ausschließen Plattner, Ute (2) Wert ausschließen Schöps, Katharina (2) Wert ausschließen Smirnova, Elena (2) Wert ausschließen Telzerow, Olga (2) Wert ausschließen Thormeyer, Ralf (2) Wert ausschließen Wehmeier, Heinz-Rudolf (2) Wert ausschließen ALP 7 1998 Pisa (1) Wert ausschließen Abramov, Valerij Petrovič (1) Wert ausschließen Amadio, Roberto M. (1) Wert ausschließen BOECK, WOLFGANG (1) Wert ausschließen Baier, Christel (1) Wert ausschließen Baumann, Peter (1) Wert ausschließen Belentschikow, Renate (1) Wert ausschließen Bense, Gertrud (1) Wert ausschließen Biederstädt, Birgit (1) Wert ausschließen Boeck, W. (1) Wert ausschließen Boeck, Wolfgang (1) Wert ausschließen Bohlmann, Karsten (1) Wert ausschließen Breugel, Franck van (1) Wert ausschließen Bruns, Thomas (1) Wert ausschließen Curien, Pierre-Louis (1) Wert ausschließen Ernst-Moritz-Arndt-Universität Greifswald Sektion Germanistik, Kunst- und Musikwissenschaft (1) Wert ausschließen FUCHS, VOLKER (1) Wert ausschließen Fecher, Harald (1) Wert ausschließen Furdík, Juraj (1) Wert ausschließen Glaser, Hugh (1) Wert ausschließen Greiner-Petter, André (1) Wert ausschließen Griffor, Edward R. (1) Wert ausschließen Grochowski, M. (1) Wert ausschließen Gutiérrez Ordóñez, Salvador (1) Wert ausschließen HILDEBRAND, EBERHARD (1) Wert ausschließen Hager, Bernd (1) Wert ausschließen Hager, Brigitte (1) Wert ausschließen Hans Jürgen Ohlbach (1) Wert ausschließen Instytut Języka Polskiego Krakau (1) Wert ausschließen Kock, Gerd (1) Wert ausschließen Koekkoek, B. J. (1) Wert ausschließen Kremer, Marion (1) Wert ausschließen Kroon, Carolina H. (1) Wert ausschließen Kroon, Caroline (1) Wert ausschließen Lindström, Ingrid (1) Wert ausschließen Lötzsch, R. (1) Wert ausschließen MacCusker, Guy (1) Wert ausschließen Mattusch, Max Hans-Jürgen (1) Wert ausschließen Meinke, Karl (1) Wert ausschließen Mueller, Robert A. (1) Wert ausschließen Mumm, Peter-Arnold (1) Wert ausschließen Mäder, Roman E. (1) Wert ausschließen Nolte, Doris (1) Wert ausschließen PLILP 10 1998 Pisa (1) Wert ausschließen Page, Rex L. (1) Wert ausschließen Paolini, Luca (1) Wert ausschließen Petrjankina, V. I. (1) Wert ausschließen Plattner,U (1) Wert ausschließen Pädagogische Hochschule Liselotte Herrmann Güstrow Sektion Germanistik, Slawistik (1) Wert ausschließen Radtke, Edgard (1) Wert ausschließen Richter, J. (1) Wert ausschließen Rohr, Alexander (1) Wert ausschließen Ronchi Della Rocca, Simona (1) Wert ausschließen Scarvaglieri, Claudio (1) Wert ausschließen Stoltenberg-Hansen, Viggo (1) Wert ausschließen Szatmári, Petra (1) Wert ausschließen Uniwersytet Mikołaja Kopernika w Toruniu (1) Wert ausschließen Volʹf, Elena M. (1) Wert ausschließen Vujčić, Nikola (1) Wert ausschließen Zech, Claudia (1) Wert ausschließen Zetzsche, F. (1) Wert ausschließen Zetzsche, Frank (1) Wert ausschließen Zhang, Guo-Qiang (1) Wert ausschließen Zierer, Hans (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (65) Wert ausschließen Lizenzfreie Online-Ressourcen (8) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (8) Wert ausschließen Diss online (4) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Faculty of Philology, University of Belgrade (CrossRef) (1) Wert ausschließen JSTOR (CrossRef) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Show more show less