Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 574 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
121.
Formal methods and software engineering proceedings 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Chris George, Huaikou Miao (ed.) von Reihen: ; 249500 | Lecture notes in computer science ; 2495
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • 4th International Conference on Formal Engineering Methods, ICFEM 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 2495.
Vormerken Zum Korb hinzufügen
122.
Conceptual modelling of multi-agent systems the CoMoMAS engineering environment Norbert Glaser von Reihen: ; 4 | Multiagent systems, artificial societies, and simulated organizations ; 4
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston, Mass. [u.a.] Kluwer 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) GLA n 2002:1 1.Ex.
Vormerken Zum Korb hinzufügen
123.
Product focused software process improvement 4th international conference ; proceedings PROFES 2002, Rovaniemi, Finland, December 9 - 11, 2002. Markku Oivo ... (ed.) von Reihen: ; 255900 | Lecture notes in computer science ; 2559
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • PROFES 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 2559.
Vormerken Zum Korb hinzufügen
124.
Experimental algorithmics from algorithm design to robust and efficient software [In September 2000, ... the first Schloss Dagstuhl Seminar on Experimental Algorithms]. Rudolf Fleischer; Bernard Moret; Erik Meineche Schmidt (ed.) von Reihen: State-of-the-art-survey | ; 254700 | Lecture notes in computer science ; 2547
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • 1. first Schloss Dagstuhl Seminar on Experimental Algorithmics
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 2547.
Vormerken Zum Korb hinzufügen
125.
COTS-based software systems second international conference ; proceedings ICCBSS 2003, Ottawa, Canada, February 10 - 12, 2003. Hakan Erdogmus; Tao Weng (ed.) von Reihen: ; 258000 | Lecture notes in computer science ; 2580
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • ICCBSS 2003
  • cots-based
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 2580.
Vormerken Zum Korb hinzufügen
126.
Objects, components, architectures, services, and applications for a networked world International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7 - 10, 2002 ; revised papers Mehmet Aksit ... (ed.) von Reihen: ; 259100 | Lecture notes in computer science ; 2591
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 2591.
Vormerken Zum Korb hinzufügen
127.
Tools and algorithms for the construction and analysis of systems 9th international conference ; proceedings TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 12, 2003. Hubert Garavel; John Hatcliff (eds.) von Reihen: ; 261900 | Lecture notes in computer science ; 2619
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • TACAS 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 2619.
Vormerken Zum Korb hinzufügen
128.
Software engineering and middleware third international workshop, Orlando, FL, USA, May 20 - 21, 2002 ; revised papers SEM 2002. Alberto Coen-Porisini ... (eds.) von Reihen: ; 259600 | Lecture notes in computer science ; 2596
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • SEM 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 2596.
Vormerken Zum Korb hinzufügen
129.
ZB 2003: Formal Specification and Development in Z and B third international conference of B and Z Users, Turku, Finland, Juni 4 - 6, 2003 ; proceedings ZB 2003. Didier Bert ... (eds.) von Reihen: ; 265100 | Lecture notes in computer science ; 2651
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • ZB 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 2651.
Vormerken Zum Korb hinzufügen
130.
Reliable software technologies proceedings Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 - 20, 2003. Jean-Pierre Rosen ... (ed.) von Reihen: ; 265500 | Lecture notes in computer science ; 2655
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • Ada-Europe 2003, international conference
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 2655.
Vormerken Zum Korb hinzufügen
131.
Component-based software quality methods and techniques Alejandra Cechich ... (eds.) von Reihen: State-of-the-Art-Survey | ; 269300 | Lecture notes in computer science ; 2693
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 2693.
Vormerken Zum Korb hinzufügen
132.
Construction and analysis of transition systems with MEC André Arnold; Didier Begay; Paul Crubille von Reihen: ; 300 | AMAST series in computing ; 3
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 1994
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) ARN a 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
133.
Security engineering with patterns origins, theoretical models, and new applications Markus Schumacher von Reihen: ; 275400 | Lecture notes in computer science ; 2754
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Hochschulschriftenvermerk: Zugl.: Darmstadt, Techn. Univ., Diss., 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 2754.
Vormerken Zum Korb hinzufügen
134.
Empirical methods and studies in software engineering experiences from ESERNET Reidar Conradi ... (ed.) von Reihen: State-of-the-Art-Survey | ; 276500 | Lecture notes in computer science ; 2765
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 2765.
Vormerken Zum Korb hinzufügen
135.
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
136.
Object-oriented information systems 9th international conference ; proceedings OOIS 2003, Geneva, Switzerland, September 2 - 5, 2003. Dimitri Konstantas ... (eds.) von Reihen: ; 281700 | Lecture notes in computer science ; 2817
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • OOIS 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 2817.
Vormerken Zum Korb hinzufügen
137.
Computer safety, reliability, and security 22nd international conference, SAFECOMP 2003, Edinburgh, UK, September 23 - 26, 2003 ; proceedings Stuart Anderson ... (ed.) von Reihen: ; 278800 | Lecture notes in computer science ; 2788
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 2788.
Vormerken Zum Korb hinzufügen
138.
Generative programming and component engineering second international conference ; proceedings GPCE 2003, Erfurt, Germany, September 22 - 25, 2003. Frank Pfenning ... (ed.) von Reihen: ; 283000 | Lecture notes in computer science ; 2830
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • GPCE 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 2830.
Vormerken Zum Korb hinzufügen
139.
Software and compilers for embedded systems 7th international workshop, SCOPES 2003, Vienna, Austria, September 24 - 26, 2003 ; proceedings Andreas Krall (ed.) von Reihen: ; 282600 | Lecture notes in computer science ; 2826
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 2826.
Vormerken Zum Korb hinzufügen
140.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha