Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 108 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
41.
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers Eyal Bin; Avi Ziv; Shmuel Ur (eds.) von Reihen: ; 438300 | Lecture notes in computer science ; 4383
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12019380
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4383.
Vormerken Zum Korb hinzufügen
42.
Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg; Michael Huth (Eds.) von Reihen: ; 442400 | Lecture notes in computer science ; 4424
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12029204
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4424.
Vormerken Zum Korb hinzufügen
43.
Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday Thomas Reps; Mooly Sagiv; Jörg Bauer (eds.) von Reihen: Festschrift | ; 4444 | Lecture notes in computer science ; 4444
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12032570
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4444.
Vormerken Zum Korb hinzufügen
44.
Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition Ben Liblit von Reihen: ACM distinguished theses | ; 4440 | Lecture notes in computer science ; 4440
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12046706
Verlag: Berlin Heidelberg [u.a.] Springer 2007
Hochschulschriftenvermerk: Zugl.: Berkeley, Univ., Diss., 2004
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 4440.
Vormerken Zum Korb hinzufügen
45.
Static analysis 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Hanne Riis Nielson; Gilberto Filé (eds.) von Reihen: ; 463400 | Lecture notes in computer science ; 4634
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12103201
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4634.
Vormerken Zum Korb hinzufügen
46.
Programming languages and systems 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 ; proceedings Zhong Shao (ed.) von Reihen: ; 480700 | Lecture notes in computer science ; 4807
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12187423
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4807.
Vormerken Zum Korb hinzufügen
47.
Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings Michael Butler; Michael G. Hinchey; Maria M. Larrondo-Petrie (eds.) von Reihen: ; 478900 | Lecture notes in computer science ; 4789
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12187614
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4789.
Vormerken Zum Korb hinzufügen
48.
Verification, model checking, and abstract interpretation 9th international conference, VMCAI 2008, San Francisco, USA, January 7 - 9, 2008 ; proceedings Francesco Logozzo; Doron A. Peled; Leonore D. Zuck (eds.) von Reihen: ; 490500 | Lecture notes in computer science ; 4905
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12228195
Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 4905.
Vormerken Zum Korb hinzufügen
49.
Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings C. R. Ramakrishnan; Jakob Rehof (eds.) von Reihen: ; 496300 | Lecture notes in computer science ; 4963
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12245987
Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 4963. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
50.
Verified software: theories, tools, experiments first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions Bertrand Meyer; Jim Woodcock (eds.) von Reihen: State-of-the-art survey | ; 417100 | Lecture notes in computer science ; 4171
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12282821
Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 4171.
Vormerken Zum Korb hinzufügen
51.
Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings Natarajan Shankar; Jim Woodcock (eds.) von Reihen: ; 529500 | Lecture notes in computer science ; 5295
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12532179
Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 5295.
Vormerken Zum Korb hinzufügen
52.
Formal methods and software engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings Shaoying Liu; Tom Maibaum; Keijiro Araki (eds.) von Reihen: ; 525600 | Lecture notes in computer science ; 5256
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12538577
Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 5256.
Vormerken Zum Korb hinzufügen
53.
Verification, model checking, and abstract interpretation 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings Neil D. Jones; Markus Müller-Olm (eds.) von Reihen: ; 540300 | Lecture notes in computer science ; 5403
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12598373
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5403.
Vormerken Zum Korb hinzufügen
54.
Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Stefan Kowalewski; Anna Philippou (eds.) von Reihen: ; 550500 | Lecture notes in computer science ; 5505
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12632459
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5505.
Vormerken Zum Korb hinzufügen
55.
Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings Karin Breitman; Ana Cavalcanti (eds.) von Reihen: ; 588500 | Lecture notes in computer science ; 5885
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12796106
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5885.
Vormerken Zum Korb hinzufügen
56.
Programming languages and systems 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings Zhenjiang Hu (eds.) von Reihen: ; 590400 | Lecture notes in computer science ; 5904
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12802777
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5904.
Vormerken Zum Korb hinzufügen
57.
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings Gilles Barthe; Manuel Hermenegildo (eds.) von Reihen: ; 594400 | Lecture notes in computer science ; 5944
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12829729
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 5944.
Vormerken Zum Korb hinzufügen
58.
Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Javier Esparza; Rupak Majumdar (eds.) von Reihen: ; 6015 | Lecture notes in computer science ; 6015
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80011160
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 6015.
Vormerken Zum Korb hinzufügen
59.
60.
Verified software: theories, tools, experiments third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings Gary T. Leavens ... (eds.) von Reihen: ; 621700 | Lecture notes in computer science ; 6217
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80020270
Verlag: Berlin Heidelberg 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 6217.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha