Campusbibliothek

Ihre Suche erzielte 21 Treffer.

Sortieren
Ergebnisse
1.
2.
Search-based software engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings Shiva Nejati, Gregory Gay (eds.) von Reihen: LNCS Sublibrary: SL2 - Programming and Software Engineering | ; 11664 | Lecture notes in computer science ; 11664
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 11664.
3.
4.
5.
Computer safety, reliability, and security 38th International Conference, SAFECOMP 2019, Turku, Finand, September 11-13, 2019 : proceedings Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch (Eds.) von Reihen: LNCS Sublibrary: SL2 - Programming and software engineering | ; 11698 | Lecture notes in computer science ; 11698
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 11698.
6.
7.
Software engineering for resilient systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 :proceedings Radu Calinescu, Felicita Di Giandomenico (eds.) von Reihen: LNCS sublibrary: SL2 - Programming and software engineering | ; 11732 | Lecture notes in computer science ; 11732
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 11732.
8.
9.
Fundamentals of software engineering 8th international conference, FSEN 2019 : Tehran, Iran, May 1-3, 2019 : revised selected papers Hossein Hojjat, Mieke Massink (eds.) von Reihen: LNCS Sublibrary: SL2 - Programming and Software Engineering | ; 11761 | Lecture notes in computer science ; 11761
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2019]
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 11761.
10.
Runtime verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings Bernd Finkbeiner, Leonardo Mariani (eds.) von Reihen: LNCS sublibrary: SL2 - Programming and software engineering | ; 11757 | Lecture notes in computer science ; 11757
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 11757.
11.
Principles and practice of constraint programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30–October 4, 2019, proceedings Thomas Schiex, Simon de Givry (Eds.) von Reihen: LNCS Sublibrary: SL2 - Programming and Software Engineering | ; 11802 | Lecture notes in computer science ; 11802
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 11802.
12.
Rules and reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman (eds.) von Reihen: LNCS sublibrary. SL2 - Programming and software engineering | ; 11784 | Lecture notes in computer science ; 11784
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2019]
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 11784.
13.
14.
Automated technology for verification and analysis 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.) von Reihen: LNCS sublibrary: SL2 - Programming and software engineering | ; 11781 | Lecture notes in computer science ; 11781
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2019]
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 11781.
15.
Model and data engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019 : proceedings Klaus-Dieter Schewe, Neeraj Kumar Singh (eds.) von Reihen: LNCS sublibrary. SL2 - Programming and software engineering | ; 11815 | Lecture notes in computer science ; 11815
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 11815.
16.
Static analysis 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings Bor-Yuh Evan Chang (ed.) von Reihen: LNCS sublibrary: SL2 - Programming and software engineering | ; 11822 | Lecture notes in computer science ; 11822
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2019]
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 11822.
17.
Mathematics of program construction 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings Graham Hutton (ed.) von Reihen: LNCS Sublibrary: SL2 - Programming and Software Engineering | ; 11825 | Lecture notes in computer science ; 11825
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2019]
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 11825.
18.
19.
Formal methods and software engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings Yamine Ait-Ameur, Shengchao Qin (eds.) von Reihen: LNCS Sublibrary: SL2 - Programming and software engineering | ; 11852 | Lecture notes in computer science ; 11852
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 11852.
20.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha