Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 51 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
21.
Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday Kokichi Futatsugi ... (eds.) von Reihen: Festschrift | ; 406000 | Lecture notes in computer science ; 4060
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11780274
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4060.
Vormerken Zum Korb hinzufügen
22.
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers José Luiz Fiadeiro; Pierre Yves Schobbens (eds.) von Reihen: ; 440900 | Lecture notes in computer science ; 4409
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12049424
Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 4409.
Vormerken Zum Korb hinzufügen
23.
Algebraic informatics second international conference, CAI 2007, Thessalonkiki, Greece, May 21-25, 2007 ; revised selected and invited papers Symeon Bozapalidis; George Rahonis (eds.) von Reihen: ; 472800 | Lecture notes in computer science ; 4728
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12168668
Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 4728.
Vormerken Zum Korb hinzufügen
24.
Spezifikation objektorientierter Systeme Christoph Schmitz von Reihen: ; 20001400 | Wilhelm-Schickard-Institut für Informatik WSI ; 20001400 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Tübingen Wilhelm-Schickard-Inst., Univ. Tübingen 2000
Hochschulschriftenvermerk: Zugl.: Tübingen, Univ., Diss., 1999
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) Tübingen UNI INF WSI-GRIS 2000-14.
Vormerken Zum Korb hinzufügen
25.
Endliche Implementierung algebraischer Spezifikationen Michael Breu von Reihen: ; 91,11 | Technische Universität München Institut für Informatik, Technische Universität München ; 91,11 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: München 1991
Hochschulschriftenvermerk: Zugl.: München, Techn. Univ., Diss., 1991
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) München UNI INF TUM-I9111.
Vormerken Zum Korb hinzufügen
26.
Nondeterministic algebraic specifications Heinrich Hussmann von Reihen: ; 91,4 | Technische Universität München Institut für Informatik, Technische Universität München ; 91,4 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: München Inst. für Informatik 1991
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) München UNI INF TUM-I9104.
Vormerken Zum Korb hinzufügen
27.
A tactic based inductive theorem prover for data types with partial operations Ulrich Kühler von Reihen: ; 238 | Dissertationen zur künstlichen Intelligenz ; 238
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Akad. Verl.-Ges. Aka 2000
Hochschulschriftenvermerk: Zugl.: Kaiserslautern, Univ., Diss., 1999 (Nicht für den Austausch)
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) DISKI 238.
Vormerken Zum Korb hinzufügen
28.
Semantics and algebraic spezification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday Jens Palsberg (ed.) von Reihen: Festschrift | ; 5700 | Lecture notes in computer science ; 5700
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12750504
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5700.
Vormerken Zum Korb hinzufügen
29.
Algebraic informatics third international conference, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 ; proceedings Symeon Bozapalidis; George Rahonis (eds.) von Reihen: ; 572500 | Lecture notes in computer science ; 5725
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12735013
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5725.
Vormerken Zum Korb hinzufügen
30.
Recent trends in algebraic development techniques 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 ; revised selected papers Andrea Corradini; Ugo Montanari (eds.) von Reihen: ; 548600 | Lecture notes in computer science ; 5486
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12728596
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5486.
Vormerken Zum Korb hinzufügen
31.
Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30-June 3, 2011 ; proceedings Harrie de Swart (ed.) von Reihen: ; 666300 | Lecture notes in computer science ; 6663
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80062699
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 6663.
Vormerken Zum Korb hinzufügen
32.
Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers Till Mossakowski; Hans-Jörg Kreowski (eds.) von Reihen: ; 713700 | Lecture notes in computer science ; 7137
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86062098
Verlag: Berlin Heidelberg [u.a.] 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 7137.
Vormerken Zum Korb hinzufügen
33.
Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 21, 2012 ; proceedings Wolfram Kahl ... (eds.) von Reihen: ; 756000 | Lecture notes in computer science ; 7560
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86157090
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 7560.
Vormerken Zum Korb hinzufügen
34.
Recent trends in algebraic development techniques 21st international workshop, WADT 2012, Salamanca, Spain, June 7 - 10, 2012 ; revised selected papers Narciso Martí-Oliet ... (eds.) von Reihen: ; 784100 | Lecture notes in computer science ; 7841
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86250476
Verlag: Berlin Heidelberg [u.a.] Springer 2013
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 7841.
Vormerken Zum Korb hinzufügen
35.
Specification, algebra, and software essays dedicated to Kokichi Futatsugi Shusaku Iida ... (eds.) von Reihen: ; 8373 | Lecture notes in computer science ; 8373
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86363377
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 8373.
Vormerken Zum Korb hinzufügen
36.
Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu von Reihen: ; 946300 | Lecture notes in computer science ; 9463
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Heidelberg New York Springer [2015]
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 9463.
Vormerken Zum Korb hinzufügen
37.
Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers Phillip James, Markus Roggenbach (eds.) von Reihen: ; 1064400 | Lecture notes in computer science ; 10644
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86890607
Verlag: Cham Springer [2017]Copyright-Datum: © 2017
Weitere Titel:
  • WADT 2016
  • twenty-third on
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 10644.
Vormerken Zum Korb hinzufügen
38.
39.
Algebraische Spezifikation eine Einführung H. A. Klaeren von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg New York Springer-Verlag 1983
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) KLA h 1983:1 3.Ex, ...
Vormerken Zum Korb hinzufügen
40.
Algebraische Spezifikation abstrakter Datentypen eine Einführung in die Theorie ; mit Beispielen und Übungen von Hans-Dieter Ehrich; Martin Gogolla; Udo Walter Lipeck von Reihen: Leitfäden und Monographien der Informatik
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Teubner 1989
Online-Ressourcen:
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) EHR h2 1989:1 2.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