Campusbibliothek

Ihre Suche erzielte 8 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
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
2.
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
3.
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
4.
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
5.
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
6.
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
7.
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
8.
The B-book assigning programs to meanings J.-R. Abrial von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1996
Weitere Titel:
  • B-book
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) ABR j 1996:2 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha