Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 8847 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
161.
Semantics-directed compiler generation proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980 ; [Workshop on Semantics-Directed Compiler Generation] ed. by Neil D. Jones von Reihen: ; 9400 | Lecture notes in computer science ; 94
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
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 94 1.Ex.
Vormerken Zum Korb hinzufügen
162.
Methods for solving systems of nonlinear equations [expanded version of the invited lectures ...´presented at the NSF-CBMS Regional Conference on "The Numerical Solution of Nonlinear Algebraic Systems," which was held July 10 - 14, 1972, at the University of Pittsburgh] Werner C. Rheinboldt von Reihen: ; 14 | Regional conference series in applied mathematics ; 14
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Philadelphia, Pa. Soc. for Industrial and Applied Mathematics 1974
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) CBMS 14, ...
Vormerken Zum Korb hinzufügen
163.
Simulation und Modellbildung mit dem Computer im Unterricht Beiträge zur ACU-Tagung 1/1978 am 16. und 17. März 1978 an der Eberhard-Karls-Universität Tübingen [Arbeitskreis Computer-Unterstützter Unterricht]. Hartmut Simon (Hrsg.) von Reihen: ; 1 | Arbeitskreis Computer im Unterricht Beiträge zur ACU-Tagung ; 1978,0001,00 | Neue Lernverfahren ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Grafenau 1/Württ. Lexika-Verlag 1978
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) SIM h2 1978:1 1.Ex.
Vormerken Zum Korb hinzufügen
164.
165.
Language design and programming methodology proceedings of a symposium, held in Sydney, Australia, 10 - 11 September, 1979 ed. by Jeffrey M. Tobias von Reihen: ; 7900 | Lecture notes in computer science ; 79
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
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 79 1.Ex.
Vormerken Zum Korb hinzufügen
166.
Formale Modelle für Informationssysteme GI-Fachtagung, 24. - 26. Mai 1979, Tutzing hrsg. von H. C. Mayr ... von Reihen: ; 21 | Informatik-Fachberichte ; 21
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1979
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) IFB 21 1.Ex.
Vormerken Zum Korb hinzufügen
167.
Textverarbeitung und Informatik Fachtagung der GI Bayreuth, 28.-30. Mai 1980 hrsg. von Peter R. Wossidlo von Reihen: ; 30 | Informatik-Fachberichte ; 30
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin, Heidelberg [usw.] Springer 1980
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 30 1.Ex.
Vormerken Zum Korb hinzufügen
168.
A relational theory of computing John G. Sanderson von Reihen: ; 8200 | Lecture notes in computer science ; 82
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
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 82.
Vormerken Zum Korb hinzufügen
169.
CAD-Fachgespräch GI, 10. Jahrestagung, Saarbrücken, 30. Sept. - 2. Okt. 1980 hrsg. von R. Wilhelm von Reihen: ; 10,2 | Gesellschaft für Informatik GI-Jahrestagung ; 10,2 | Informatik-Fachberichte ; 34
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin [u.a.] Springer 1980
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 34 1.Ex.
Vormerken Zum Korb hinzufügen
170.
Computer programs for spelling correction an experiment in program design James L. Peterson von Reihen: ; 9600 | Lecture notes in computer science ; 96
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
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 96.
Vormerken Zum Korb hinzufügen
171.
Directions in human factors for interactive systems Henry Ledgard; Andrew Singer; John Whiteside von Reihen: ; 103 | Lecture notes in computer science ; 103
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1981
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 103.
Vormerken Zum Korb hinzufügen
172.
The adaptation of virtual man-computer interfaces to user requirements in dialogs Waltraud Dehning; Heidrun Essig; Susanne Maass von Reihen: ; 11000 | Lecture notes in computer science ; 110
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1981
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 110.
Vormerken Zum Korb hinzufügen
173.
Formelsammlung zur numerischen Mathematik von Gisela Engeln-Müllges (früher Jordan-Engeln) u. Fritz Reutter von Reihen: ; 106,3 | BI-Hochschultaschenbücher ; 106,3
Auflage: 3., überarb. u. erw. Aufl. mit e. Anh. Standard-FORTRAN-Programme von Dieter Axmacher ...
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Mannheim [u.a.] Bibliograph. Institut 1981
Weitere Titel:
  • Standard-FORTRAN-Programme
  • Axmacher, Dieter: Standard-Fortran-Programme
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) JOR g 1981:1 1.Ex.
Vormerken Zum Korb hinzufügen
174.
CLU reference manual Barbara Liskov ... von Reihen: ; 11400 | Lecture notes in computer science ; 114
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1981
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 114.
Vormerken Zum Korb hinzufügen
175.
Algorithms in modern mathematics and computer science proceedings, Urgench, Uzbek SSR, September 16 - 22, 1979 ed. by A. P. Ershov ... von Reihen: ; 12200 | Lecture notes in computer science ; 122
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 1981
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 122.
Vormerken Zum Korb hinzufügen
176.
An analytical description of CHILL, the CCITT high level language Paul Branquart; Georges Louis; Pierre Wodon von Reihen: ; 12800 | Lecture notes in computer science ; 128
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
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 128.
Vormerken Zum Korb hinzufügen
177.
Mathematical logic in computer science Colloquium on Mathematical Logic in computer science, in Salgótarján between 10 - 15 September, 1978. ed. by B. Dömölki ... von Reihen: ; 26 | Bolyai János Matematikai Társulat Colloquia mathematica Societatis János Bolyai ; 26 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland Publ. Company 1981
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) BOLYAI 26.
Vormerken Zum Korb hinzufügen
178.
Verifying concurrent processes using temporal logic Brent T. Hailpern von Reihen: ; 12900 | Lecture notes in computer science ; 129
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
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 129.
Vormerken Zum Korb hinzufügen
179.
Alternating sequential/parallel processing Y. Wallach von Reihen: ; 12700 | Lecture notes in computer science ; 127
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
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 127.
Vormerken Zum Korb hinzufügen
180.
Program specification proceedings of a Workshop, Aarhus, Denmark, August 1981 ed. by J. Staunstrup von Reihen: ; 13400 | Lecture notes in computer science ; 134
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
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 134.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha