Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 31 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Necessity or contingency the master argument Jules Vuillemin von Reihen: ; 5600 | Stanford University CSLI lecture notes ; 56 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Stanford, Calif. Center for the Study of Language and Information 1996
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) CSLI 56.
Vormerken Zum Korb hinzufügen
2.
B'98: Recent advances in the development and use of the B method Second International B Conference, Montpellier, France, April 22 - 24, 1998; proceedings Didier Bert (ed.) von Reihen: ; 1393 | Lecture notes in computer science ; 1393
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
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 1393.
Vormerken Zum Korb hinzufügen
3.
Logic-based program synthesis and transformation 9th international workshop ; selected papers LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.) von Reihen: ; 181700 | Lecture notes in computer science ; 1817
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Springer 2000
Weitere Titel:
  • LOPSTR '99
  • logic-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 1817.
Vormerken Zum Korb hinzufügen
4.
ZB 2000: formal specification and development in Z and B proceedings First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (eds.) von Reihen: ; 187800 | Lecture notes in computer science ; 1878
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 2000
Weitere Titel:
  • First International Conference of B and Z Users
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 1878.
Vormerken Zum Korb hinzufügen
5.
ZB 2002: Formal Specification and Development in Z and B 2nd international conference of B and Z Users, Grenoble, France, January 23-25, 2002 ; proceedings ZB 2002. Didier Bert ... (ed.) von Reihen: ; 227200 | Lecture notes in computer science ; 2272
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • ZB 2002, International Conference of B and Z Users
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 2272.
Vormerken Zum Korb hinzufügen
6.
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
7.
ZB 2005: formal specification and development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings Helen Treharne...(eds.) von Reihen: ; 345500 | Lecture notes in computer science ; 3455
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11415787
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 3455.
Vormerken Zum Korb hinzufügen
8.
B 2007: formal specification and development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007 ; proceedings Jacques Julliand; Olga Kouchnarenko (eds.) von Reihen: ; 435500 | Lecture notes in computer science ; 4355
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2006
Weitere Titel:
  • twothousandseven
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 4355.
Vormerken Zum Korb hinzufügen
9.
Modern operator theory and applications the Igor Borisovich Simonenko Anniversary volume Yakob M. Erusalimsky; Israel Gohberg; S. M. Grudsky; V. Rabinovich; N. Vasilevski, eds. von Reihen: ; 170 | Operator theory ; 170
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11767121
Verlag: Basel Berlin [u.a.] Birkhäuser 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) OT 170.
Vormerken Zum Korb hinzufügen
10.
Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday Arnon Avron; Nachum Dershowitz; Alexander Rabinovich (eds.) von Reihen: Festschrift | ; 4800 | Lecture notes in computer science ; 4800
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12227471
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 4800.
Vormerken Zum Korb hinzufügen
11.
Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca (eds.) von Reihen: ; 523800 | Lecture notes in computer science ; 5238
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12518180
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 5238.
Vormerken Zum Korb hinzufügen
12.
Abstract state machines, Alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings Marc Frappier ,,, (eds.) von Reihen: ; 597700 | Lecture notes in computer science ; 5977
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12990580
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 5977.
Vormerken Zum Korb hinzufügen
13.
Categorical topology proceedings of the International Conference, held at the University of Toledo, Toledo, Ohio, USA, August 1 - 5, 1983 eds.: H. L. Bentley ... von Reihen: ; 5 | Sigma series in pure mathematics ; 5
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Heldermann 1984
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) Proceed. Categor Topol 1983.
Vormerken Zum Korb hinzufügen
14.
Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue (eds.) von Reihen: State of the art survey | ; 6957 | Lecture notes in computer science ; 6957
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86007801
Verlag: Berlin Heidelberg [u.a.] Springer 2011
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 6957.
Vormerken Zum Korb hinzufügen
15.
Abstract state machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 ; proceedings John Derrick ... (eds.) von Reihen: ; 731600 | Lecture notes in computer science ; 7316
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86105486
Verlag: Berlin Heidelberg Springer 2012
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 7316.
Vormerken Zum Korb hinzufügen
16.
Abstract state machines, alloy, B, TLA, VDM, and Z 4th international conference; proceedings ABZ 2014, Toulouse, France, June 2 - 6, 2014. Yamine Ait Ameur ... (eds.) von Reihen: ; 8477 | Lecture notes in computer science ; 8477
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86370556
Verlag: Heidelberg Berlin [u.a.] Springer 2014
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 8477.
Vormerken Zum Korb hinzufügen
17.
Graph-theoretic concepts in computer science 41st international workshop, WG 2015 Garching, Germany, June 17-19, 2015 revised papers edited by Ernst Mayr von Reihen: LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues | ; 9224 | Lecture notes in computer science ; 9224
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-53173-0
  • 86881162
Verlag: Berlin Heidelberg Springer [2016]Copyright-Datum: © 2016
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 9224.
Vormerken Zum Korb hinzufügen
18.
Saarbrücker Wörterbuch Edith Braun und Max Mangold von Reihen: ; 500 | Beiträge zur Sprache im Saarland ; 500
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken SDV, Saarbrücker Druckerei und Verl. 1984
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) REF 1-IId 15 1.Ex.
Vormerken Zum Korb hinzufügen
19.
The madness of Cambyses Herodotus ; translated by Tom Holland von Reihen: ; 78 | Penguin little black classics ; 78
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Originalsprache: Altgriechisch (bis 1453) Verlag: London, England Penguin Books 2015
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) BELLET. H 36.
Vormerken Zum Korb hinzufügen
20.
The fall of Icarus Ovid ; translated by Mary M. Innes von Reihen: Penguin classics | ; 73 | Penguin little black classics ; 73
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Originalsprache: Latin Verlag: London Penguin Books 2015
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) BELLET. O 13.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha