Campusbibliothek

Ihre Suche erzielte 21 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Static analysis 8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings SAS 2001. Patrick Cousot (ed.) von Reihen: ; 212600 | Lecture notes in computer science ; 2126
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • SAS 2001
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 2126.
Vormerken Zum Korb hinzufügen
2.
3.
Abstraction, reformulation, and approximation 5th international symposium ; proceedings SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002. Sven Koenig; Robert C. Holte (ed.) von Reihen: ; 2371 | Lecture notes in computer science ; 2371
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 2002
Weitere Titel:
  • SARA 2002
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 2371.
Vormerken Zum Korb hinzufügen
4.
Static analysis 9th international symposium ; proceedings SAS 2002, Madrid, Spain, September 17 - 20, 2002. Manuel V. Hermenegildo ... (eds.) von Reihen: ; 247700 | Lecture notes in computer science ; 2477
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • SAS 2002
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 2477.
Vormerken Zum Korb hinzufügen
5.
Formal techniques for networked and distributed systems 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002 ; proceedings FORTE 2002. Doron A. Peled; Moshe Y. Vardi (eds.) von Reihen: ; 252900 | Lecture notes in computer science ; 2529
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • FORTE 2002
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 2529.
Vormerken Zum Korb hinzufügen
6.
Static analysis 10th international symposium ; proceedings SAS 2003, San Diego, CA, June 11 - 13, 2003. Radhia Cousot (ed.) von Reihen: ; 269400 | Lecture notes in computer science ; 2694
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • SAS 2003
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 2694.
Vormerken Zum Korb hinzufügen
7.
FME 2003: Formal methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings Keijiro Araki ... (ed.) von Reihen: ; 2805 | Lecture notes in computer science ; 2805
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • FME 2003: formal methods
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 2805.
Vormerken Zum Korb hinzufügen
8.
FM 2005: Formal methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; proceedings John Fitzgerald ... (eds.) von Reihen: ; 3582 | Lecture notes in computer science ; 3582
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005
Weitere Titel:
  • FM 2005: formal methods
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 3582.
Vormerken Zum Korb hinzufügen
9.
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26 - 29, 2005 ; proceedings Jean-Daniel Zucker ... (ed.) von Reihen: ; 3607 | Lecture notes in computer science ; 3607
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3607.
Vormerken Zum Korb hinzufügen
10.
11.
Automated technology for verification and analysis third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 ; proceedings Doron A. Peled ... (eds.) von Reihen: ; 370700 | Lecture notes in computer science ; 3707
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3707.
Vormerken Zum Korb hinzufügen
12.
Hardware and software verification and testing first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers Shmuel Ur ... (ed.) von Reihen: ; 387500 | Lecture notes in computer science ; 3875
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11678779
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 3875.
Vormerken Zum Korb hinzufügen
13.
FM 2006 formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings Jayadev Misra ... (eds.) von Reihen: ; 408500 | Lecture notes in computer science ; 4085
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11813040
Verlag: Berlin Heidelberg Springer 2006
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 4085.
Vormerken Zum Korb hinzufügen
14.
Quality of software architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Väster°as, Sweden, June, 27-29, 2006 ; revised papers Christine Hofmeister; Ivica Crnkovic; Ralf Reussner (eds.) von Reihen: ; 421400 | Lecture notes in computer science ; 4214
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4214.
Vormerken Zum Korb hinzufügen
15.
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
16.
Abstraction, reformulation, and approximation 7th international symposium, SARA 2007, Whistler, Canada, July 18 - 21, 2007 ; proceedings Ian Miguel; Wheeler Ruml (eds.) von Reihen: ; 4612 | Lecture notes in computer science ; 4612
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12089598
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 LNAI 4612.
Vormerken Zum Korb hinzufügen
17.
Automated technology for verification and analysis 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings Kedar S. Namjoshi; Tomohiro Yoneda; Teruo Higashino; Yoshio Okamura (eds.) von Reihen: ; 476200 | Lecture notes in computer science ; 4762
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12173525
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 4762.
Vormerken Zum Korb hinzufügen
18.
Quality of software architectures 4th International Conference on Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 ; proceedings Steffen Becker; Frantisek Plasil; Ralf Reussner (eds.) von Reihen: ; 528100 | Lecture notes in computer science ; 5281
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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 5281.
Vormerken Zum Korb hinzufügen
19.
Automated technology for verification and analysis 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings Sungdeok Cha; Jin-Young Choi; Moonzoo Kim; Insup Lee; Mahesh Viswanathan (eds.) von Reihen: ; 531100 | Lecture notes in computer science ; 5311
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12536924
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 5311.
Vormerken Zum Korb hinzufügen
20.
Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers Marcel Vinícius Medeiros Oliveira; Jim Woodcock (eds.) von Reihen: ; 590200 | Lecture notes in computer science ; 5902
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12793839
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 5902.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha