Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 109 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Analysis and verification of multiple-agent languages Stockholm, Sweden, June 24-26, 1996 ; selected papers 5th LOMAPS Workshop. Mads Dam (ed.) von Reihen: ; 119200 | Lecture notes in computer science ; 1192
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1997
Weitere Titel:
  • LOMAPS
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 1192.
Vormerken Zum Korb hinzufügen
2.
Stable marriage and its relation to other combinatorial problems an introduction to the mathematical analysis of algorithms Donald E. Knuth von Reihen: ; 10,repr | Université de Montréal CRM proceedings & lecture notes ; 10,repr |
Auflage: Engl. ed., reprint. with corr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Providence, RI American Mathematical Society 1997
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) KNU d 1997:2 1.Ex.
Vormerken Zum Korb hinzufügen
3.
Programming languages and systems proceedings 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Gert Smolka (ed.) von Reihen: ; 178200 | Lecture notes in computer science ; 1782
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • ESOP 2000; ETAPS 2000
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 1782.
Vormerken Zum Korb hinzufügen
4.
Formal methods in computer-aided design third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings FMCAD 2000. Warren A. Hunt ... (ed.) von Reihen: ; 195400 | Lecture notes in computer science ; 1954
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • FMCAD 2000
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 1954.
Vormerken Zum Korb hinzufügen
5.
Programming languages and systems proceedings 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001. David Sands (ed.) von Reihen: ; 202800 | Lecture notes in computer science ; 2028
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • ESOP 2001, Joint European Conferences on Theory and Practice of Software, ETAPS 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 2028.
Vormerken Zum Korb hinzufügen
6.
Programs as data objects second symposium, Aarhus, Denmark, May 21 - 23, 2001 ; proceedings PADO 2001. Olivier Danvy; Andrzej Filinski (eds.) von Reihen: ; 205300 | Lecture notes in computer science ; 2053
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • PADO 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 2053.
Vormerken Zum Korb hinzufügen
7.
Model checking software Toronto, Canada, May 19 - 20, 2001 ; proceedings 8th International SPIN Workshop. Matthew Dwyer (ed.) von Reihen: ; 205700 | Lecture notes in computer science ; 2057
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • 8th International SPIN Workshop
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 2057.
Vormerken Zum Korb hinzufügen
8.
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
9.
Semantics, applications, and implementation of program generation second international workshop ; proceedings SAIG 2001, Florence, Italy, September 6, 2001. Walid Taha (ed.) von Reihen: ; 219600 | Lecture notes in computer science ; 2196
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • SAIG 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 2196.
Vormerken Zum Korb hinzufügen
10.
Programming languages and systems proceedings 11th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Daniel Le Métayer (ed.) von Reihen: ; 230500 | Lecture notes in computer science ; 2305
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 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 2305.
Vormerken Zum Korb hinzufügen
11.
Verification, model checking, and abstract interpretation third international workshop, Venice, Italy, January 21 - 22, 2002 ; revised papers VMCAI 2002. Agostino Cortesi (ed.) von Reihen: ; 229400 | Lecture notes in computer science ; 2294
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • VMCAI 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 2294.
Vormerken Zum Korb hinzufügen
12.
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
13.
Verification, model checking, and abstract interpretation 4th international conference ; proceedings VMCAI 2003, New York, NY, USA, January 9 - 11, 2003. Lenore D. Zuck ... (ed.) von Reihen: ; 257500 | Lecture notes in computer science ; 2575
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • VMCAI 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 2575.
Vormerken Zum Korb hinzufügen
14.
The essence of computation complexity, analysis, transformation ; essays dedicated to Neil D. Jones Torben Æ. Mogensen ... (ed.) von Reihen: ; 256600 | Lecture notes in computer science ; 2566
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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 2566.
Vormerken Zum Korb hinzufügen
15.
Programming languages and systems proceedings 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003. Pierpaolo Degano (ed.) von Reihen: ; 261800 | Lecture notes in computer science ; 2618
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 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 2618.
Vormerken Zum Korb hinzufügen
16.
Advanced symbolic analysis for compilers new techniques and algorithms for symbolic program analysis and optimization Thomas Fahringer; Bernhard Scholz von Reihen: State-of-the-Art Survey | ; 262800 | Lecture notes in computer science ; 2628
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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 2628.
Vormerken Zum Korb hinzufügen
17.
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
18.
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
19.
Programming languages and systems first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings APLAS 2003. Atsushi Ohori (ed.) von Reihen: ; 289500 | Lecture notes in computer science ; 2895
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 2003
Weitere Titel:
  • APLAS 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 2895.
Vormerken Zum Korb hinzufügen
20.
Verification, model checking, and abstract interpretation 5th international conference, Venice, January 11 - 13, 2004 ; proceedings VMCAI 2004. Bernhard Steffen ... (ed.) von Reihen: ; 293700 | Lecture notes in computer science ; 2937
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
Weitere Titel:
  • VMCAI 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 2937.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha