schliessen

Filtern

 

Bibliotheken

5.

How to cope with the spectrum of SPECTRUM

Publisher: Berlin, Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4; Libraries: UHH

1994
7.

Four institutions : a unified presentation of logical systems for specification

Publisher: Berlin, Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4; Libraries: UHH

1994
8.

Categorical concepts for parametrized partial specifications
by Classen, Ingo

Publisher: Berlin, Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4; Libraries: UHH

1992
9.

On the role of category theory in the area of algebraic specifications
by Ehrig, Hartmut

Publisher: Berlin, Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4; Libraries: UHH

1995
10.

Van Kampen colimits in presheaf topoi
by König, Harald

Publisher: Hannover, FHDW, Fachhochschule für die Wirtschaft Hannover; Libraries: ZBW

2016
1

Recommended databases

Find more Articles matching your search terms in these recommended databases.