Skip to contents Morgan, Peter [Author]; Pearse, Merrin B. [Author] A first-order network for New Zealand Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sydney, NSW, Australia: School of Geomatic Engineering, University of New South Wales, 1999 Published in: Unisurv / S ; 56 Heering, Jan [Editor] ; HOA 1 1993 Amsterdam Higher order algebra, logic, and term rewriting : first international workshop; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 816 Dreher, Michael [Author]; Witt, Ingo [Author] Energy estimates for weakly hyperbolic systems of the first order Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Freiberg: Dekan der Fak. für Mathematik und Informatik, 2003 Published in: Technische Universität Bergakademie Freiberg: Preprint ; 2003,06 Ulbricht, Heinz [Other]; Schmelzer, Jürn [Other]; Mahnke, Reinhard [Other]; Schweitzer, Frank [Other] Thermodynamics of finite systems and the kinetics of first-order phase transitions - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Teubner, 1988 Published in: Teubner-Texte zur Physik ; 17 Fießler, Bernd [Other] Non-normal vectors, quadratic limit state criteria, systems and extreme loads in first order reliability theory = Zuverlässigkeitstheorie I. Ordnung und nicht-normale Vektoren, quadratische Grenzzustandsflächen, Tragsysteme bzw. aussergewöhnliche Einwirkungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Sonderforschungsbereich 96, Laboratorium für den Konstruktiven Ingenieurbau (LKI), Techn. Univ., 1978 Published in: Berichte zur Zuverlässigkeitstheorie der Bauwerke ; 29 Diakonikolas, Jelena [Author]; Orecchia, Lorenzo [Author] ; Jelena Diakonikolas and Lorenzo Orecchia [Contributor] Accelerated Extra-Gradient Descent: A Novel Accelerated First-Order Method Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018 Müller, Alexander Christian [Author] ; Seidl, Helmut [Contributor]; Seidl, Helmut ;Esparza Estaun, Francisco Javier [Contributor] Proving Noninterference in Multi-Agent Systems ; Verifikation von Sicherheitseigenschaften in Multi-Agenten-Systemen Thesis View online Schließen > Links https://mediatum.ub.tum.de/1534540 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Technical University of Munich; Technische Universität München, 2020-11-03 Rapp, Franziska [Author]; Middeldorp, Aart [Author] ; Franziska Rapp and Aart Middeldorp [Contributor] Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016 Göller, Stefan [Author]; Lohrey, Markus [Author] ; Stefan Göller and Markus Lohrey [Contributor] The First-Order Theory of Ground Tree Rewrite Graphs Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 Misonizhnik, Aleksandr [Author]; Mordvinov, Dmitry [Author] ; Aleksandr Misonizhnik and Dmitry Mordvinov [Contributor] On Satisfiability of Nominal Subtyping with Variance Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Almagor, Shaull [Author]; Ouaknine, Joël [Author]; Worrell, James [Author] ; Shaull Almagor and Joël Ouaknine and James Worrell [Contributor] The Semialgebraic Orbit Problem Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Czajka, Lukasz [Author] ; Lukasz Czajka [Contributor] A Shallow Embedding of Pure Type Systems into First-Order Logic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018 Colli, Pierluigi [Author]; Gilardi, Gianni [Author]; Sprekels, Jürgen [Author] Distributed optimal control of a nonstandard nonlocal phase field system - [published Version] Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springfield, MO : AIMS Press, 2016 Published in: AIMS Mathematics 1 (2016), Nr. 3 Colli, Pierluigi [Author]; Gilardi, Gianni [Author]; Sprekels, Jürgen [Author] Distributed optimal control of a nonstandard nonlocal phase field system - [published Version] Books View online Schließen > Links https://oa.tib.eu/renate/handle/123456789/2499 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016 Sprekels, Jürgen [Author]; Colli, Pierluigi [Author]; Gilardi, Gianni [Author] Distributed optimal control of a nonstandard nonlocal phase field system Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Weierstrass Institute for Applied Analysis and Stochastics publication server, 2016 Kissinger, Aleks [Author]; Quick, David [Author] ; Aleks Kissinger and David Quick [Contributor] A First-order Logic for String Diagrams Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 Lisitsa, Alexei [Author] ; Alexei Lisitsa [Contributor] Finite Models vs Tree Automata in Safety Verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012 Colli, Pierluigi [Author]; Podio-Guidugli, Paolo [Author]; Gilardi, Gianni [Author]; Sprekels, Jürgen [Author] Distributed optimal control of a nonstandard system of phase field equations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Weierstrass Institute for Applied Analysis and Stochastics publication server, 2011 Colli, Pierluigi [Author]; Gilardi, Gianni [Author]; Podio-Guidugli, Paolo [Author]; Sprekels, Jürgen [Author]; Müller, Ingo [Author] Distributed optimal control of a nonstandard system of phase field equations : dedicated to Prof. Dr. Ingo Müller on the occasion of his 75th birthday - [published Version] Books View online Schließen > Links https://oa.tib.eu/renate/handle/123456789/2389 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2011 Kartzow, Alexander [Author] ; Alexander Kartzow [Contributor] Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Morgan, Peter [Author]; Pearse, Merrin B. [Author] A first-order network for New Zealand Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sydney, NSW, Australia: School of Geomatic Engineering, University of New South Wales, 1999 Published in: Unisurv / S ; 56
Heering, Jan [Editor] ; HOA 1 1993 Amsterdam Higher order algebra, logic, and term rewriting : first international workshop; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 816
Dreher, Michael [Author]; Witt, Ingo [Author] Energy estimates for weakly hyperbolic systems of the first order Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Freiberg: Dekan der Fak. für Mathematik und Informatik, 2003 Published in: Technische Universität Bergakademie Freiberg: Preprint ; 2003,06
Ulbricht, Heinz [Other]; Schmelzer, Jürn [Other]; Mahnke, Reinhard [Other]; Schweitzer, Frank [Other] Thermodynamics of finite systems and the kinetics of first-order phase transitions - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Teubner, 1988 Published in: Teubner-Texte zur Physik ; 17
Fießler, Bernd [Other] Non-normal vectors, quadratic limit state criteria, systems and extreme loads in first order reliability theory = Zuverlässigkeitstheorie I. Ordnung und nicht-normale Vektoren, quadratische Grenzzustandsflächen, Tragsysteme bzw. aussergewöhnliche Einwirkungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Sonderforschungsbereich 96, Laboratorium für den Konstruktiven Ingenieurbau (LKI), Techn. Univ., 1978 Published in: Berichte zur Zuverlässigkeitstheorie der Bauwerke ; 29
Diakonikolas, Jelena [Author]; Orecchia, Lorenzo [Author] ; Jelena Diakonikolas and Lorenzo Orecchia [Contributor] Accelerated Extra-Gradient Descent: A Novel Accelerated First-Order Method Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Müller, Alexander Christian [Author] ; Seidl, Helmut [Contributor]; Seidl, Helmut ;Esparza Estaun, Francisco Javier [Contributor] Proving Noninterference in Multi-Agent Systems ; Verifikation von Sicherheitseigenschaften in Multi-Agenten-Systemen Thesis View online Schließen > Links https://mediatum.ub.tum.de/1534540 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Technical University of Munich; Technische Universität München, 2020-11-03
Rapp, Franziska [Author]; Middeldorp, Aart [Author] ; Franziska Rapp and Aart Middeldorp [Contributor] Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Göller, Stefan [Author]; Lohrey, Markus [Author] ; Stefan Göller and Markus Lohrey [Contributor] The First-Order Theory of Ground Tree Rewrite Graphs Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Misonizhnik, Aleksandr [Author]; Mordvinov, Dmitry [Author] ; Aleksandr Misonizhnik and Dmitry Mordvinov [Contributor] On Satisfiability of Nominal Subtyping with Variance Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Almagor, Shaull [Author]; Ouaknine, Joël [Author]; Worrell, James [Author] ; Shaull Almagor and Joël Ouaknine and James Worrell [Contributor] The Semialgebraic Orbit Problem Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Czajka, Lukasz [Author] ; Lukasz Czajka [Contributor] A Shallow Embedding of Pure Type Systems into First-Order Logic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Colli, Pierluigi [Author]; Gilardi, Gianni [Author]; Sprekels, Jürgen [Author] Distributed optimal control of a nonstandard nonlocal phase field system - [published Version] Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springfield, MO : AIMS Press, 2016 Published in: AIMS Mathematics 1 (2016), Nr. 3
Colli, Pierluigi [Author]; Gilardi, Gianni [Author]; Sprekels, Jürgen [Author] Distributed optimal control of a nonstandard nonlocal phase field system - [published Version] Books View online Schließen > Links https://oa.tib.eu/renate/handle/123456789/2499 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016
Sprekels, Jürgen [Author]; Colli, Pierluigi [Author]; Gilardi, Gianni [Author] Distributed optimal control of a nonstandard nonlocal phase field system Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Weierstrass Institute for Applied Analysis and Stochastics publication server, 2016
Kissinger, Aleks [Author]; Quick, David [Author] ; Aleks Kissinger and David Quick [Contributor] A First-order Logic for String Diagrams Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Lisitsa, Alexei [Author] ; Alexei Lisitsa [Contributor] Finite Models vs Tree Automata in Safety Verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Colli, Pierluigi [Author]; Podio-Guidugli, Paolo [Author]; Gilardi, Gianni [Author]; Sprekels, Jürgen [Author] Distributed optimal control of a nonstandard system of phase field equations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Weierstrass Institute for Applied Analysis and Stochastics publication server, 2011
Colli, Pierluigi [Author]; Gilardi, Gianni [Author]; Podio-Guidugli, Paolo [Author]; Sprekels, Jürgen [Author]; Müller, Ingo [Author] Distributed optimal control of a nonstandard system of phase field equations : dedicated to Prof. Dr. Ingo Müller on the occasion of his 75th birthday - [published Version] Books View online Schließen > Links https://oa.tib.eu/renate/handle/123456789/2389 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2011
Kartzow, Alexander [Author] ; Alexander Kartzow [Contributor] Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
> Media type Skip to next facet Articles (1.918) Wert ausschließen Books (60) Wert ausschließen Conference Proceedings (26) Wert ausschließen Thesis (17) Wert ausschließen Videos (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (4) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (4) Wert ausschließen Central Library (3) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (7) Wert ausschließen Attribution (CC BY) (5) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (4) Wert ausschließen In Copyright - Non-commercial Use Permitted (2) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (736) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (1.281) Wert ausschließen Show more show less
> Language Skip to next facet English (1.585) Wert ausschließen Not determined (415) Wert ausschließen French (8) Wert ausschließen German (8) Wert ausschließen Russian (5) Wert ausschließen Czech (3) Wert ausschließen Italian (2) Wert ausschließen Ndonga (2) Wert ausschließen Polish (2) Wert ausschließen Latin (1) Wert ausschließen Turkish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (753) Wert ausschließen Technology (681) Wert ausschließen Computer science (462) Wert ausschließen Physics (368) Wert ausschließen Medicine (154) Wert ausschließen Chemistry and pharmacology (61) Wert ausschließen General (60) Wert ausschließen Biology (39) Wert ausschließen Economics (25) Wert ausschließen General sciences (16) Wert ausschließen Geography (16) Wert ausschließen Philosophy (15) Wert ausschließen Psychology (13) Wert ausschließen Geology and paleontology (5) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (5) Wert ausschließen Pedagogy (3) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (2) Wert ausschließen Art and art history (2) Wert ausschließen Show more show less
> Creator Skip to next facet Sprekels, Jürgen (24) Wert ausschließen Colli, Pierluigi (16) Wert ausschließen Gilardi, Gianni (15) Wert ausschließen Bastiaans, Martin J. (11) Wert ausschließen Alieva, Tatiana (9) Wert ausschließen Liu, Chungen (8) Wert ausschließen Dreyer, Wolfgang (7) Wert ausschließen Maurer, D. (7) Wert ausschließen Ledgeway, Timothy (6) Wert ausschließen McCord, Thomas G. (6) Wert ausschließen Minhós, Feliz (6) Wert ausschließen Teo, K. L. (6) Wert ausschließen Wieners, Christian (6) Wert ausschließen Zhang, Xiaofei (6) Wert ausschließen Abdallah, Ahmed Y. (5) Wert ausschließen Ascher, U. (5) Wert ausschließen Chen, Jie (5) Wert ausschließen Ellemberg, D. (5) Wert ausschließen Faubert, J. (5) Wert ausschließen Forbes, G. W. (5) Wert ausschließen Frigon, Marlène (5) Wert ausschließen Grigorian, G. A. (5) Wert ausschließen Li, Tatsien (5) Wert ausschließen Stone, Bryan D. (5) Wert ausschließen Weiss, R. (5) Wert ausschließen Yu, Chung Ling (5) Wert ausschließen Yu, Chung-Ling (5) Wert ausschließen Aizenman, Michael (4) Wert ausschließen Allard, R. (4) Wert ausschließen Badcock, David R. (4) Wert ausschließen Chen, YangQuan (4) Wert ausschließen Druet, Pierre-Étienne (4) Wert ausschließen Dörfler, Willy (4) Wert ausschließen Edwards, Mark (4) Wert ausschließen Fei, Shumin (4) Wert ausschließen Grasselli, Maurizio (4) Wert ausschließen Hutchinson, Claire V. (4) Wert ausschließen Kampen, Jörg (4) Wert ausschließen Klein, Olaf (4) Wert ausschließen Liu, Cheng-Lin (4) Wert ausschließen Mennicken, Reinhard (4) Wert ausschließen Middeldorp, Aart (4) Wert ausschließen Middleton, D. (4) Wert ausschließen Möller, Manfred (4) Wert ausschließen Nishida, S. (4) Wert ausschließen Podio-Guidugli, Paolo (4) Wert ausschließen Qu, Peng (4) Wert ausschließen Raviart, P. A. (4) Wert ausschließen Shokri, Ali (4) Wert ausschließen Smith, Donald E. (4) Wert ausschließen Soldatov, A. P. (4) Wert ausschließen Tamma, K. K. (4) Wert ausschließen Wakabayashi, Seiichiro (4) Wert ausschließen Yakovlev, M. N. (4) Wert ausschließen Abadi, Martín (3) Wert ausschließen Aranda-Bricaire, E. (3) Wert ausschließen Auscher, Pascal (3) Wert ausschließen Bagheri, Peyman (3) Wert ausschließen Barendregt, Henk (3) Wert ausschließen Bhattacharyya, S.P. (3) Wert ausschließen Bocher, Maxime (3) Wert ausschließen Bunder, Martin (3) Wert ausschließen Cacuci, Dan Gabriel (3) Wert ausschließen Calogero, F. (3) Wert ausschließen Capel, H.W. (3) Wert ausschließen Chang, Ching-Lung (3) Wert ausschließen Chen, Zengqiang (3) Wert ausschließen Cropper, Simon J. (3) Wert ausschließen Currie, Sonja (3) Wert ausschließen De la Sen, M. (3) Wert ausschließen Dekkers, Wil (3) Wert ausschließen Feng, Yuanzhen (3) Wert ausschließen Ferrara, A. (3) Wert ausschließen Findeisen, Stefan (3) Wert ausschließen Fiori, Simone (3) Wert ausschließen Fokas, A. S. (3) Wert ausschließen Frigeri, Sergio Pietro (3) Wert ausschließen Gabbay, Murdoch J. (3) Wert ausschließen Ganzinger, Harald (3) Wert ausschließen Gekeler, Eckart (3) Wert ausschließen Gilbert, Robert P. (3) Wert ausschließen Goldschmidt, Bernd (3) Wert ausschließen Grigoryan, G. A. (3) Wert ausschließen Grunau, M. W. (3) Wert ausschließen Gunzburger, Max D. (3) Wert ausschließen Guo, Jin (3) Wert ausschließen Hantke, Maren (3) Wert ausschließen Hermes, Marc (3) Wert ausschließen Keel, L.H. (3) Wert ausschließen Khoma, G. P. (3) Wert ausschließen Kirst, Dominik (3) Wert ausschließen Kunik, Matthias (3) Wert ausschließen Lando, Barbara A. (3) Wert ausschließen Lane, Ernest P. (3) Wert ausschließen Layton, William J. (3) Wert ausschließen Lesaint, P. (3) Wert ausschließen Lewis, T. L. (3) Wert ausschließen Liu, Cunming (3) Wert ausschließen Lochmann, Alexander (3) Wert ausschließen Lu, Xing (3) Wert ausschließen Show more show less
> Collection Skip to next facet Elsevier BV (CrossRef) (315) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (301) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (130) Wert ausschließen Informa UK Limited (CrossRef) (109) Wert ausschließen Wiley (CrossRef) (101) Wert ausschließen BASE - Bielefeld Academic Search Engine (80) Wert ausschließen Association for Research in Vision and Ophthalmology (ARVO) (CrossRef) (64) Wert ausschließen JSTOR Mathematics & Statistics (57) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (51) Wert ausschließen American Physical Society (APS) (CrossRef) (48) Wert ausschließen JSTOR Arts & Sciences I Archive (40) Wert ausschließen AIP Publishing (CrossRef) (38) Wert ausschließen IOP Publishing (CrossRef) (33) Wert ausschließen MDPI AG (CrossRef) (33) Wert ausschließen American Chemical Society (ACS) (CrossRef) (29) Wert ausschließen Optica Publishing Group (CrossRef) (29) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (29) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (28) Wert ausschließen Verbunddaten SWB (26) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (24) Wert ausschließen DOAJ Directory of Open Access Journals (23) Wert ausschließen Weierstrass Institute for Applied Analysis and Stochastics publication server (23) Wert ausschließen Emerald (CrossRef) (21) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (20) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (20) Wert ausschließen ASME International (CrossRef) (19) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (19) Wert ausschließen SPIE (CrossRef) (18) Wert ausschließen Springer International Publishing (CrossRef) (18) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (18) Wert ausschließen Hindawi Limited (CrossRef) (17) Wert ausschließen JSTOR (CrossRef) (17) Wert ausschließen American Institute of Mathematical Sciences (AIMS) (CrossRef) (16) Wert ausschließen SAGE Publications (CrossRef) (16) Wert ausschließen EDP Sciences (CrossRef) (15) Wert ausschließen JSTOR Arts & Sciences XV Archive (15) Wert ausschließen Lizenzfreie Online-Ressourcen (15) Wert ausschließen American Institute of Aeronautics and Astronautics (AIAA) (CrossRef) (13) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (13) Wert ausschließen IOS Press (CrossRef) (13) Wert ausschließen Elsevier (CrossRef) (11) Wert ausschließen theses.fr (11) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (10) Wert ausschließen Oxford University Press (OUP) (CrossRef) (10) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (7) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (7) Wert ausschließen Project Euclid (CrossRef) (7) Wert ausschließen Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover) (7) Wert ausschließen Steklov Mathematical Institute (CrossRef) (7) Wert ausschließen Allerton Press (CrossRef) (6) Wert ausschließen Institute of Mathematics, Czech Academy of Sciences (CrossRef) (5) Wert ausschließen JSTOR Life Sciences Archive (5) Wert ausschließen The Optical Society (CrossRef) (5) Wert ausschließen University of Szeged (CrossRef) (5) Wert ausschließen International Press of Boston (CrossRef) (4) Wert ausschließen JSTOR Health & General Sciences (4) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (4) Wert ausschließen Polish Academy of Sciences Chancellery (CrossRef) (4) Wert ausschließen SPIE-Intl Soc Optical Eng (CrossRef) (4) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (4) Wert ausschließen Diss online (3) Wert ausschließen Duke University Press (CrossRef) (3) Wert ausschließen Indiana University Mathematics Journal (CrossRef) (3) Wert ausschließen International Scientific Research Publications MY SDN. BHD. (CrossRef) (3) Wert ausschließen Mathematical Sciences Publishers (CrossRef) (3) Wert ausschließen The Korean Mathematical Society (CrossRef) (3) Wert ausschließen The Society of Instrument and Control Engineers (CrossRef) (3) Wert ausschließen Valley International (CrossRef) (3) Wert ausschließen American Astronomical Society (CrossRef) (2) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (2) Wert ausschließen Author(s) (CrossRef) (2) Wert ausschließen Bentham Science Publishers Ltd. (CrossRef) (2) Wert ausschließen Cellule MathDoc/CEDRAM (CrossRef) (2) Wert ausschließen Cellule MathDoc/Centre Mersenne (CrossRef) (2) Wert ausschließen EJournal Publishing (CrossRef) (2) Wert ausschließen ETH Zürich Research Collection (2) Wert ausschließen Element d.o.o. (CrossRef) (2) Wert ausschließen IGI Global (CrossRef) (2) Wert ausschließen Institute of Mathematics, University of Tsukuba (CrossRef) (2) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (2) Wert ausschließen Khayyam Publishing, Inc (CrossRef) (2) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (2) Wert ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (2) Wert ausschließen The Royal Society (CrossRef) (2) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (2) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (2) Wert ausschließen Voronezh State University of Forestry and Technologies named after G.F. Morozov (CrossRef) (2) Wert ausschließen AI Access Foundation (CrossRef) (1) Wert ausschließen AIP Publishing LLC (CrossRef) (1) Wert ausschließen Academic Journals (CrossRef) (1) Wert ausschließen Acoustical Society of America (ASA) (CrossRef) (1) Wert ausschließen Acoustical Society of Japan (CrossRef) (1) Wert ausschließen Ailamazyan Program Systems Institute of Russian Academy of Sciences (PSI RAS) (CrossRef) (1) Wert ausschließen American Physiological Society (CrossRef) (1) Wert ausschließen American Society of Civil Engineers (ASCE) (CrossRef) (1) Wert ausschließen Biodiversity Heritage Library (CrossRef) (1) Wert ausschließen Brno University of Technology (CrossRef) (1) Wert ausschließen Canadian Mathematical Society (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Department of Mathematics, Hokkaido University (CrossRef) (1) Wert ausschließen Show more show less