Skip to contents Bjørner, Dines [Other]; Bjoerner, Dines [Other] Towards a formal description of Ada Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1980 Published in: Lecture notes in computer science ; 98 Devitt, Michael [Author] Coming to our senses : a naturalistic program for semantic localism - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1996 Published in: Cambridge studies in philosophy Cappelen, Herman [Author]; Lepore, Ernest [Author] Insensitive semantics : a defense of semantic minimalism and speech act pluralism - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Malden, Mass. [u.a.]: Blackwell, 2005 Felleisen, Matthias [Author]; Findler, Robert Bruce [Author]; Flatt, Matthew [Author] Semantics engineering with PLT Redex Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 2009 Preyer, Gerhard [Editor]; Peter, Georg [Other] Context-sensitivity and semantic minimalism : new essays on semantics and pragmatics - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Oxford University Press, c 2007 Yellin, Daniel M. [Author] Attribute grammar inversion and source-to-source translation Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1988 Published in: Lecture notes in computer science ; 302 Klaeren, Herbert [Author] Algebraische Spezifikation : eine Einführung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York: Springer-Verlag, 1983 Uhl, Jürgen [Other] An attribute grammar for the semantic analysis of Ada Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 139 Goldblatt, Robert [Author] Axiomatising the logic of computer programming Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 130 Jones, Neil D. [Other] ; Workshop on Semantics Directed Compiler Generation 1980 Århus Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980 ; [Workshop on Semantics-Directed Compiler Generation] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1980 Published in: Lecture notes in computer science ; 94 Donahue, James E. [Author] Complementary definitions of programming language semantics Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1976 Published in: Lecture notes in computer science ; 42 Cousot, Patrick [Editor] ; WSA 3 1993 Padua Static analysis : third international workshop; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 724 Scholz, Sven-Bodo [Editor]; Chitil, Olaf [Other] ; IFL 20 2008 Hatfield Implementation and application of functional languages : 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 5836 Harel, David [Author] First-order dynamic logic Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1979 Published in: Lecture notes in computer science ; 68 Goguen, Joseph A. [Author]; Malcolm, Grant [Author] Algebraic semantics of imperative programs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1996 Published in: Foundations of computing Mariño, Julio [Editor] ; WFLP 19 2010 Madrid Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6559 Eekelen, Marko van [Editor] ; ITP 2 2011 Berg en Dal Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6898 Bjoerner, Dines [Editor] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 735 Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6602 Dijkstra, Edsger W. [Author] ; Scholten, Carel S. [Other]; Dijkstra, Edsger W. [Other] Predicate calculus and program semantics Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science
Bjørner, Dines [Other]; Bjoerner, Dines [Other] Towards a formal description of Ada Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1980 Published in: Lecture notes in computer science ; 98
Devitt, Michael [Author] Coming to our senses : a naturalistic program for semantic localism - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1996 Published in: Cambridge studies in philosophy
Cappelen, Herman [Author]; Lepore, Ernest [Author] Insensitive semantics : a defense of semantic minimalism and speech act pluralism - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Malden, Mass. [u.a.]: Blackwell, 2005
Felleisen, Matthias [Author]; Findler, Robert Bruce [Author]; Flatt, Matthew [Author] Semantics engineering with PLT Redex Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 2009
Preyer, Gerhard [Editor]; Peter, Georg [Other] Context-sensitivity and semantic minimalism : new essays on semantics and pragmatics - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Oxford University Press, c 2007
Yellin, Daniel M. [Author] Attribute grammar inversion and source-to-source translation Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1988 Published in: Lecture notes in computer science ; 302
Klaeren, Herbert [Author] Algebraische Spezifikation : eine Einführung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York: Springer-Verlag, 1983
Uhl, Jürgen [Other] An attribute grammar for the semantic analysis of Ada Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 139
Goldblatt, Robert [Author] Axiomatising the logic of computer programming Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 130
Jones, Neil D. [Other] ; Workshop on Semantics Directed Compiler Generation 1980 Århus Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980 ; [Workshop on Semantics-Directed Compiler Generation] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1980 Published in: Lecture notes in computer science ; 94
Donahue, James E. [Author] Complementary definitions of programming language semantics Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1976 Published in: Lecture notes in computer science ; 42
Cousot, Patrick [Editor] ; WSA 3 1993 Padua Static analysis : third international workshop; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 724
Scholz, Sven-Bodo [Editor]; Chitil, Olaf [Other] ; IFL 20 2008 Hatfield Implementation and application of functional languages : 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 5836
Harel, David [Author] First-order dynamic logic Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1979 Published in: Lecture notes in computer science ; 68
Goguen, Joseph A. [Author]; Malcolm, Grant [Author] Algebraic semantics of imperative programs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1996 Published in: Foundations of computing
Mariño, Julio [Editor] ; WFLP 19 2010 Madrid Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6559
Eekelen, Marko van [Editor] ; ITP 2 2011 Berg en Dal Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6898
Bjoerner, Dines [Editor] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 735
Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6602
Dijkstra, Edsger W. [Author] ; Scholten, Carel S. [Other]; Dijkstra, Edsger W. [Other] Predicate calculus and program semantics Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science
> Media type Skip to next facet Articles (618) Wert ausschließen Books (228) Wert ausschließen Standards (35) Wert ausschließen Thesis (24) Wert ausschließen Electronic Resources (2) Wert ausschließen Conference Proceedings (2) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (4) Wert ausschließen Stack Collection (29) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (24) Wert ausschließen Central Library (12) Wert ausschließen Branch Library of Medicine (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (37) Wert ausschließen In Copyright - Non-commercial Use Permitted (3) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (258) Wert ausschließen Restricted Access (39) Wert ausschließen Without Specification (581) Wert ausschließen Show more show less
> Language Skip to next facet English (596) Wert ausschließen Not determined (303) Wert ausschließen German (9) Wert ausschließen French (6) Wert ausschließen Russian (3) Wert ausschließen Chinese (1) Wert ausschließen Ndonga (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (300) Wert ausschließen Mathmatics (104) Wert ausschließen Technology (69) Wert ausschließen Philosophy (11) Wert ausschließen Art and art history (9) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (8) Wert ausschließen General (6) Wert ausschließen Economics (4) Wert ausschließen History (2) Wert ausschließen Psychology (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet ACM Special Interest Group on Programming Languages (89) Wert ausschließen Association for Computing Machinery (82) Wert ausschließen ISO International Organization for Standardization (28) Wert ausschließen ISO Internationale Organisation für Normung (28) Wert ausschließen ISO Organisation Internationale de Normalisation (28) Wert ausschließen CEI Commission Electrotechnique Internationale (26) Wert ausschließen IEC International Electrotechnical Commission (26) Wert ausschließen IEC Internationale Elektrotechnische Kommission (26) Wert ausschließen ACM Special Interest Group on Algorithms and Computation Theory (19) Wert ausschließen Association for Computing Machinery-Digital Library (19) Wert ausschließen ACM Special Interest Group on Software Engineering (18) Wert ausschließen You, Jia-Huai (8) Wert ausschließen DIN Deutsches Institut für Normung e. V. (7) Wert ausschließen DIN German Institute for Standardization (7) Wert ausschließen Eiter, Thomas (7) Wert ausschließen Giacobazzi, Roberto (7) Wert ausschließen ISO/CEI JTC 1 Technologies de l'information (7) Wert ausschließen ISO/CEI JTC 1/SC 29 Codage du son, de l'image, de l'information multimédia et hypermédia (7) Wert ausschließen ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology (7) Wert ausschließen ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik (7) Wert ausschließen ISO/IEC JTC 1/SC 29 Coding of audio, picture, multimedia and hypermedia information (7) Wert ausschließen ISO/IEC JTC 1/SC 29 Darstellung von Bild, Ton und Multimedia/Hypermedia Informationen (7) Wert ausschließen Loyer, Yann (7) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (6) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (6) Wert ausschließen Hofmann, Martin (6) Wert ausschließen Levi, Giorgio (6) Wert ausschließen Lobo, Jorge (6) Wert ausschließen Minker, Jack (6) Wert ausschließen Osorio, Mauricio (6) Wert ausschließen Rondogiannis, Panos (6) Wert ausschließen Tompits, Hans (6) Wert ausschließen Barthe, Gilles (5) Wert ausschließen Bossi, Annalisa (5) Wert ausschließen Brookes, Stephen (5) Wert ausschließen Dimovski, Aleksandar S. (5) Wert ausschließen Etalle, Sandro (5) Wert ausschließen ISO/CEI JTC 1/SC 24 Infographie et traitement de l'image (5) Wert ausschließen ISO/IEC JTC 1/SC 24 Computer graphics and image processing (5) Wert ausschließen ISO/IEC JTC 1/SC 24 Graphische Datenverarbeitung und Bildverarbeitung (5) Wert ausschließen Nieves, Juan Carlos (5) Wert ausschließen Orejas, Fernando (5) Wert ausschließen Reps, Thomas (5) Wert ausschließen Shen, Yi-Dong (5) Wert ausschließen Taha, Walid (5) Wert ausschließen Yuan, Li Yan (5) Wert ausschließen Ahmed, Amal (4) Wert ausschließen Association for Computing Machinery Special Interest Group on Automata and Computability Theory (4) Wert ausschließen Association for Computing Machinery Special Interest Group on Programming Languages (4) Wert ausschließen Benton, Nick (4) Wert ausschließen Chitil, Olaf (4) Wert ausschließen Dix, Juergen (4) Wert ausschließen Gabbrielli, Maurizio (4) Wert ausschließen Hermenegildo, Manuel (4) Wert ausschließen ISO/CEI JTC 1/SC 22 (4) Wert ausschließen ISO/IEC JTC 1/SC 22 Programmiersprachen (4) Wert ausschließen ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces (4) Wert ausschließen Lukasiewicz, Thomas (4) Wert ausschließen Pino, Elvira (4) Wert ausschließen Riguzzi, Fabrizio (4) Wert ausschließen Rossi, Sabina (4) Wert ausschließen Schaub, Torsten (4) Wert ausschließen Silva, Alexandra (4) Wert ausschließen Spyratos, Nicolas (4) Wert ausschließen Straccia, Umberto (4) Wert ausschließen Wang, Kewen (4) Wert ausschließen Woltran, Stefan (4) Wert ausschließen Yamasaki, Susumu (4) Wert ausschließen Anureev, I. S. (3) Wert ausschließen Asavoae, Mihail (3) Wert ausschließen Ballapuram, Chinnakrishnan S. (3) Wert ausschließen Baral, Chitta (3) Wert ausschließen Birkedal, Lars (3) Wert ausschließen Broy, Manfred (3) Wert ausschließen Bruynooghe, Maurice (3) Wert ausschließen Börger, Egon (3) Wert ausschließen Constable, Robert (3) Wert ausschließen Constable, Robert L. (3) Wert ausschließen Cousot, Patrick (3) Wert ausschließen Danicic, Sebastian (3) Wert ausschließen Dung, Phan Minh (3) Wert ausschließen Findler, Robert Bruce (3) Wert ausschließen Fink, Michael (3) Wert ausschließen Gall, Daniel (3) Wert ausschließen Gallier, Jean H. (3) Wert ausschließen Greibach, Sheila A. (3) Wert ausschließen Guessarian, Irène (3) Wert ausschließen Hanus, Michael (3) Wert ausschließen Horwitz, Susan (3) Wert ausschließen Jones, Neil D. (3) Wert ausschließen Katoen, Joost-Pieter (3) Wert ausschließen Kozen, Dexter (3) Wert ausschließen Lee, Hsien-Hsin S. (3) Wert ausschließen Lisper, Björn (3) Wert ausschließen Maryasov, I. V. (3) Wert ausschließen Meyer, Albert R. (3) Wert ausschließen Miné, Antoine (3) Wert ausschließen Oetsch, Johannes (3) Wert ausschließen Parikh, Rohit (3) Wert ausschließen Pasarella, Edelmira (3) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (232) Wert ausschließen Verbunddaten SWB (221) Wert ausschließen Elsevier BV (CrossRef) (101) Wert ausschließen BASE - Bielefeld Academic Search Engine (86) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (49) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (44) Wert ausschließen Springer International Publishing (CrossRef) (38) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (36) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (28) Wert ausschließen Nautos (ISO-Normen) (28) Wert ausschließen theses.fr (18) Wert ausschließen Lizenzfreie Online-Ressourcen (13) Wert ausschließen Open Publishing Association (CrossRef) (12) Wert ausschließen IOS Press (CrossRef) (11) Wert ausschließen Oxford University Press (OUP) (CrossRef) (9) Wert ausschließen Nautos (DIN-Normen) (7) Wert ausschließen Diss online (6) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (6) Wert ausschließen JSTOR Mathematics & Statistics (5) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (5) Wert ausschließen Allerton Press (CrossRef) (4) Wert ausschließen DOAJ Directory of Open Access Journals (4) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (4) Wert ausschließen Springer Nature Switzerland (CrossRef) (4) Wert ausschließen AI Access Foundation (CrossRef) (3) Wert ausschließen ETH Zürich Research Collection (3) Wert ausschließen JSTOR Arts & Sciences I Archive (3) Wert ausschließen P.G. Demidov Yaroslavl State University (CrossRef) (3) Wert ausschließen Hindawi Limited (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences VII Archive (2) Wert ausschließen University of Chicago Press (CrossRef) (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Biophysical Society of Japan (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen Elsevier (CrossRef) (1) Wert ausschließen Estonian Academy Publishers (CrossRef) (1) Wert ausschließen IGI Global (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen Information Processing Society of Japan (CrossRef) (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Oles Honchar Dnipropetrovsk National University (CrossRef) (1) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen Passau University: OPUS (1) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (1) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (1) Wert ausschließen RTU MIREA (CrossRef) (1) Wert ausschließen Science Alert (CrossRef) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (1) Wert ausschließen TechKnowledge General Trading LLC (CrossRef) (1) Wert ausschließen The Science and Information Organization (CrossRef) (1) Wert ausschließen University of Potsdam: publish.UP (1) Wert ausschließen Voronezh Institute of High Technologies (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen Show more show less