Zum Inhalt springen Schmid, Ute [VerfasserIn] Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2654 Biundo-Stephan, Susanne [VerfasserIn] ; Biundo, Susanne [Sonstige Person, Familie und Körperschaft] Automatische Synthese rekursiver Programme als Beweisverfahren Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1992 Erschienen in: Informatik-Fachberichte ; 302 Raman, T. V. [VerfasserIn] Audio system for technical readings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Lecture notes in computer science ; 1410 Pettorossi, Alberto [HerausgeberIn] ; LOPSTR 11 2001 Paphos Logic based program synthesis and transformation : 11th international workshop ; selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2002 Erschienen in: Lecture notes in computer science ; 2372 De Schreye, Danny [Sonstige Person, Familie und Körperschaft]; DeSchreye, Danny [HerausgeberIn] ; LOPSTR 19 2009 Coimbra Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2010 Erschienen in: Lecture notes in computer science ; 6037 Leuschel, Michael [HerausgeberIn] ; LOPSTR 12 2002 Madrid Logic based program synthesis and transformation : 12th international workshop, Madrid, Spain, September 17 - 20, 2002 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2664 Flener, Pierre [HerausgeberIn] ; LOPSTR 8 1998 Manchester Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1999 Erschienen in: Lecture notes in computer science ; 1559 Puebla, Germàn [HerausgeberIn] ; LOPSTR 16 2006 Venedig Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2007 Erschienen in: Lecture notes in computer science ; 4407 Bruynooghe, Maurice [HerausgeberIn] ; LOPSTR 13 2003 Uppsala Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 3018 Etalle, Sandro [HerausgeberIn] ; LOPSTR 14 2004 Verona Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in computer science ; 3573 Hill, Patricia M. [HerausgeberIn] ; LOPSTR 15 2005 London Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 3901 Alpuente, María [HerausgeberIn] ; LOPSTR 20 2010 Hagenberg im Mühlkreis Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6564 Bruynooghe, Maurice [HerausgeberIn] Program development in computational logic : a decade of research advances in logic-based program development Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 3049 Bossi, Annalisa [HerausgeberIn] ; LOPSTR 9 1999 Venedig Logic-based program synthesis and transformation : 9th international workshop ; selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000 Erschienen in: Lecture notes in computer science ; 1817 Fuchs, Norbert E. [HerausgeberIn] ; LOPSTR 7 1997 Löwen Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Erschienen in: Lecture notes in computer science ; 1463 King, Andy [Sonstige Person, Familie und Körperschaft]; King, Andrew Malcolm [HerausgeberIn] ; LOPSTR 17 2007 Kongens Lyngby Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2008 Erschienen in: Lecture notes in computer science ; 4915 Creasey, David [VerfasserIn] Audio processes : musical analysis, modifiction, synthesis, and control Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York; London: Routledge, Taylor & Francis Group, 2017 Erschienen in: A Focal Press book Hanus, Michael [HerausgeberIn] ; LOPSTR 18 2008 Valencia Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2009 Erschienen in: Lecture notes in computer science ; 5438 Bhatnagar, Himanshu [VerfasserIn] Advanced ASIC chip synthesis : using Synopsys Design Compiler, Physical Compiler, and PrimeTime - [2nd ed] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston, Mass. [u.a.]: Kluwer Academic, c2002 Lee, Weng Fook [VerfasserIn] VHDL : coding and logic synthesis with Synopsys Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. San Diego, Calif. [u.a.]: Academic Press, 2000
Schmid, Ute [VerfasserIn] Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2654
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Biundo-Stephan, Susanne [VerfasserIn] ; Biundo, Susanne [Sonstige Person, Familie und Körperschaft] Automatische Synthese rekursiver Programme als Beweisverfahren Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1992 Erschienen in: Informatik-Fachberichte ; 302
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Raman, T. V. [VerfasserIn] Audio system for technical readings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Lecture notes in computer science ; 1410
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pettorossi, Alberto [HerausgeberIn] ; LOPSTR 11 2001 Paphos Logic based program synthesis and transformation : 11th international workshop ; selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2002 Erschienen in: Lecture notes in computer science ; 2372
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
De Schreye, Danny [Sonstige Person, Familie und Körperschaft]; DeSchreye, Danny [HerausgeberIn] ; LOPSTR 19 2009 Coimbra Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2010 Erschienen in: Lecture notes in computer science ; 6037
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Leuschel, Michael [HerausgeberIn] ; LOPSTR 12 2002 Madrid Logic based program synthesis and transformation : 12th international workshop, Madrid, Spain, September 17 - 20, 2002 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2664
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flener, Pierre [HerausgeberIn] ; LOPSTR 8 1998 Manchester Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1999 Erschienen in: Lecture notes in computer science ; 1559
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Puebla, Germàn [HerausgeberIn] ; LOPSTR 16 2006 Venedig Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2007 Erschienen in: Lecture notes in computer science ; 4407
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bruynooghe, Maurice [HerausgeberIn] ; LOPSTR 13 2003 Uppsala Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 3018
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Etalle, Sandro [HerausgeberIn] ; LOPSTR 14 2004 Verona Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in computer science ; 3573
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hill, Patricia M. [HerausgeberIn] ; LOPSTR 15 2005 London Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 3901
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alpuente, María [HerausgeberIn] ; LOPSTR 20 2010 Hagenberg im Mühlkreis Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6564
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bruynooghe, Maurice [HerausgeberIn] Program development in computational logic : a decade of research advances in logic-based program development Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 3049
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bossi, Annalisa [HerausgeberIn] ; LOPSTR 9 1999 Venedig Logic-based program synthesis and transformation : 9th international workshop ; selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000 Erschienen in: Lecture notes in computer science ; 1817
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Fuchs, Norbert E. [HerausgeberIn] ; LOPSTR 7 1997 Löwen Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Erschienen in: Lecture notes in computer science ; 1463
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
King, Andy [Sonstige Person, Familie und Körperschaft]; King, Andrew Malcolm [HerausgeberIn] ; LOPSTR 17 2007 Kongens Lyngby Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2008 Erschienen in: Lecture notes in computer science ; 4915
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Creasey, David [VerfasserIn] Audio processes : musical analysis, modifiction, synthesis, and control Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York; London: Routledge, Taylor & Francis Group, 2017 Erschienen in: A Focal Press book
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hanus, Michael [HerausgeberIn] ; LOPSTR 18 2008 Valencia Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2009 Erschienen in: Lecture notes in computer science ; 5438
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bhatnagar, Himanshu [VerfasserIn] Advanced ASIC chip synthesis : using Synopsys Design Compiler, Physical Compiler, and PrimeTime - [2nd ed] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston, Mass. [u.a.]: Kluwer Academic, c2002
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lee, Weng Fook [VerfasserIn] VHDL : coding and logic synthesis with Synopsys Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. San Diego, Calif. [u.a.]: Academic Press, 2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (1.354) Wert ausschließen Bücher (165) Wert ausschließen Konferenzberichte (11) Wert ausschließen Hochschulschriften (11) Wert ausschließen Videos (5) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (4) Wert ausschließen Magazinbestellung (27) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (28) Wert ausschließen Zentralbibliothek (3) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (4) Wert ausschließen Urheberrechtsschutz (3) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (3) Wert ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (2) Wert ausschließen Namensnennung (CC BY) (1) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (418) Wert ausschließen Ohne Angabe (1.097) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (822) Wert ausschließen Englisch (712) Wert ausschließen Deutsch (9) Wert ausschließen Französisch (3) Wert ausschließen Russisch (3) Wert ausschließen Japanisch (1) Wert ausschließen Persisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (270) Wert ausschließen Technik (100) Wert ausschließen Mathematik (84) Wert ausschließen Medizin (62) Wert ausschließen Physik (60) Wert ausschließen Biologie (59) Wert ausschließen Allgemeines (43) Wert ausschließen Chemie und Pharmazie (38) Wert ausschließen Pädagogik (25) Wert ausschließen Geographie (22) Wert ausschließen Psychologie (17) Wert ausschließen Kunst und Kunstgeschichte (14) Wert ausschließen Wirtschaftswissenschaften (13) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (9) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (8) Wert ausschließen Soziologie (6) Wert ausschließen Geologie und Paläontologie (5) Wert ausschließen Musikwissenschaft (4) Wert ausschließen Geschichte (3) Wert ausschließen Allgemeine Naturwissenschaft (2) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (1) Wert ausschließen Philosophie (1) Wert ausschließen Rechtswissenschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Schmid, Ute (22) Wert ausschließen Proietti, Maurizio (21) Wert ausschließen Vidal, Germán (19) Wert ausschließen Pettorossi, Alberto (18) Wert ausschließen Leuschel, Michael (17) Wert ausschließen Bossi, Annalisa (15) Wert ausschließen Flener, Pierre (15) Wert ausschließen Gallagher, John P. (14) Wert ausschließen Gulwani, Sumit (14) Wert ausschließen Lau, Kung-Kiu (14) Wert ausschließen Ornaghi, Mario (14) Wert ausschließen Vanhoof, Wim (14) Wert ausschließen Albert, Elvira (13) Wert ausschließen Hermenegildo, Manuel V. (13) Wert ausschließen De Schreye, Danny (12) Wert ausschließen Polikarpova, Nadia (12) Wert ausschließen Puebla, Germán (12) Wert ausschließen Fernández, Maribel (11) Wert ausschließen Bruynooghe, Maurice (10) Wert ausschließen Fioravanti, Fabio (10) Wert ausschließen Katoen, Joost-Pieter (10) Wert ausschließen King, Andy (10) Wert ausschließen Meseguer, José (10) Wert ausschließen Solar-Lezama, Armando (10) Wert ausschließen Dillig, Isil (9) Wert ausschließen Kitzelmann, Emanuel (9) Wert ausschließen Seki, Hirohisa (9) Wert ausschließen Silva, Josep (9) Wert ausschließen Slavin, Robert E. (9) Wert ausschließen Alpuente, María (8) Wert ausschließen Etalle, Sandro (8) Wert ausschließen Fribourg, Laurent (8) Wert ausschließen Hermenegildo, Manuel (8) Wert ausschließen Lake, Cynthia (8) Wert ausschließen Radhakrishna, Arjun (8) Wert ausschließen Abdennadher, Slim (7) Wert ausschließen De Angelis, Emanuele (7) Wert ausschließen Deville, Yves (7) Wert ausschließen Foster, Jeffrey S. (7) Wert ausschließen Giesl, Jürgen (7) Wert ausschließen Gupta, Gopal (7) Wert ausschließen Hanus, Michael (7) Wert ausschließen Junges, Sebastian (7) Wert ausschließen Manna, Zohar (7) Wert ausschließen Schneider-Kamp, Peter (7) Wert ausschließen Sergey, Ilya (7) Wert ausschließen Stuckey, Peter J. (7) Wert ausschließen Tiwari, Ashish (7) Wert ausschließen World Bank (7) Wert ausschließen Antoy, Sergio (6) Wert ausschließen Christiansen, Henning (6) Wert ausschließen Escobar, Santiago (6) Wert ausschließen Gómez-Zamalloa, Miguel (6) Wert ausschließen Lee, Woosuk (6) Wert ausschließen Schrijvers, Tom (6) Wert ausschließen Steffen, Bernhard (6) Wert ausschließen Tseitlin, G. E. (6) Wert ausschließen Waldinger, Richard (6) Wert ausschließen Češka, Milan (6) Wert ausschließen Alur, Rajeev (5) Wert ausschließen Andriushchenko, Roman (5) Wert ausschließen Attie, Paul C. (5) Wert ausschließen Bodik, Rastislav (5) Wert ausschließen Cocco, Nicoletta (5) Wert ausschließen Frühwirth, Thom (5) Wert ausschließen Glück, Robert (5) Wert ausschließen Insa, David (5) Wert ausschließen Lopez-Garcia, Pedro (5) Wert ausschließen Lucas, Salvador (5) Wert ausschließen Martens, Bern (5) Wert ausschließen Mesnard, Fred (5) Wert ausschließen Morales, José F. (5) Wert ausschließen Nishida, Naoki (5) Wert ausschließen Peleg, Hila (5) Wert ausschließen Poulter, Benjamin (5) Wert ausschließen Richardson, Julian (5) Wert ausschließen Rossi, Sabina (5) Wert ausschließen Samanta, Roopsha (5) Wert ausschließen Schaefer, Kevin (5) Wert ausschließen Singh, Rishabh (5) Wert ausschließen Tamarit, Salvador (5) Wert ausschließen Tian, Hanqin (5) Wert ausschließen Verbeeck, Hans (5) Wert ausschließen Wang, Xinyu (5) Wert ausschließen Wassarman, Paul M. (5) Wert ausschließen Albarghouthi, Aws (4) Wert ausschließen Arain, M. Altaf (4) Wert ausschließen Bastani, Osbert (4) Wert ausschließen Batz, Kevin (4) Wert ausschließen Bonakdarpour, Borzoo (4) Wert ausschließen Brogi, Antonio (4) Wert ausschließen Chaudhuri, Swarat (4) Wert ausschließen Ciais, Philippe (4) Wert ausschließen Comini, Marco (4) Wert ausschließen David, Cristina (4) Wert ausschließen Drabent, Włodzimierz (4) Wert ausschließen Dyer, James E. (4) Wert ausschließen Falaschi, Moreno (4) Wert ausschließen Fedyukovich, Grigory (4) Wert ausschließen Ferrari, Mauro (4) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (439) Wert ausschließen Springer International Publishing (CrossRef) (211) Wert ausschließen Verbunddaten SWB (122) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (87) Wert ausschließen Elsevier BV (CrossRef) (87) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (81) Wert ausschließen BASE - Bielefeld Academic Search Engine (66) Wert ausschließen Wiley (CrossRef) (55) Wert ausschließen Lizenzfreie Online-Ressourcen (46) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (42) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (38) Wert ausschließen Open Publishing Association (CrossRef) (26) Wert ausschließen Springer Nature Switzerland (CrossRef) (22) Wert ausschließen American Chemical Society (ACS) (CrossRef) (20) Wert ausschließen Informa UK Limited (CrossRef) (17) Wert ausschließen SAGE Publications (CrossRef) (16) Wert ausschließen Acoustical Society of America (ASA) (CrossRef) (12) Wert ausschließen DOAJ Directory of Open Access Journals (12) Wert ausschließen Diss online (11) Wert ausschließen Oxford University Press (OUP) (CrossRef) (10) Wert ausschließen Biophysical Society of Japan (CrossRef) (9) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (8) Wert ausschließen IOP Publishing (CrossRef) (7) Wert ausschließen JSTOR Life Sciences Archive (7) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (7) Wert ausschließen SPIE (CrossRef) (7) Wert ausschließen American Educational Research Association (AERA) (CrossRef) (6) Wert ausschließen International Union of Crystallography (IUCr) (CrossRef) (6) Wert ausschließen MDPI AG (CrossRef) (6) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (6) Wert ausschließen American Astronomical Society (CrossRef) (5) Wert ausschließen Frontiers Media SA (CrossRef) (5) Wert ausschließen theses.fr (5) Wert ausschließen AIP Publishing (CrossRef) (4) Wert ausschließen American Association for Agricultural Education (CrossRef) (4) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (4) Wert ausschließen American Society for Clinical Investigation (CrossRef) (4) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (4) Wert ausschließen Copernicus GmbH (CrossRef) (4) Wert ausschließen IOS Press (CrossRef) (4) Wert ausschließen JMIR Publications Inc. (CrossRef) (4) Wert ausschließen Eldorado - Repositorium der TU Dortmund (3) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (3) Wert ausschließen JSTOR (CrossRef) (3) Wert ausschließen JSTOR Arts & Sciences II Archive (3) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (3) Wert ausschließen Scientific publications of the Saarland University (UdS) (3) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (3) Wert ausschließen ASME International (CrossRef) (2) Wert ausschließen Allerton Press (CrossRef) (2) Wert ausschließen American Society for Microbiology (CrossRef) (2) Wert ausschließen American Society of Hematology (CrossRef) (2) Wert ausschließen Canadian Science Publishing (CrossRef) (2) Wert ausschließen ETH Zürich Research Collection (2) Wert ausschließen Euroasian Scientific and Industrial Chamber, Ltd. (CrossRef) (2) Wert ausschließen FSAEIHE South Ural State University (National Research University) (CrossRef) (2) Wert ausschließen Hindawi Limited (CrossRef) (2) Wert ausschließen Information Processing Society of Japan (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences I Archive (2) Wert ausschließen JSTOR Health & General Sciences (2) Wert ausschließen JSTOR Mathematics & Statistics (2) Wert ausschließen Knowledge E DMCC (CrossRef) (2) Wert ausschließen Korean Institute of Information Scientists and Engineers (CrossRef) (2) Wert ausschließen Nova Southeastern University (CrossRef) (2) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (2) Wert ausschließen Rockefeller University Press (CrossRef) (2) Wert ausschließen Springer New York (CrossRef) (2) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (2) Wert ausschließen University of Toronto Press Inc. (UTPress) (CrossRef) (2) Wert ausschließen ACM (CrossRef) (1) Wert ausschließen AI Access Foundation (CrossRef) (1) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (1) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen American Psychological Association (APA) (CrossRef) (1) Wert ausschließen American Public Health Association (CrossRef) (1) Wert ausschließen American Research Institute for Policy Development (CrossRef) (1) Wert ausschließen American Society for Cell Biology (ASCB) (CrossRef) (1) Wert ausschließen American Society for Horticultural Science (CrossRef) (1) Wert ausschließen Annual Reviews (CrossRef) (1) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Brock University Library (CrossRef) (1) Wert ausschließen CMA Impact Inc. (CrossRef) (1) Wert ausschließen CMV Verlag (CrossRef) (1) Wert ausschließen CSIRO Publishing (CrossRef) (1) Wert ausschließen Centre for Evaluation in Education and Science (CEON/CEES) (CrossRef) (1) Wert ausschließen Division of Chemical Information and Computer Sciences (CrossRef) (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Edicions de la Universitat de Barcelona (CrossRef) (1) Wert ausschließen Edith Cowan University (CrossRef) (1) Wert ausschließen Estonian Academy Publishers (CrossRef) (1) Wert ausschließen Fund Science and Culture Support Centre (CrossRef) (1) Wert ausschließen Future Science Ltd (CrossRef) (1) Wert ausschließen IST Austria Research Explorer (Institute of Science and Technology) (1) Wert ausschließen IWA Publishing (CrossRef) (1) Wert ausschließen Informing Science Institute (CrossRef) (1) Wert ausschließen Institute of Image Information and Television Engineers (CrossRef) (1) Wert ausschließen Intellect (CrossRef) (1) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences III Archive (1) Wert ausschließen JSTOR Music Archive (1) Wert ausschließen zeige weitere weniger zeigen