Campusbibliothek

Ihre Suche erzielte 51 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Herbert Stoyan von Reihen: ; 91 | Informatik-Fachberichte ; 91
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1984
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) IFB 91 1.Ex.
Vormerken Zum Korb hinzufügen
2.
Generierung domänenspezifischer Wissensrepräsentationssysteme und Transformation von Wissensbasen mit einer Anwendung in der Rechtsinformatik von Andreas Strasser von Reihen: ; 8 | Dissertationen zur künstlichen Intelligenz ; 8
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1992
Hochschulschriftenvermerk: Teilw. zugl.: München, Techn. Univ., Diss., 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 8, ...
Vormerken Zum Korb hinzufügen
3.
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 Miquel Bertran ... (eds.) von Reihen: ; 123100 | Lecture notes in computer science ; 1231
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo Springer 1997
Weitere Titel:
  • ARTS'97
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1231.
Vormerken Zum Korb hinzufügen
4.
Types in compilation second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Xavier Leroy ... (ed.) von Reihen: ; 147300 | Lecture notes in computer science ; 1473
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Weitere Titel:
  • TIC '98
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1473.
Vormerken Zum Korb hinzufügen
5.
Optimal interprocedural program optimization a new framework and its application Jens Knoop von Reihen: ; 142800 | Lecture notes in computer science ; 1428
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1428.
Vormerken Zum Korb hinzufügen
6.
Interacting code motion transformations their impact and their complexity Oliver Rüthing von Reihen: ; 153900 | Lecture notes in computer science ; 1539
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss., 1997
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1539.
Vormerken Zum Korb hinzufügen
7.
Logic-based program synthesis and transformation 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers Pierre Flener (ed.) von Reihen: ; 155900 | Lecture notes in computer science ; 1559
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • LOPSTR'98
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1559.
Vormerken Zum Korb hinzufügen
8.
Logic-based program synthesis and transformation 9th international workshop ; selected papers LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.) von Reihen: ; 181700 | Lecture notes in computer science ; 1817
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Springer 2000
Weitere Titel:
  • LOPSTR '99
  • logic-based
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1817.
Vormerken Zum Korb hinzufügen
9.
Programming languages and systems proceedings 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001. David Sands (ed.) von Reihen: ; 202800 | Lecture notes in computer science ; 2028
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • ESOP 2001, Joint European Conferences on Theory and Practice of Software, ETAPS 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2028.
Vormerken Zum Korb hinzufügen
10.
Programs as data objects second symposium, Aarhus, Denmark, May 21 - 23, 2001 ; proceedings PADO 2001. Olivier Danvy; Andrzej Filinski (eds.) von Reihen: ; 205300 | Lecture notes in computer science ; 2053
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • PADO 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2053.
Vormerken Zum Korb hinzufügen
11.
Logic based program synthesis and transformation 10th international workshop, London, UK, July 24 - 28, 2000 ; selected papers LOPSTR 2000. Kung-Kiu Lau (ed.) von Reihen: ; 204200 | Lecture notes in computer science ; 2042
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • LOPSTR 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2042.
Vormerken Zum Korb hinzufügen
12.
Static analysis 8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings SAS 2001. Patrick Cousot (ed.) von Reihen: ; 212600 | Lecture notes in computer science ; 2126
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • SAS 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2126.
Vormerken Zum Korb hinzufügen
13.
Semantics, applications, and implementation of program generation second international workshop ; proceedings SAIG 2001, Florence, Italy, September 6, 2001. Walid Taha (ed.) von Reihen: ; 219600 | Lecture notes in computer science ; 2196
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • SAIG 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2196.
Vormerken Zum Korb hinzufügen
14.
Programming languages and systems proceedings 11th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Daniel Le Métayer (ed.) von Reihen: ; 230500 | Lecture notes in computer science ; 2305
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2305.
Vormerken Zum Korb hinzufügen
15.
Logic based program synthesis and transformation 11th international workshop ; selected papers LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001. Alberto Pettorossi (ed.) von Reihen: ; 237200 | Lecture notes in computer science ; 2372
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • LOPSTR 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2372.
Vormerken Zum Korb hinzufügen
16.
Applied semantics international summer school ; advanced lectures APPSEM 2000, Caminha, Portugal, September 9 - 15, 2000, Gilles Barthe ... (ed.) von Reihen: ; 239500 | Lecture notes in computer science ; 2395
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • APPSEM 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2395.
Vormerken Zum Korb hinzufügen
17.
Static analysis 9th international symposium ; proceedings SAS 2002, Madrid, Spain, September 17 - 20, 2002. Manuel V. Hermenegildo ... (eds.) von Reihen: ; 247700 | Lecture notes in computer science ; 2477
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • SAS 2002
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2477.
Vormerken Zum Korb hinzufügen
18.
The essence of computation complexity, analysis, transformation ; essays dedicated to Neil D. Jones Torben Æ. Mogensen ... (ed.) von Reihen: ; 256600 | Lecture notes in computer science ; 2566
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2566.
Vormerken Zum Korb hinzufügen
19.
Programming languages and systems proceedings 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003. Pierpaolo Degano (ed.) von Reihen: ; 261800 | Lecture notes in computer science ; 2618
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2618.
Vormerken Zum Korb hinzufügen
20.
Static analysis 10th international symposium ; proceedings SAS 2003, San Diego, CA, June 11 - 13, 2003. Radhia Cousot (ed.) von Reihen: ; 269400 | Lecture notes in computer science ; 2694
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • SAS 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2694.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha