Zum Inhalt springen Malik, Robi [VerfasserIn] Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen - [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, 1998 Erschienen in: Berichte aus der Informatik 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 Burghardt, Jochen [VerfasserIn] Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion 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; Wien: Oldenbourg, 1993 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212 Bauer, Friedrich L. [Sonstige Person, Familie und Körperschaft] ; Technische Universität München CIP Language Group The Munich project CIP 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, 19XX- Erschienen in: Lecture notes in computer science ; . 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 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 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 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 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 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 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 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 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 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 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 Taha, Walid [HerausgeberIn] ; SAIG 2 2001 Florenz Semantics, applications, and implementation of program generation : second international workshop ; 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 [u.a.]: Springer, 2001 Erschienen in: Lecture notes in computer science ; 2196 Bertran, Miquel [HerausgeberIn] ; International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software 4 1997 Palma de Mallorca Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 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; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997 Erschienen in: Lecture notes in computer science ; 1231 Wismüller, Roland [VerfasserIn] Quellsprachorientiertes Debugging von optimierten Programmen - [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, 1995 Erschienen in: Berichte aus der Informatik
Malik, Robi [VerfasserIn] Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen - [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, 1998 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.
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.
Burghardt, Jochen [VerfasserIn] Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion 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; Wien: Oldenbourg, 1993 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bauer, Friedrich L. [Sonstige Person, Familie und Körperschaft] ; Technische Universität München CIP Language Group The Munich project CIP 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, 19XX- Erschienen in: Lecture notes in computer science ; .
> 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Taha, Walid [HerausgeberIn] ; SAIG 2 2001 Florenz Semantics, applications, and implementation of program generation : second international workshop ; 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 [u.a.]: Springer, 2001 Erschienen in: Lecture notes in computer science ; 2196
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bertran, Miquel [HerausgeberIn] ; International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software 4 1997 Palma de Mallorca Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 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; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997 Erschienen in: Lecture notes in computer science ; 1231
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wismüller, Roland [VerfasserIn] Quellsprachorientiertes Debugging von optimierten Programmen - [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, 1995 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.
> Medientyp Skip to next facet Bücher (140) Wert ausschließen Hochschulschriften (5) Wert ausschließen Aufsätze (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (3) Wert ausschließen Magazinbestellung (51) Wert ausschließen Verfügbarkeit vor Ort erfragen (3) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (54) Wert ausschließen Zentralbibliothek (4) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (2) Wert ausschließen Urheberrechtsschutz (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (31) Wert ausschließen Ohne Angabe (56) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (112) Wert ausschließen Deutsch (34) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (93) Wert ausschließen Mathematik (36) Wert ausschließen Technik (8) Wert ausschließen Wirtschaftswissenschaften (2) Wert ausschließen Geographie (1) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (1) Wert ausschließen Soziologie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Saraiva, João (7) Wert ausschließen Landhäußer, Mathias (6) Wert ausschließen Lämmel, Ralf (6) Wert ausschließen Visser, Joost (6) Wert ausschließen Bruynooghe, Maurice (5) Wert ausschließen Tichy, W. F. (5) Wert ausschließen Steffen, Bernhard (4) Wert ausschließen Bengeloune, Idriss (3) Wert ausschließen Bossi, Annalisa (3) Wert ausschließen Broy, Manfred (3) Wert ausschließen Giacobazzi, Roberto (3) Wert ausschließen Hoffmann, Berthold (3) Wert ausschließen Hutchison, David (3) Wert ausschließen Kanade, Takeo (3) Wert ausschließen Kittler, Josef (3) Wert ausschließen Kleinberg, Jon (3) Wert ausschließen Krieg-Brückner, Bernd (3) Wert ausschließen Mattern, Friedemann (3) Wert ausschließen Mitchell, John C. (3) Wert ausschließen Naor, Moni (3) Wert ausschließen Nierstrasz, Oscar (3) Wert ausschließen Pandu Rangan, C. (3) Wert ausschließen Schmid, Ute (3) Wert ausschließen Sudan, Madhu (3) Wert ausschließen Terzopoulos, Demetri (3) Wert ausschließen Tygar, Doug (3) Wert ausschließen Vardi, Moshe Y. (3) Wert ausschließen Weikum, Gerhard (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Barthe, Gilles (2) Wert ausschließen Bertran, Miquel (2) Wert ausschließen Biundo, Susanne (2) Wert ausschließen Cousot, Radhia (2) Wert ausschließen Danvy, Olivier (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Etalle, Sandro (2) Wert ausschließen Flener, Pierre (2) Wert ausschließen Fuchs, Norbert E. (2) Wert ausschließen Hankin, Chris (2) Wert ausschließen Hanus, Michael (2) Wert ausschließen Hermenegildo, Manuel V. (2) Wert ausschließen Hill, Patricia M. (2) Wert ausschließen Hu, Zhenjiang (2) Wert ausschließen Jürgensen, Claus (2) Wert ausschließen King, Andy (2) Wert ausschließen Knoop, Jens (2) Wert ausschließen Kobayashi, Naoki (2) Wert ausschließen Krellner, Björn (2) Wert ausschließen Lau, Kung-Kiu (2) Wert ausschließen Leroy, Xavier (2) Wert ausschließen Mogensen, Torben Æ (2) Wert ausschließen Ohori, Atsushi (2) Wert ausschließen Pettorossi, Alberto (2) Wert ausschließen Puebla, Germán (2) Wert ausschließen Rehof, Jakob (2) Wert ausschließen Rüthing, Oliver (2) Wert ausschließen Sands, David (2) Wert ausschließen Shao, Zhong (2) Wert ausschließen Siveroni, Igor (2) Wert ausschließen Taha, Walid (2) Wert ausschließen Vollmer, Jürgen (2) Wert ausschließen Weigelt, Sebastian (2) Wert ausschließen Yang, Hongseok (2) Wert ausschließen Zamulin, Alexandre V. (2) Wert ausschließen APLAS 4 2006 Sydney (1) Wert ausschließen APLAS 5 2007 Singapur (1) Wert ausschließen APLAS 7 2009 Seoul (1) Wert ausschließen APLAS 9 2011 Kending (1) Wert ausschließen Albert, Elvira (1) Wert ausschließen Bauer, Friedrich L. (1) Wert ausschließen Beierle, Christoph (1) Wert ausschließen Berndt, Jürgen (1) Wert ausschließen Biundo-Stephan, Susanne (1) Wert ausschließen Blazytko, Tim (1) Wert ausschließen Burghardt, Jochen (1) Wert ausschließen Chin, Wei-Ngan (1) Wert ausschließen Collard, Jean-François (1) Wert ausschließen Cousot, Patrick (1) Wert ausschließen Darte, Alain (1) Wert ausschließen De Schreye, Danny (1) Wert ausschließen DeSchreye, Danny (1) Wert ausschließen Deutschland Bundesministerium für Bildung und Forschung (1) Wert ausschließen Diehl, Stephan (1) Wert ausschließen Drangmeister, Robin (1) Wert ausschließen Dudenhefner, Andrej (1) Wert ausschließen Dybjer, Peter (1) Wert ausschließen ESOP 10 2001 Genua (1) Wert ausschließen ESOP 11 2002 Grenoble (1) Wert ausschließen ESOP 12 2003 Warschau (1) Wert ausschließen ETAPS 4 2001 Genua (1) Wert ausschließen ETAPS 5 2002 Grenoble (1) Wert ausschließen ETAPS 6 2003 Warschau (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Ehm, Thorsten (1) Wert ausschließen Eisenbiegler, Jörn (1) Wert ausschließen Fakultät für Elektrotechnik und Informationstechnik (1) Wert ausschließen Falaschi, Moreno (1) Wert ausschließen Ferber, Marvin (1) Wert ausschließen Fernandes, Joao M. (1) Wert ausschließen Fernandes, João M. (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (130) Wert ausschließen Lizenzfreie Online-Ressourcen (14) Wert ausschließen BASE - Bielefeld Academic Search Engine (9) Wert ausschließen Diss online (7) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (4) Wert ausschließen Scientific publications of the Saarland University (UdS) (3) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Qucosa (1) Wert ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (1) Wert ausschließen zeige weitere weniger zeigen