Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 63 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
21.
Compiler construction 18th international conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Oege de Moor; Michael I. Schwartzbach (eds.) von Reihen: ; 550100 | Lecture notes in computer science ; 5501
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12630653
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5501.
Vormerken Zum Korb hinzufügen
22.
Übersetzerbau ein kleiner Überblick Rubino Geiß; Sebastian Hack von Reihen: ; 2003,18 | Universität Karlsruhe (TH) Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 2003,18 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Karlsruhe Universität Karlsruhe, Fakultät für Informatik 2003
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) Karlsruhe UNI INF IB 2003-18.
Vormerken Zum Korb hinzufügen
23.
Contributions to mechanical proofs of correctness for compiler front ends Debora Weber-Wulff von Reihen: ; 9707 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9707 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1997
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss., 1996
Weitere Titel:
  • front-ends
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Kiel UNI INF MATH Nr. 9707.
Zum Korb hinzufügen
24.
Ein Modell zur Analyse programminhärenter Zusicherungen Walter Kirchgässner von Reihen: ; 173 | Gesellschaft für Mathematik und Datenverarbeitung Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 173 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: München Wien Oldenbourg 1988
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1988
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) St Augustin GMD Bericht (Nr. 173).
Vormerken Zum Korb hinzufügen
25.
Compiler construction 19th international conference, CC 2010, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Rajiv Gupta (ed.) von Reihen: ; 6011 | Lecture notes in computer science ; 6011
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80011031
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 6011.
Vormerken Zum Korb hinzufügen
26.
Compiler construction 22nd international conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Ranjit Jhala ... (eds.) von Reihen: ; 7791 | Lecture notes in computer science ; 7791
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86238854
Verlag: Berlin Heidelberg [u.a.] Springer 2013
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 7791.
Vormerken Zum Korb hinzufügen
27.
Ein Modell zur Generierung paralleler Attributauswerter Eduard Klein von Reihen: ; 197 | Gesellschaft für Mathematik und Datenverarbeitung Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 197 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: München Wien Oldenbourg 1991
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1991
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) St Augustin GMD Bericht (Nr. 197).
Vormerken Zum Korb hinzufügen
28.
Encapsulating tools into an EDA framework Olav Schettler von Reihen: ; 26600 | GMD-Forschungszentrum Informationstechnik GMD-Bericht ; 266 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: München Wien Oldenbourg 1996
Hochschulschriftenvermerk: Zugl.: Delft, Techn. Univ., Diss., 1995
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) St Augustin GMD Bericht (Nr. 266).
Vormerken Zum Korb hinzufügen
29.
Compiler construction 23rd international conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 ; proceedings Albert Cohen (ed.) von Reihen: ; 8409 | Lecture notes in computer science ; 8409
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86364591
Verlag: Berlin Heidelberg [u.a.] Springer 2014
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 8409.
Vormerken Zum Korb hinzufügen
30.
Compiler construction 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 ; proceedings Bjoern Franke (ed.) von Reihen: ; 9031 | Lecture notes in computer science ; 9031
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-46662-9
Verlag: Berlin Heidelberg [u.a.] Springer 2015
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 9031.
Vormerken Zum Korb hinzufügen
31.
Compiler construction an advanced course ed. by F. L. Bauer ... von Reihen: Springer study edition
Auflage: 2. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York Heidelberg [u.a.] Springer c 1976
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) BAU f 1976:1 1.Ex.
Vormerken Zum Korb hinzufügen
32.
Optimierungsfragen im Compilerbau Helmut Waldschmidt von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: München [u.a.] Hanser 1974
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) WAL e 1974:1 1.Ex.
Vormerken Zum Korb hinzufügen
33.
Compiler construction for digital computers David Gries von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York [u.a.] Wiley 1971
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (5)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GRI d 1971:1 5.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
34.
Principles of compiler design Alfred V. Aho; Jeffrey D. Ullman von Reihen: Addison-Wesley series in computer science and information processing
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Reading, Mass. [u.a.] Addison-Wesley 1977
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) AHO a 1977:1 5.Ex.
Vormerken Zum Korb hinzufügen
35.
Compiler construction William M. Waite; Gerhard Goos von Reihen: Texts and monographs in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York Berlin Heidelberg [u.a.] Springer 1984
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) WAI w 1984:1 1.Ex.
Vormerken Zum Korb hinzufügen
36.
Methods and tools for compiler construction an advanced course ed. by B. Lorho von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [Cambridgeshire] New York Cambridge University Press 1984
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LOR b 1984:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
37.
Crafting a compiler Charles N. Fischer; Richard J. LeBlanc von Reihen: The Benjamin/Cummings series in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Menlo Park, Calif. [u.a.] Benjamin Cummings 1988
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) FISch ch 1988:1 1.Ex.
Vormerken Zum Korb hinzufügen
38.
Compilers principles, techniques, and tools Alfred V. Aho; Ravi Sethi; Jeffrey D. Ullman von Reihen: Addison-Wesley series in computer science / World student series edition
Auflage: Reprinted, with corr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Reading, Mass. [u.a.] Addison-Wesley 1988
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AHO a 1988:4 3.Ex, ... Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
Vormerken Zum Korb hinzufügen
39.
Compilerbau am Beispiel der Programmiersprache SIMPL Klöppel ... von Reihen: Profi-Wissen
Auflage: 1. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Würzburg Vogel 1991
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) KLÖ b 1991:1 1.Ex.
Vormerken Zum Korb hinzufügen
40.
Übersetzerbau Theorie, Konstruktion, Generierung Reinhard Wilhelm; Dieter Maurer von Reihen: Springer-Lehrbuch
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (15)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) WIL r5 1992:1 16.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha