- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897228306
3897228300
- Maße
-
24 cm
- Umfang
-
239 S.
- Sprache
-
Deutsch
- Schlagwort
-
Programmiersprache
Funktionale Semantik
Axiomatische Semantik
Programmverifikation
Programmtransformation
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:43 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Berghammer, Rudolf
- Logos
Entstanden
- 2001
Ähnliche Objekte (12)
Literatur von Frauen in der DDR der 60erJahre : Untersuchungen zum Verhältnis literarisch-künstlerischer Produktionen und gesellschaftlich-politischer Rahmenbedingungen in Texten von Irmtraud Morgner, Brigitte Reimann, Christa Wolf
Girlism : Feminismus zwischen Subversion und Ausverkauf
The literature of the book : a select bibliography ; with critical essays, of books by, about and for the book professions
Helene Lange : die Theorie der Geschlechterdifferenz im Denken einer gemäßigten bürgerlichen Frauenrechtlerin
Kooperationen zwischen Eisenbahnverkehrsunternehmen, Bd. 1
Gramatické minimum k učebnici Themen, 1
Studien zur Trierer Apokalypse, 1.. Text
Deutsche Grammatik, Übungsbuch 2
Gramatické minimum k učebnici Themen, 2
Persian language course, Buch.
Transkriptomanalyse von rekombinanten CHO-Zellen : von der Microarray-Entwicklung bis zur Charakterisierung von Fermentationsprozessen
Der Einsatz von Support Vector Machines zur Kreditwürdigkeitsbeurteilung von Unternehmen
Literatur von Frauen in der DDR der 60erJahre : Untersuchungen zum Verhältnis literarisch-künstlerischer Produktionen und gesellschaftlich-politischer Rahmenbedingungen in Texten von Irmtraud Morgner, Brigitte Reimann, Christa Wolf
Girlism : Feminismus zwischen Subversion und Ausverkauf
The literature of the book : a select bibliography ; with critical essays, of books by, about and for the book professions
Helene Lange : die Theorie der Geschlechterdifferenz im Denken einer gemäßigten bürgerlichen Frauenrechtlerin
Kooperationen zwischen Eisenbahnverkehrsunternehmen, Bd. 1
Gramatické minimum k učebnici Themen, 1
Studien zur Trierer Apokalypse, 1.. Text
Deutsche Grammatik, Übungsbuch 2
Gramatické minimum k učebnici Themen, 2
Persian language course, Buch.
Transkriptomanalyse von rekombinanten CHO-Zellen : von der Microarray-Entwicklung bis zur Charakterisierung von Fermentationsprozessen
Der Einsatz von Support Vector Machines zur Kreditwürdigkeitsbeurteilung von Unternehmen
Literatur von Frauen in der DDR der 60erJahre : Untersuchungen zum Verhältnis literarisch-künstlerischer Produktionen und gesellschaftlich-politischer Rahmenbedingungen in Texten von Irmtraud Morgner, Brigitte Reimann, Christa Wolf
Girlism : Feminismus zwischen Subversion und Ausverkauf
The literature of the book : a select bibliography ; with critical essays, of books by, about and for the book professions
Helene Lange : die Theorie der Geschlechterdifferenz im Denken einer gemäßigten bürgerlichen Frauenrechtlerin
Kooperationen zwischen Eisenbahnverkehrsunternehmen, Bd. 1
Gramatické minimum k učebnici Themen, 1
Studien zur Trierer Apokalypse, 1.. Text
Deutsche Grammatik, Übungsbuch 2
Gramatické minimum k učebnici Themen, 2
Persian language course, Buch.
Transkriptomanalyse von rekombinanten CHO-Zellen : von der Microarray-Entwicklung bis zur Charakterisierung von Fermentationsprozessen