Campusbibliothek

Ihre Suche erzielte 140 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Specification and verification of hybrid and real-time systems Yassine Lakhneck von Reihen: ; 9609 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9609 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1996
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss.
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) Kiel UNI INF MATH Nr. 9609, ...
Vormerken Zum Korb hinzufügen
2.
Composite finite elements for the approximation of PDEs on domains with complicated micro-structures W. Hackbusch and S. A. Sauter von Reihen: ; 9505 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9505 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1995
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) Kiel UNI INF MATH Nr. 9505.
Vormerken Zum Korb hinzufügen
3.
A subspace decomposition twogrid method for hyperbolic equations Edgar Katzer von Reihen: ; 9218 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9218 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1992
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) Kiel UNI INF MATH Nr. 9218.
Vormerken Zum Korb hinzufügen
4.
FPS-AM eine abstrakte Maschine für funktionale Produktionssysteme; Speicherstrukturen, Maschinenbefehle und Übersetzung Kai Oesterle von Reihen: ; 9305 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9305 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1993
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss., 1992
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) Kiel UNI INF MATH Nr. 9305.
Vormerken Zum Korb hinzufügen
5.
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflußanalysegeneratoren Berichterstatter: Bernhard Steffen ... von Reihen: ; 9406 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9406 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1994
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) Kiel UNI INF MATH Nr. 9406.
Vormerken Zum Korb hinzufügen
6.
On the efficient use of the Galerkin method to solve Fredholm integral equations Wolfgang Hackbusch and Stefan A. Sauter von Reihen: ; 9219 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9219 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1992
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) Kiel UNI INF MATH Nr. 9219.
Vormerken Zum Korb hinzufügen
7.
On numerical cubatures of nearly singular surface integrals arising in BEM collocation W. Hackbusch and S. A. Sauter von Reihen: ; 9308 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9308 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1993
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) Kiel UNI INF MATH Nr. 9308.
Vormerken Zum Korb hinzufügen
8.
Functional and (constraint) logic programming (WFLP 2001) Michael Hanus (ed.) von Reihen: ; 2017 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 2017 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 2001
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) Kiel UNI INF MATH Nr. 2017.
Vormerken Zum Korb hinzufügen
9.
Pi-Red +: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls Dietmar Gärtner von Reihen: ; 9201 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9201 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1992
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss.
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) Kiel UNI INF MATH Nr. 9201.
Vormerken Zum Korb hinzufügen
10.
Der Aufwand der Panel-Clustering-Methode für Integralgleichungen Stefan Sauter von Reihen: ; 9115 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9115 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9115.
Vormerken Zum Korb hinzufügen
11.
Eine Analyse der Finite-Volumen-Element-Methode auf Vierecksgittern am Beispiel der Poissongleichung Thorsten Schmidt von Reihen: ; 9114 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9114 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9114.
Vormerken Zum Korb hinzufügen
12.
On the stability of the ILU method for a degenerate grid Stefan Sauter von Reihen: ; 9113 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9113 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9113.
Vormerken Zum Korb hinzufügen
13.
Graphenalgorithmen auf gitterverbundenen Prozessorfeldern Manfred Schimmler von Reihen: ; 9112 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9112 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1991
Hochschulschriftenvermerk: Zugl.: Kiel, 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) Kiel UNI INF MATH Nr. 9112.
Vormerken Zum Korb hinzufügen
14.
Verification and specification of concurrent programs J. J. M. Hooman; Willem-Paul de Roever von Reihen: ; 9111 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9111 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9111.
Vormerken Zum Korb hinzufügen
15.
Neue Aspekte in Rabins Theorie der Baumautomaten [Vortrag zum Fraenkel-Kolloquium, Kiel, 24./25.5.1991] Wolfgang Thomas von Reihen: ; 9110 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9110 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9110.
Vormerken Zum Korb hinzufügen
16.
An introduction to compositional methods for concurrency and their application to real-time J. J. M. Hooman; Willem-Paul de Roever von Reihen: ; 9109 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9109 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9109.
Vormerken Zum Korb hinzufügen
17.
On logics, tilings, and automata Wolfgang Thomas von Reihen: ; 9108 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9108 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 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) Kiel UNI INF MATH Nr. 9108.
Vormerken Zum Korb hinzufügen
18.
Basis functions for early vision Markus Michaelis und Gerald Sommer von Reihen: ; 9413 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9413 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1994
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) Kiel UNI INF MATH Nr. 9413.
Vormerken Zum Korb hinzufügen
19.
Alternative Konzepte für Sprachen und Rechner Bad Honnef 1994 F. Simon (Hrsg.) von Reihen: ; 9412 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9412 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1994
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) Kiel UNI INF MATH Nr. 9412.
Vormerken Zum Korb hinzufügen
20.
Logische Klassifizierung regulärer Baumsprachen Andreas Potthoff von Reihen: ; 9410 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9410 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1994
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss.
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) Kiel UNI INF MATH Nr. 9410.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha