Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 108 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
61.
Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010 ; revised selected papers Marko van Eekelen; Olha Shkaravska (eds.) von Reihen: ; 6324 | Lecture notes in computer science ; 6324
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80021385
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 6324.
Vormerken Zum Korb hinzufügen
62.
Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings Jin Song Dong; Huibiao Zhu (eds.) von Reihen: ; 644700 | Lecture notes in computer science ; 6447
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80026674
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 6447.
Vormerken Zum Korb hinzufügen
63.
Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday Simon Siegler; Nathan Wasser (eds.) von Reihen: Festschrift | ; 6463 | Lecture notes in computer science ; 6463
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80026951
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 LNAI 6463.
Vormerken Zum Korb hinzufügen
64.
Programming languages and systems 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 ; proceedings Kazunori Ueda (ed.) von Reihen: ; 646100 | Lecture notes in computer science ; 6461
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80027352
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 6461.
Vormerken Zum Korb hinzufügen
65.
Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings Shengchao Qin; Zongyan Qiu (eds.) von Reihen: ; 699100 | Lecture notes in computer science ; 6991
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80114465
Verlag: Berlin Heidelberg Springer 2011
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 6991.
Vormerken Zum Korb hinzufügen
66.
Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings Gilles Barthe; Alberto Pardo; Gerardo Schneider (eds.) von Reihen: ; 704100 | Lecture notes in computer science ; 7041
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80114647
Verlag: Berlin Heidelberg [u.a.] Springer 2011
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 7041.
Vormerken Zum Korb hinzufügen
67.
Logic and program semantics essays dedicated to Dexter Kozen on the occasion of his 60th birthday Robert L. Constable ... (eds.) von Reihen: ; 7230 | Lecture notes in computer science ; 7230
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2012
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 7230.
Vormerken Zum Korb hinzufügen
68.
Runtime verification Second international conference, RV 2011, San Francisco, CA, USA, September 27 - 30, 2011 ; revised selected papers Sarfraz Khurshid ... (eds.) von Reihen: ; 718600 | Lecture notes in computer science ; 7186
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2012
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 7186.
Vormerken Zum Korb hinzufügen
69.
Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Matthias Felleisen ... (eds.) von Reihen: ; 7792 | Lecture notes in computer science ; 7792
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86239440
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 7792.
Vormerken Zum Korb hinzufügen
70.
Programming languages and systems 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11 - 13, 2012 ; proceedings Ranjit Jhala ... (eds.) von Reihen: ; 770500 | Lecture notes in computer science ; 7705
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86189155
Verlag: Berlin Heidelberg [u.a.] Springer 2012
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 7705.
Vormerken Zum Korb hinzufügen
71.
Runtime verification third international conference, RV 2012, Istanbul, Turkey, September 25 - 28, 2012 ; revised selected papers Shaz Qadeer ... (eds.) von Reihen: ; 768700 | Lecture notes in computer science ; 7687
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86204787
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 7687.
Vormerken Zum Korb hinzufügen
72.
Software engineering and formal methods 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Robert M. Hierons ... (ed.) von Reihen: ; 813700 | Lecture notes in computer science ; 8137
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86308441
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 8137.
Vormerken Zum Korb hinzufügen
73.
Verified software: theories, tools, experiments 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 ; revised selected papers Ernie Cohen ... (eds.) von Reihen: ; 816400 | Lecture notes in computer science ; 8164
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86359416
Verlag: Berlin Heidelberg [u.a.] Springer 2014
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 8164.
Vormerken Zum Korb hinzufügen
74.
Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 - 22, 2013 ; proceedings Roberto Giacobazzi ... (eds.) von Reihen: ; 7737 | Lecture notes in computer science ; 7737
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86208571
Verlag: Heidelberg Dordrecht London New York, NY Berlin 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 7737.
Vormerken Zum Korb hinzufügen
75.
Programming languages and systems 23rd European Symposium on Programming, ESOP 2014 [, during April 8-10], held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 ; proceedings Zhong Shao (ed.) von Reihen: ; 8410 | Lecture notes in computer science ; 8410
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86364892
Verlag: Heidelberg Berlin [u.a.] Springer 2014
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 8410.
Vormerken Zum Korb hinzufügen
76.
Verification, model checking, and abstract interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 ; proceedings Deepak D'Souza ... (ed.) von Reihen: ; 8931 | Lecture notes in computer science ; 8931
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-46080-1
Verlag: Heidelberg Berlin [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 8931.
Vormerken Zum Korb hinzufügen
77.
Programming languages and systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 ; proceedings Jan Vitek (ed.) von Reihen: ; 9032 | Lecture notes in computer science ; 9032
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-46668-1
Verlag: Berlin Heidelberg [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 9032.
Vormerken Zum Korb hinzufügen
78.
Foundational and practical aspects of resource analysis second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 ; revised selected papers Ricardo Peña ... (eds.) von Reihen: ; 717700 | Lecture notes in computer science ; 7177
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86150083
Verlag: Berlin Heidelberg [u.a.] Springer c 2012
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 7177.
Vormerken Zum Korb hinzufügen
79.
Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Barbara Jobstmann, K. Rustan M. Leino (eds.) von Reihen: ; 9583 | Lecture notes in computer science ; 9583
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-49121-8
  • 86727037
Verlag: Berlin Heidelberg Springer [2016]
Weitere Titel:
  • VMCAI 2016
  • POPL 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 9583.
Vormerken Zum Korb hinzufügen
80.
Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Peter Thiemann (eds.) von Reihen: Lecture notes in computer science Theoretical computer science and general issues ; 9632 | ; 963200 | Lecture notes in computer science ; 9632
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-49497-4
  • 86844102
Verlag: Berlin Heidelberg Springer [2016]Copyright-Datum: ©2016
Weitere Titel:
  • ESOP 2016
  • ETAPS 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 9632.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha