Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 900 Treffer.

Sortieren
Ergebnisse
1.
The mathematics of finite elements and applications MAFELAP von
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: London [u.a.] Acad. Press 1973-1991
Weitere Titel:
  • Zusatz bis 6.1987: Proceedings of the Brunel University conference of the Institute of Mathematics and its Applications
Verfügbarkeit: Keine Exemplare verfügbar.
2.
Mathematics of computation American Mathematical Society
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Providence, RI Soc. 1960-
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (117)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Z 305 1960, ...
3.
SIAM journal on matrix analysis and applications Society for Industrial and Applied Mathematics, SIAM von
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Philadelphia, Pa. Soc. 1980-
Weitere Titel:
  • Journal on matrix analysis and applications
  • Journal on algebraic and discrete methods
  • Matrix analysis and applications
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (53)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Z 506 1980, ...
4.
Algebraic methods theory, tools and applications
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1989-
Weitere Titel:
  • Lecture notes in computer science / Algebraic methods
Verfügbarkeit: Keine Exemplare verfügbar.
5.
Mathematical methods of statistics
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: New York, NY Allerton Press 1992-
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (14)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Z 300 2002, ...
6.
Computational chemistry reviews of current trends
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Verlag: Singapore [u.a.] World Scientific 1996-
Verfügbarkeit: Keine Exemplare verfügbar.
7.
Metrika international journal for theoretical and applied statistics hrsg. von Oskar Anderson [u.a.]
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg Springer 1958-
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (20)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Z 965 1958.59, ...
8.
Games and economic behavior
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: online verfügbar Fernzugriff; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Amsterdam [u.a.] Elsevier 1989-
Verfügbarkeit: Keine Exemplare verfügbar.
9.
Methods a companion to methods in enzymology
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: online verfügbar Fernzugriff; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Orlando, Fla. Academic Press 1990-
Verfügbarkeit: Keine Exemplare verfügbar.
10.
Social science research a quarterly journal of social science methodology and quantitative research
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: online verfügbar Fernzugriff; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Orlando, Fla. Academic Press 1972-Verlag: Amsterdam Elsevier 1972-
Verfügbarkeit: Keine Exemplare verfügbar.
11.
Journal of pharmacological & toxicological methods
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: online verfügbar Fernzugriff; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: New York, NY [u.a.] Elsevier 1992-
Weitere Titel:
  • Journal of pharmacological and toxicological methods
Verfügbarkeit: Keine Exemplare verfügbar.
12.
Agent-oriented software engineering 7 7th international workshop, AOSE 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers / Lin Padgham ... (eds.) von Reihen: State-of-the-art survey | ; 4405 | Lecture notes in computer science ; 4405
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4405.
13.
Declarative agent languages and technologies 6 6th International Workshop, DALT 2008, Estoril, Portugal, May 12; revised selected and invited papers / Matteo Baldoni ... (eds.) von Reihen: ; 5397 | Lecture notes in computer science ; 5397
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 LNAI 5397.
14.
Arbeitshilfen für Spezialbibliotheken 11 Erste Schritte im Management / Beryl Morris. [Dt. Übers. und Bearb.: Evelin Morgenstern] Dt. Bibliotheksinst. in Zusammenarbeit mit d. Arbeitsgemeinschaft d. Spezialbibliotheken e.V. (ASpB) u. d. Sekt. 5 (Wiss. Spezialbibliotheken) d. Dt. Bibliotheksverb. e.V. [Projektleiter: Robert Funk ...] von Reihen: ; 191 | Deutsches Bibliotheksinstitut DBI-Materialien ; 191 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Dt. Bibliotheksinst. 1999
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) REF 15 77 1.Ex.
15.
Transactions on Computational Systems Biology 12 Special issue on modeling methodologies / Corrado Priami ... (ed.) von Reihen: Journal Subline | ; 5945 | Lecture notes in computer science ; 5945
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 LNBI 5945.
16.
Declarative agent languages and technologies 7 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009; revised selected and invited papers / Matteo Baldoni ... (eds.) von Reihen: ; 5948 | Lecture notes in computer science ; 5948
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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 LNAI 5948.
17.
Leveragung applications of formal methods, verification and validation 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings Part 1 Modeling Tiziana Margaria, Berhard Steffen (eds.) von Reihen: ; 1124400 | Lecture notes in computer science ; 11244
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-030-03417-7
  • 87017879
Verlag: Cham Springer [2018]
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 11244.
18.
Leveraging applications of formal methods, verification and validation 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings Part 2 Verification Tiziana Margaria, Bernhard Steffen (eds.) von Reihen: ; 1124500 | Lecture notes in computer science ; 11245
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-030-03420-7
  • 87017882
Verlag: Cham Springer [2018]Verlag: xiii, 496 Seiten [2018]
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 11245.
19.
Leveraging applications of formal methods, verification and validation 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings Part 3 Distributed systems Tiziana Margaria, Bernhard Steffen (eds.) von Reihen: ; 1124600 | Lecture notes in computer science ; 11246
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-030-03423-8
  • 87017883
Verlag: Cham Springer [2018]
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 11246.
20.
Leveraging applications of formal methods, verification and validation 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings Part 4 Industrial practice Tiziana Margaria, Bernhard Steffen (eds.) von Reihen: ; 1124700 | Lecture notes in computer science ; 11247
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-030-03426-9
  • 87017884
Verlag: Cham Springer [2018]Verlag: xiv, 530 Seiten [2018]
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 11247.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha