Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 108 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
81.
Programming languages and systems 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) von Reihen: Advanced research in computing and software science | ; 10201 | Lecture notes in computer science ; 10201
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86910607
Verlag: Berlin; [Heidelberg] Springer [2017]Copyright-Datum: © 2017
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 10201.
Vormerken Zum Korb hinzufügen
82.
Runtime verification 4th international conference, RV 2013, Rennes, France, September 24-27, 2013 ; proceedings Axel Legay ... (ed.) von Reihen: ; 817400 | Lecture notes in computer science ; 8174
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86311695
Verlag: Berlin Heidelberg [u.a.] Springer 2013
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 8174.
Vormerken Zum Korb hinzufügen
83.
Verification, model checking, and abstract interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings Isil Dillig, Jens Palsberg (eds.) von Reihen: Advanced research in computing and software science | ; 1074700 | Lecture notes in computer science ; 10747
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2018]Copyright-Datum: © 2018
Weitere Titel:
  • VMCAI 2018
  • ninteenth on
  • VMCAI 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 10747.
Vormerken Zum Korb hinzufügen
84.
Human centered computing Third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017 : revised selected papers Qiaohong Zu, Bo Hu (eds.) von Reihen: ; 1074500 | Lecture notes in computer science ; 10745
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2018]Copyright-Datum: © 2018
Weitere Titel:
  • HCC 2017
  • 3rd Human-centered
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 10745.
Vormerken Zum Korb hinzufügen
85.
Verified software theories, tools, and experiments : 10th international conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers Ruzica Piskac, Philipp Rümmer (eds.) von Reihen: ; 1129400 | Lecture notes in computer science ; 11294
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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 11294.
Vormerken Zum Korb hinzufügen
86.
Verification, model checking, and abstract interpretation 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings Constantin Enea, Ruzica Piskac (eds.) von Reihen: ; 1138800 | Lecture notes in computer science ; 11388
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham 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 11388.
Vormerken Zum Korb hinzufügen
87.
88.
Human centered computing first international conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014 ; revised selected papers Qiaohong Zu ... (eds.) von Reihen: ; 894400 | Lecture notes in computer science ; 8944
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham [u.a.] Springer 2015
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 8944.
Vormerken Zum Korb hinzufügen
89.
Programming languages and systems 28th European symposium on programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Luís Caires (ed.) von Reihen: ; 11423 | Lecture notes in computer science ; 11423
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer Open [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 11423.
Vormerken Zum Korb hinzufügen
90.
Verified software: theories, tools and experiments 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers Arie Gurfinkel, Sanjit A. Seshia (eds.) von Reihen: ; 959300 | Lecture notes in computer science ; 9593
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Heidelberg New York 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 9593.
Vormerken Zum Korb hinzufügen
91.
Verified software: theories, tools and experiments 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers Sandrine Blazy, Marsha Chechlik (eds.) von Reihen: ; 997100 | Lecture notes in computer science ; 9971
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham, Switzerland Springer [2016]Copyright-Datum: © 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 9971.
Vormerken Zum Korb hinzufügen
92.
Programming languages and systems 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Amal Ahmed (ed.) von Reihen: ; 1080100 | Lecture notes in computer science ; 10801
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer Open [2018]Copyright-Datum: © 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 10801.
Vormerken Zum Korb hinzufügen
93.
Verified software theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers Andrei Paskevich, Thomas Wies (eds.) von Reihen: ; 1071200 | Lecture notes in computer science ; 10712
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2017]Copyright-Datum: © 2017
Weitere Titel:
  • VSTTE 2017
  • ninth on
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 10712.
Vormerken Zum Korb hinzufügen
94.
Software engineering and formal methods 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings Einar Broch Johnsen, Ina Schaefer (eds.) von Reihen: ; 1088600 | Lecture notes in computer science ; 10886
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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 10886.
Vormerken Zum Korb hinzufügen
95.
Programming languages and systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings Anthony Widjaja Lin (ed.) von Reihen: LNCS sublibrary. SL 2- Programming and software engineering | ; 11893 | Lecture notes in computer science ; 11893
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 11893.
Vormerken Zum Korb hinzufügen
96.
Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers Supratik Chakraborty, Jorge A. Navas (eds.) von Reihen: ; 12031 | Lecture notes in computer science ; 12031
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2020]
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 12031.
Vormerken Zum Korb hinzufügen
97.
Programming languages and systems 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings Peter Müller (ed.) von Reihen: ; 12075 | Lecture notes in computer science ; 12075
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer Open [2020]
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 12075.
Vormerken Zum Korb hinzufügen
98.
Program flow analysis theory and applications Steven S. Muchnick; Neil D. Jones von Reihen: Prentice-Hall software series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Englewood Cliffs, N.J. Prentice-Hall 1981
Weitere Titel:
  • Programme
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MUCh st 1981:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
99.
Generating program analyzers Florian Martin von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbücken-Dudweiler Pirrot 1999
Hochschulschriftenvermerk: Zugl.: Saarbrücken, Univ., Diss., 1999
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) 1999 Martin, Florian. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): restricted use (1).
Vormerken Zum Korb hinzufügen
100.
Optimierung objektorientierter Programme Übersetzungstechniken, Analysen und Transformationen Martin Trapp von Reihen: Xpert.press
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 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) TRA m 2001:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha