Campusbibliothek

Ihre Suche erzielte 5 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
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
2.
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
3.
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
4.
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
5.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha