Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 54 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Integration of equations of parabolic type by the method of nets Vladislav K. Saul'ev. Transl. by G. J. Tee. Transl. ed. and edit. introd. by K. L. Stewart von Reihen: International series of monographs on pure and applied mathematics ; 54
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford [u.a.] Pergamon Press 1964
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) MPAM 54 1.Ex, ...
Vormerken Zum Korb hinzufügen
2.
Net theory and applications proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Oct. 8 - 19, 1979 ed. by Wilfried Brauer von Reihen: ; 84 | Lecture notes in computer science ; 84
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
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 84 1.Ex.
Vormerken Zum Korb hinzufügen
3.
Applications and theory of Petri nets selected papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27 - 30, 1982 ... ed. by Anastasia Pagnoni ... von Reihen: ; 66 | Informatik-Fachberichte ; 66
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1983
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) IFB 66.
Vormerken Zum Korb hinzufügen
4.
Petri nets: central models and their properties proceedings of an advanced course, Bad Honnef, 8. - 19. Sept. 1986 ed. by W. Brauer ... von Reihen: ; 1986,1 | Advances in Petri nets ; 1986,1 | Lecture notes in computer science ; 254
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1987
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 254.
Vormerken Zum Korb hinzufügen
5.
Petri nets: applications and relationships to other models of concurrency proceedings of an advanced course, Bad Honnef, 8. - 19. Sept. 1986 ed. by W. Brauer ... von Reihen: ; 1986,2 | Advances in Petri nets ; 1986,2 | Lecture notes in computer science ; 255
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1987
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 255.
Vormerken Zum Korb hinzufügen
6.
Nonsequential processes a Petri net view Eike Best; César Fernández C. von Reihen: ; 13 | European Association for Theoretical Computer Science EATCS monographs on theoretical computer sciences ; 13 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1988
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) EATCS 13.
Vormerken Zum Korb hinzufügen
7.
Petri-Netz-Methoden und -Werkzeuge Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen M. Leszak ; H. Eggert von Reihen: ; 197 | Informatik-Fachberichte ; 197
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg New York London Paris Tokyo Springer 1989
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) IFB 197 1.Ex.
Vormerken Zum Korb hinzufügen
8.
Finite representations of CCS and TCSP programs by automata and Petri nets Dirk Taubner von Reihen: ; 36900 | Lecture notes in computer science ; 369
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1989
Hochschulschriftenvermerk: Teilw. zugl.: München, Techn. Univ., Diss., 1988 u.d.T.: Taubner, Dirk A.: The finite representation of abstract programs by automata and Petri nets
Weitere Titel:
  • The finite representations of abstract programs by automata and Petri nets
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 369. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 369 2.Ex.
Vormerken Zum Korb hinzufügen
9.
Advances in Petri nets 1989 APN 89 Grzegorz Rozenberg (ed.) von Reihen: ; 42400 | Lecture notes in computer science ; 424 | Advances in Petri nets ; 1989
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
Weitere Titel:
  • APN 89
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 424.
Vormerken Zum Korb hinzufügen
10.
Advances in Petri nets 1990 APN 90 Grzegorz Rozenberg (ed.) von Reihen: ; 48300 | Lecture notes in computer science ; 483 | Advances in Petri nets ; 1990
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Weitere Titel:
  • neunzehnhundertneunzig
  • APN 90
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 483.
Vormerken Zum Korb hinzufügen
11.
Advances in Petri nets 1991 APN 91 G. Rozenberg (ed.) von Reihen: ; 52400 | Lecture notes in computer science ; 524 | Advances in Petri nets ; 1991
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Weitere Titel:
  • neunzehnhunderteinundneunzig
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 524.
Vormerken Zum Korb hinzufügen
12.
Nets, terms and formulas three views of concurrent processes and their relationship E.-R. Olderog von Reihen: ; 2300 | Cambridge tracts in theoretical computer science ; 23
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1991
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Habil.-Schr., 1989
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (5)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) OLD e 1991:1 3.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
13.
Verifying temporal properties of systems Julian Charles Bradfield von Reihen: ; 6 | Progress in theoretical computer science ; 6
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [Stuttgart] [u.a.] Birkhäuser 1992
Hochschulschriftenvermerk: Teilw. zugl.: Edinburgh, Univ., Diss., 1991
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) BRA j3 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
14.
Application and theory of Petri nets 1992 13th international conference, Sheffield, UK, June 22 - 26, 1992 ; proceedings K. Jensen (ed.) von Reihen: ; 61600 | Lecture notes in computer science ; 616
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
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 616.
Vormerken Zum Korb hinzufügen
15.
Advances in Petri nets 1992 APN 92 G. Rozenberg (ed.) von Reihen: ; 60900 | Lecture notes in computer science ; 609 | Advances in Petri nets ; 1992
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Weitere Titel:
  • neunzehnhundertzweiundneunzig
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 609.
Vormerken Zum Korb hinzufügen
16.
Modular construction and partial order semantics of Petri nets W. Vogler von Reihen: ; 62500 | Lecture notes in computer science ; 625
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Hochschulschriftenvermerk: Teilw. zugl.: München, Techn. Univ., Habil.-Schr.
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 625.
Vormerken Zum Korb hinzufügen
17.
Die Bildanalysesprache TRIAS von Wolfgang Eckstein von Reihen: ; 31 | Dissertationen zur künstlichen Intelligenz ; 31
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1993
Hochschulschriftenvermerk: Zugl.: München, Techn. Univ., Diss., 1992
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) DISKI 31, ...
Vormerken Zum Korb hinzufügen
18.
Advances in Petri nets 1993 APN 93 Grzegorz Rozenberg (ed.) von Reihen: ; 67400 | Lecture notes in computer science ; 674
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
Weitere Titel:
  • neunzehnhundertdreiundneunzig nineteen hundred and ninety-three
  • APN 93
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 674.
Vormerken Zum Korb hinzufügen
19.
Application and theory of Petri Nets 1993 14th International Conference [on Application and Theory of Petri Nets], Chicago, Ill., June 21 - 25, 1993; proceedings PN 93. Marco Ajmone Marsan (ed.) von Reihen: ; 69100 | Lecture notes in computer science ; 691
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
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 691.
Vormerken Zum Korb hinzufügen
20.
Application and theory of Petri nets 1994 15th International Conference [on Application and Theory of Petri Nets], Zaragoza, Spain, June 20 - 24, 1994 , PN 94; proceedings Robert Valette (ed.) von Reihen: ; 81500 | Lecture notes in computer science ; 815
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 815.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha