Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 108 Treffer.

Sortieren
Ergebnisse
21.
22.
23.
Mathematical foundations of computer science 2004 29th international symposium, MFCS 2004, Prague, Czech Republic, August 22 - 27, 2004 ; proceedings Jiři Fiala ... (ed.) von Reihen: ; 315300 | Lecture notes in computer science ; 3153
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11310341
Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3153.
24.
Euro-Par 2004 parallel processing 10th International Euro-Par Conference, Pisa, Italy, August 31 - September 3, 2004 ; proceedings Marco Danelutto ... (eds.) von Reihen: ; 314900 | Lecture notes in computer science ; 3149
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3149.
25.
Advanced lectures on machine learning ML Summer Schools 2003, Canberra, Australia, February 2 - 14, 2003, Tübingen, Germany, August 4 - 16, 2003 ; revised lectures Olivier Bousquet ... (ed.) von Reihen: Tutorial | ; 3176 | Lecture notes in computer science ; 3176
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11322894
Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3176.
26.
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004 ; proceedings Jim Davies ... (Eds.) von Reihen: ; 330800 | Lecture notes in computer science ; 3308
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11348801
Verlag: Berlin Heidelberg [u.a.] Springer 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 3308.
27.
Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings Radhia Cousot (ed.) von Reihen: ; 338500 | Lecture notes in computer science ; 3385
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3385.
28.
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
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.
29.
Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Chris Hankin; Igor Siveroni (ed.) von Reihen: ; 367200 | Lecture notes in computer science ; 3672
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11547662
Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3672.
30.
Programming languages and systems third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings Kwangkeun Yi (ed.) von Reihen: ; 378000 | Lecture notes in computer science ; 3780
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3780.
31.
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Kung-Kiu Lau; Richard Banach (ed.) von Reihen: ; 378500 | Lecture notes in computer science ; 3785
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11576280
Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3785.
32.
Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings E. Allen Emerson ... (eds.) von Reihen: ; 385500 | Lecture notes in computer science ; 3855
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 3855.
33.
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
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.
34.
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
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.
35.
Static analysis 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings Kwangkeun Yi (ed.) von Reihen: ; 413400 | Lecture notes in computer science ; 4134
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4134.
36.
Variations on constants flow analysis of sequential and parallel programs Markus Müller-Olm von Reihen: ; 380000 | Lecture notes in computer science ; 3800
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11871743
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 3800.
37.
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedings Zhiming Liu; Jifeng He (eds.) von Reihen: ; 426000 | Lecture notes in computer science ; 4260
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11901433
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4260.
38.
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers Tiziana Margaria; Bernhard Steffen (eds.) von Reihen: ; 431300 | Lecture notes in computer science ; 4313
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11925040
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4313.
39.
Programming languages and systems 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 ; proceedings Naoki Kobayashi (ed.) von Reihen: ; 427900 | Lecture notes in computer science ; 4279
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11924661
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4279.
40.
Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14 - 16, 2007 ; proceedings Byron Cook; Andreas Podelski (eds.) von Reihen: ; 434900 | Lecture notes in computer science ; 4349
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11973966
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4349.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha