Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 153 Treffer.

Sortieren
Ergebnisse
41.
Advanced functional programming 4th international school, AFP 2002, Oxford, UK, August 19 - 24, 2002. ; revised lectures Johan Jeuring ... (eds.) von Reihen: Tutorial | ; 263800 | Lecture notes in computer science ; 2638
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
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 2638.
42.
Mathematical methods for protein structure analysis and design C.I.M.E. Summer School, Martina Franca, Italy, July 9 - 15, 2000 ; advanced lectures [Concettina Guerra... (ed.)] von Reihen: Tutorial | ; 2666 | Lecture notes in computer science ; 2666
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
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 LNBI 2666.
43.
Information extraction in the web era natural language communication for knowledge acquisition and intelligent information agents ; [SCIE 2002, Frascati, Italy, July 2002] Maria Teresa Pazienza (ed.) von Reihen: Tutorial | ; 2700 | Lecture notes in computer science ; 2700
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • SCIE 2002
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 2700.
44.
Spatio-temporal databases the CHOROCHRONOS approach Manolis Koubarakis... (eds.) von Reihen: ; 252000 | Lecture notes in computer science ; 2520
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 2003
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 2520.
45.
46.
Generic programming advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002] Roland Backhouse ... (ed.) von Reihen: Tutorial | ; 279300 | Lecture notes in computer science ; 2793
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
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 2793.
47.
48.
Formal methods for components and objects first international symposium, Leiden, The Netherlands, November 5 - 8, 2002 ; revised lectures FMCO 2002. Frank S. de Boer ... (eds.) von Reihen: Tutorial | ; 285200 | Lecture notes in computer science ; 2852
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • FMCO 2002
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 2852.
49.
Agent-based hybrid intelligent systems an agent-based framework for complex problem solving Zili Zhang; Chengqi Zhang von Reihen: Tutorial | ; 293800 | Lecture notes in computer science ; 2938
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 LNAI 2938.
50.
CASL user manual introduction to using the common algebraic specification language Michel Bidoit; Peter D. Mosses. With chapters by Till Mossakowski ... von Reihen: Tutorial | ; 290000 | Lecture notes in computer science ; 2900
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 2004
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) OD 2319, ...
51.
CASL reference manual the complete documentation of the common algebraic specification language Peter D. Mosses (ed.) von Reihen: Tutorial | ; 296000 | Lecture notes in computer science ; 2960
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) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) OD 2320, ...
52.
Performance tools and applications to networked systems revised tutorial lectures Maria Carla Calzarossa ... (eds.) von Reihen: Tutorial | ; 296500 | Lecture notes in computer science ; 2965
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 2965.
53.
Computational cardiology modeling of anatomy, electrophysiology, and mechanics Frank B. Sachse von Reihen: Tutorial | ; 296600 | Lecture notes in computer science ; 2966
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 2004
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Habil.-Schr., 2002
Weitere Titel:
  • Mathematical modeling of the mammalian heart
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 2966.
54.
Uncertain projective geometry statistical reasoning for polyhedral object reconstruction Stephan Heuel von Reihen: Tutorial | ; 300800 | Lecture notes in computer science ; 3008
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
Hochschulschriftenvermerk: Zugl.: Bonn, Univ., Diss., 2002
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 3008.
55.
Probabilistic and statistical methods in cryptology an introduction by selected topics Daniel Neuenschwander von Reihen: Tutorial | ; 302800 | Lecture notes in computer science ; 3028
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 3028.
56.
Lectures on concurrency and Petri nets advances in Petri nets Jörg Desel ... (ed.) von Reihen: Tutorial | ; 309800 | Lecture notes in computer science ; 3098
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11013105
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 3098.
57.
Primality testing in polynomial time from randomized algorithms to "PRIMES is in P" Martin Dietzfelbinger von Reihen: Tutorial | ; 300000 | Lecture notes in computer science ; 3000
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 3000.
58.
Validation of stochastic systems a guide to current research Christel Baier ... (eds.) von Reihen: Tutorial | ; 292500 | Lecture notes in computer science ; 2925
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11015703
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 2925.
59.
Computational neuroscience cortical dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 ; revised lectures Péter Érdi ... (eds.) von Reihen: Tutorial | ; 314600 | Lecture notes in computer science ; 3146
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11306108
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 3146.
60.
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.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha