Campusbibliothek

Ihre Suche erzielte 16 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
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]
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 11244.
Vormerken Zum Korb hinzufügen
2.
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]
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 11245.
Vormerken Zum Korb hinzufügen
3.
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]
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 11246.
Vormerken Zum Korb hinzufügen
4.
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]
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 11247.
Vormerken Zum Korb hinzufügen
5.
Leveraging applications of formal methods, verification and validation 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings Part 1 Foundational techniques Tiziana Margaria, Bernhard Steffen (eds.) von Reihen: ; 995200 | Lecture notes in computer science ; 9952
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: [Cham] Springer [2016]
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 9952.
Vormerken Zum Korb hinzufügen
6.
Leveraging applications of formal methods, verification and validation 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings Part 2 Discussion, dissemination, applications Tiziana Margaria, Bernhard Steffen (eds.) von Reihen: ; 995300 | Lecture notes in computer science ; 9953
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: [Cham] Springer [2016]
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 9953.
Vormerken Zum Korb hinzufügen
7.
8.
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers Tiziana Margaria; Bernhard Steffen (eds.) von Reihen: ; 431300 | Lecture notes in computer science ; 4313
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11925040
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4313.
Vormerken Zum Korb hinzufügen
9.
Models, mindsets, meta the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday Tiziana Margaria, Susanne Graf, Kim G. Larsen (eds.) von Reihen: ; 11200 | Lecture notes in computer science ; 11200
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2019]
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 11200.
Vormerken Zum Korb hinzufügen
10.
Chaotic evolution and strange attractors the statistical analysis of time series for deterministic nonlinear systems David Ruelle. Notes prep. by Stefano Isola ] von Reihen: Lezioni Lincee
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1989
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) RUE d 1989:1 1.Ex.
Vormerken Zum Korb hinzufügen
11.
12.
13.
14.
15.
16.
Foundations of computer vision Antonio Torralba, Phillip Isola, and William T. Freeman von Reihen: Adaptive computation and machine learning series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Massachusetts London, England The MIT Press [2024]
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) TOR a2 2024:1 1.Ex. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
Listen:
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha