Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 267 Treffer.

Sortieren
Ergebnisse
1.
2.
Computational linguistics and intelligent text processing 187th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017 : revised selected papers Part 1 Alexander Gelbukh (ed.) von Reihen: ; 1076100 | Lecture notes in computer science ; 10761
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-319-77112-0
  • 86966416
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 10761.
3.
Computational linguistics and intelligent text processing 187th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017 : revised selected papers Part 2 Alexander Gelbukh (ed.) von Reihen: ; 1076200 | Lecture notes in computer science ; 10762
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-319-77115-1
  • 86966417
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 10762.
4.
5.
6.
7.
8.
9.
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.
10.
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.
11.
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.
12.
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.
13.
The semantic web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018 : proceedings Part 1 Denny Vrandečić [und 7 andere] von Reihen: ; 1113600 | Lecture notes in computer science ; 11136
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-030-00670-9
  • 87010703
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 11136.
14.
Cloud computing and security 4th international conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers Part 4 Xingming Sun, Zhaoqing Pan, Elisa Bertino (eds.) von Reihen: ; 1106600 | Lecture notes in computer science ; 11066
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-030-00014-1
  • 87007190
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 11066.
15.
16.
17.
18.
19.
20.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha