Zum Inhalt springen Molitor, Paul [VerfasserIn]; Scholl, Christoph [VerfasserIn] Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiesbaden: Springer Fachmedien GmbH, 1999 ; Stuttgart; Leipzig: Teubner, 1999 Erschienen in: Leitfäden der Informatik Schoppa, Irenäus [VerfasserIn] Synthese von Registertransferstrukturen auf Basis konventioneller Programmiersprachen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1998 Cortadella, Jordi [Sonstige Person, Familie und Körperschaft] Logic synthesis for asynchronous controllers and interfaces 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: Advanced microelectronics ; 8 Sasao, Tsutomu [VerfasserIn] Switching theory for logic synthesis - [2. print.] 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 Publishers, 2000 Al-Rabadi, Anas N. [VerfasserIn] Reversible logic synthesis : from fundamentals to quantum computing 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: Engineering: online library Eikerling, Heinz-Josef [VerfasserIn] Optimierung digitaler Schaltungen durch Partitionierung und Resynthese - [Als Ms. gedr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Shaker, 1997 Erschienen in: Berichte aus der Informatik Corey, E. J. [VerfasserIn]; Kürti, László [VerfasserIn] Enantioselective chemical synthesis : methods, logic and practice Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dallas, TX: Direct Book Publishing, 2010 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 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 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 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 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 Bringmann, Oliver [VerfasserIn]; Lange, Walter [VerfasserIn]; Bogdan, Martin [VerfasserIn] ; De Gruyter Oldenbourg Eingebettete Systeme : Entwurf, Modellierung und Synthese - [3., durchgesehene und überarbeitete Auflage] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Boston: De Gruyter Oldenbourg, 2018 Erschienen in: De Gruyter Studium Lange, Walter [VerfasserIn]; Bogdan, Martin [VerfasserIn] Entwurf und Synthese von eingebetteten Systhemen : ein Lehrbuch Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München: Oldenbourg Verl., 2013 Langer, Jan [VerfasserIn] High-Level-Synthese von Operationseigenschaften Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Chemnitz: Universitätsverlag Chemnitz, 2011 Ihmor, Stefan [VerfasserIn]; Flade, Marcel [VerfasserIn] ; Technische Universität Chemnitz Rekonfigurierbare Schnittstellen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: TUDpress, 2005 Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 1 Sharp, Richard [VerfasserIn]; Sharp, Richard William [VerfasserIn] Higher-level hardware synthesis 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 ; 2963
Molitor, Paul [VerfasserIn]; Scholl, Christoph [VerfasserIn] Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiesbaden: Springer Fachmedien GmbH, 1999 ; Stuttgart; Leipzig: Teubner, 1999 Erschienen in: Leitfäden der Informatik
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schoppa, Irenäus [VerfasserIn] Synthese von Registertransferstrukturen auf Basis konventioneller Programmiersprachen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1998
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cortadella, Jordi [Sonstige Person, Familie und Körperschaft] Logic synthesis for asynchronous controllers and interfaces 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: Advanced microelectronics ; 8
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sasao, Tsutomu [VerfasserIn] Switching theory for logic synthesis - [2. print.] 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 Publishers, 2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Al-Rabadi, Anas N. [VerfasserIn] Reversible logic synthesis : from fundamentals to quantum computing 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: Engineering: online library
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Eikerling, Heinz-Josef [VerfasserIn] Optimierung digitaler Schaltungen durch Partitionierung und Resynthese - [Als Ms. gedr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Shaker, 1997 Erschienen in: Berichte aus der Informatik
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Corey, E. J. [VerfasserIn]; Kürti, László [VerfasserIn] Enantioselective chemical synthesis : methods, logic and practice Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dallas, TX: Direct Book Publishing, 2010
> 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.
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.
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.
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.
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.
Bringmann, Oliver [VerfasserIn]; Lange, Walter [VerfasserIn]; Bogdan, Martin [VerfasserIn] ; De Gruyter Oldenbourg Eingebettete Systeme : Entwurf, Modellierung und Synthese - [3., durchgesehene und überarbeitete Auflage] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Boston: De Gruyter Oldenbourg, 2018 Erschienen in: De Gruyter Studium
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lange, Walter [VerfasserIn]; Bogdan, Martin [VerfasserIn] Entwurf und Synthese von eingebetteten Systhemen : ein Lehrbuch Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München: Oldenbourg Verl., 2013
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Langer, Jan [VerfasserIn] High-Level-Synthese von Operationseigenschaften Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Chemnitz: Universitätsverlag Chemnitz, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ihmor, Stefan [VerfasserIn]; Flade, Marcel [VerfasserIn] ; Technische Universität Chemnitz Rekonfigurierbare Schnittstellen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: TUDpress, 2005 Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 1
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sharp, Richard [VerfasserIn]; Sharp, Richard William [VerfasserIn] Higher-level hardware synthesis 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 ; 2963
> 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.364) Wert ausschließen Bücher (203) Wert ausschließen Konferenzberichte (25) Wert ausschließen Hochschulschriften (13) Wert ausschließen Videos (2) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (23) Wert ausschließen Magazinbestellung (46) Wert ausschließen Verfügbarkeit vor Ort erfragen (5) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (56) Wert ausschließen Zentralbibliothek (14) Wert ausschließen Bestand der TU Dresden (8) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (5) Wert ausschließen Urheberrechtsschutz (4) Wert ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (2) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (2) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (279) Wert ausschließen Eingeschränkter Zugang (3) Wert ausschließen Ohne Angabe (1.254) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (949) Wert ausschließen Englisch (618) Wert ausschließen Deutsch (33) Wert ausschließen Chinesisch (5) Wert ausschließen Russisch (3) Wert ausschließen Französisch (1) Wert ausschließen Ndonga (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Mathematik (381) Wert ausschließen Informatik (365) Wert ausschließen Technik (343) Wert ausschließen Physik (215) Wert ausschließen Philosophie (66) Wert ausschließen Chemie und Pharmazie (32) Wert ausschließen Medizin (13) Wert ausschließen Allgemeines (12) Wert ausschließen Wirtschaftswissenschaften (11) Wert ausschließen Biologie (9) Wert ausschließen Geographie (6) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (4) Wert ausschließen Geschichte (4) Wert ausschließen Psychologie (4) Wert ausschließen Soziologie (4) Wert ausschließen Kunst und Kunstgeschichte (3) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (2) Wert ausschließen Pädagogik (2) Wert ausschließen Rechtswissenschaft (2) Wert ausschließen Theologie und Religionswissenschaft (2) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (1) Wert ausschließen Politologie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Proietti, Maurizio (19) Wert ausschließen Vidal, Germán (19) Wert ausschließen Leuschel, Michael (17) Wert ausschließen Pettorossi, Alberto (17) Wert ausschließen Kania, Dariusz (16) Wert ausschließen Bossi, Annalisa (15) Wert ausschließen Flener, Pierre (14) Wert ausschließen Vanhoof, Wim (14) Wert ausschließen Albert, Elvira (13) Wert ausschließen Gallagher, John P. (13) Wert ausschließen Hermenegildo, Manuel V. (13) Wert ausschließen Lau, Kung-Kiu (13) Wert ausschließen Ornaghi, Mario (13) Wert ausschließen De Schreye, Danny (12) Wert ausschließen Puebla, Germán (12) Wert ausschließen Fernández, Maribel (11) Wert ausschließen Bruynooghe, Maurice (10) Wert ausschließen De Micheli, Giovanni (10) Wert ausschließen Drechsler, Rolf (10) Wert ausschließen Fioravanti, Fabio (10) Wert ausschließen King, Andy (10) Wert ausschließen Meseguer, José (10) Wert ausschließen Pawlak, Zdzisław (9) Wert ausschließen Seki, Hirohisa (9) Wert ausschließen Silva, Josep (9) Wert ausschließen Wille, Robert (9) Wert ausschließen Alpuente, María (8) Wert ausschließen Baran, Phil S. (8) Wert ausschließen Etalle, Sandro (8) Wert ausschließen Hermenegildo, Manuel (8) Wert ausschließen Abdennadher, Slim (7) Wert ausschließen Deville, Yves (7) Wert ausschließen Giesl, Jürgen (7) Wert ausschließen Gupta, Gopal (7) Wert ausschließen Hanus, Michael (7) Wert ausschließen Rehof, Jakob (7) Wert ausschließen Schneider-Kamp, Peter (7) Wert ausschließen Soeken, Mathias (7) Wert ausschließen Topcu, Ufuk (7) Wert ausschließen Antoy, Sergio (6) Wert ausschließen Brayton, Robert K. (6) Wert ausschließen Christiansen, Henning (6) Wert ausschließen Escobar, Santiago (6) Wert ausschließen Fribourg, Laurent (6) Wert ausschließen Glück, Robert (6) Wert ausschließen Gómez-Zamalloa, Miguel (6) Wert ausschließen Milik, Adam (6) Wert ausschließen Mishchenko, Alan (6) Wert ausschließen Nelson, Raymond J. (6) Wert ausschließen Schrijvers, Tom (6) Wert ausschließen Stuckey, Peter J. (6) Wert ausschließen Szeptycki, Paweł (6) Wert ausschließen Bogdan, Martin (5) Wert ausschließen Chen, Hanwu (5) Wert ausschließen Cocco, Nicoletta (5) Wert ausschließen Comini, Marco (5) Wert ausschließen De Angelis, Emanuele (5) Wert ausschließen Devadas, S. (5) Wert ausschließen Frühwirth, Thom (5) Wert ausschließen Gaillardon, Pierre-Emmanuel (5) Wert ausschließen Insa, David (5) Wert ausschließen Kubica, Marcin (5) Wert ausschließen Kulisz, Józef (5) Wert ausschließen Lange, Walter (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 Pedram, Massoud (5) Wert ausschließen Perkowski, Marek (5) Wert ausschließen Richardson, Julian (5) Wert ausschließen Rossi, Sabina (5) Wert ausschließen Roy, Kaushik (5) Wert ausschließen Singh, Ashutosh Kumar (5) Wert ausschließen Tamarit, Salvador (5) Wert ausschließen Bojinov, Vladimir B. (4) Wert ausschließen Brogi, Antonio (4) Wert ausschließen Ciriani, Valentina (4) Wert ausschließen Constantinides, George A. (4) Wert ausschließen Corey, E. J. (4) Wert ausschließen Datta, Kamalika (4) Wert ausschließen Dietmeyer, D.L. (4) Wert ausschließen Drabent, Włodzimierz (4) Wert ausschließen Düdder, Boris (4) Wert ausschließen Falaschi, Moreno (4) Wert ausschließen Ferrari, Mauro (4) Wert ausschließen Finkbeiner, Bernd (4) Wert ausschließen Fuchs, Norbert E. (4) Wert ausschließen Georgiev, Nikolai I. (4) Wert ausschließen Gutekunst, Will R. (4) Wert ausschließen Gutiérrez, Raúl (4) Wert ausschließen Hartenstein, Reiner W. (4) Wert ausschließen Hu, Zhenjiang (4) Wert ausschließen Jiang, Jie-Hong R. (4) Wert ausschließen Komendantskaya, Ekaterina (4) Wert ausschließen Momigliano, Alberto (4) Wert ausschließen Peña, Ricardo (4) Wert ausschließen Piazza, Carla (4) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (459) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (213) Wert ausschließen Springer International Publishing (CrossRef) (177) Wert ausschließen Verbunddaten SWB (162) Wert ausschließen Elsevier BV (CrossRef) (99) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (56) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (49) Wert ausschließen BASE - Bielefeld Academic Search Engine (47) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (35) Wert ausschließen Wiley (CrossRef) (33) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (25) Wert ausschließen Lizenzfreie Online-Ressourcen (22) Wert ausschließen Informa UK Limited (CrossRef) (20) Wert ausschließen Springer Nature Switzerland (CrossRef) (16) Wert ausschließen Diss online (12) Wert ausschließen American Chemical Society (ACS) (CrossRef) (11) Wert ausschließen DOAJ Directory of Open Access Journals (11) Wert ausschließen Oxford University Press (OUP) (CrossRef) (11) Wert ausschließen Hindawi Limited (CrossRef) (9) Wert ausschließen MDPI AG (CrossRef) (9) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (8) Wert ausschließen SPIE (CrossRef) (8) Wert ausschließen IOP Publishing (CrossRef) (7) Wert ausschließen Foundation of Computer Science (CrossRef) (6) Wert ausschließen JSTOR Arts & Sciences I Archive (6) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (6) Wert ausschließen Open Publishing Association (CrossRef) (6) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (5) Wert ausschließen JSTOR Arts & Sciences II Archive (5) Wert ausschließen JSTOR Mathematics & Statistics (5) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (5) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (5) Wert ausschließen theses.fr (5) Wert ausschließen AIP Publishing (CrossRef) (4) Wert ausschließen Author(s) (CrossRef) (4) Wert ausschließen Eldorado - Repositorium der TU Dortmund (4) Wert ausschließen SAGE Publications (CrossRef) (4) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (4) Wert ausschließen VSB - Technical University of Ostrava (CrossRef) (4) Wert ausschließen AIP Publishing LLC (CrossRef) (3) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (3) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (3) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (3) Wert ausschließen Springer New York (CrossRef) (3) Wert ausschließen ACM (CrossRef) (2) Wert ausschließen ACM Press (CrossRef) (2) Wert ausschließen ASTES Journal (CrossRef) (2) Wert ausschließen Beilstein Institut (CrossRef) (2) Wert ausschließen EJournal Publishing (CrossRef) (2) Wert ausschließen ETH Zürich Research Collection (2) Wert ausschließen Elsevier (CrossRef) (2) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (2) Wert ausschließen IEEE (CrossRef) (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (2) Wert ausschließen Institute of Knowledge Management (CrossRef) (2) Wert ausschließen JSTOR Life Sciences Archive (2) Wert ausschließen Japan Society of Mechanical Engineers (CrossRef) (2) Wert ausschließen National Institute for Health and Care Research (CrossRef) (2) Wert ausschließen National Library of Serbia (CrossRef) (2) Wert ausschließen Odessa Polytechnic National University (CrossRef) (2) Wert ausschließen Qucosa (2) Wert ausschließen University of Chicago Press (CrossRef) (2) Wert ausschließen ACTA Press (CrossRef) (1) Wert ausschließen ASME International (CrossRef) (1) Wert ausschließen Academy and Industry Research Collaboration Center (AIRCC) (CrossRef) (1) Wert ausschließen Acoustical Society of America (ASA) (CrossRef) (1) Wert ausschließen Allerton Press (CrossRef) (1) Wert ausschließen American Institute of Aeronautics and Astronautics (AIAA) (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen Bangladesh Journals Online (JOL) (CrossRef) (1) Wert ausschließen CMV Verlag (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen China Science Publishing & Media Ltd. (CrossRef) (1) Wert ausschließen Clute Institute (CrossRef) (1) Wert ausschließen Copernicus GmbH (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen ESRSA Publications Pvt. Ltd. (CrossRef) (1) Wert ausschließen Emerald (CrossRef) (1) Wert ausschließen FSAEIHE South Ural State University (National Research University) (CrossRef) (1) Wert ausschließen IGI Global (CrossRef) (1) Wert ausschließen ITMO University (CrossRef) (1) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (1) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (1) Wert ausschließen International Journal for Research in Applied Science and Engineering Technology (IJRASET) (CrossRef) (1) Wert ausschließen JSTOR (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences VII Archive (1) Wert ausschließen JSTOR Arts & Sciences XV Archive (1) Wert ausschließen JSTOR Health & General Sciences (1) Wert ausschließen Japanese Society for Artificial Intelligence (CrossRef) (1) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (1) Wert ausschließen Korea Institute of Information and Communication Engineering (Nurimedia) (CrossRef) (1) Wert ausschließen Kryvyi Rih National University (CrossRef) (1) Wert ausschließen Linköping University Electronic Press (CrossRef) (1) Wert ausschließen MECS Publisher (CrossRef) (1) Wert ausschließen Medical Association of Pharmacopuncture Institute (CrossRef) (1) Wert ausschließen National Aviation University (CrossRef) (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen PIAP - Industrial Research Institute for Automation and Measurements (CrossRef) (1) Wert ausschließen PeerJ (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen