Zum Inhalt springen

Kreowski, Hans-Jörg [VerfasserIn]

Logische Grundlagen der Informatik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1991

Erschienen in: Handbuch der Informatik ; 1,1
Kreowski, Hans-Jörg [HerausgeberIn]

Informatik und Gesellschaft : Verflechtungen und Perspektiven

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Münster: LIT, 2008

Erschienen in: Kritische Informatik ; 4
Kreowski, Hans-Jörg [HerausgeberIn] ; Workshop on Theory and Applications of Abstract Data Types 3 1984 Bremen

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types ; selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1985

Erschienen in: Informatik-Fachberichte ; 116
Ehrig, Hartmut [VerfasserIn]; Kreowski, Hans-Jörg [VerfasserIn]

Systematic approach of reduction and minimization in automata and system theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Techn. Univ., 1973

Erschienen in: Technische Universität Berlin: Bericht / Technische Universität Berlin, Fachbereich 20, Kybernetik ; 73,16
Busatto, Giorgio [VerfasserIn] ; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Kuske, Sabine [Sonstige Person, Familie und Körperschaft]

Abstract hierarchical graph transformation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Univ., FB Mathematik u. Informatik, 2001

Erschienen in: Informatik ; 200101
Kreowski, Hans-Jörg [HerausgeberIn]; Franck, Reinhold [GefeierteR] ; Kolloquium Informatik zwischen Wissenschaft und Gesellschaft 1990 Bremen

Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Informatik-Fachberichte ; 309
Kreowski, Hans-Jörg [VerfasserIn]; Oechtering, Veronika [VerfasserIn]; Rügge, Ingrid [VerfasserIn]

Das Informatik-Studium ist anders! : zur Information und Motivation von Frauen und Mädchen für das Informatik- Studium; [Abschlußbericht]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen, 1997

Erschienen in: Informatik ; 98,2
Kreowski, Hans-Jörg [VerfasserIn]; Schmidt, Heinz Wilhelm [VerfasserIn]

Some algebraic concepts of the specification language SEGRAS and their initial semantics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn, 1984

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 9300
Kreowski, Hans-Jörg [HerausgeberIn]; Scholz-Reiter, Bernd [HerausgeberIn]; Thoben, Klaus-Dieter [HerausgeberIn] ; LDIC 3 2012 Bremen

Dynamics in logistics : third international conference, LDIC 2012 Bremen, Germany, February/March 2012 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2013

Erschienen in: Lecture notes in logistics
Bittner, Peter [HerausgeberIn]; Hügel, Stefan [HerausgeberIn]; Kreowski, Hans-Jörg [HerausgeberIn]; Meyer-Ebrecht, Dietrich [HerausgeberIn]; Schinzel, Britta [HerausgeberIn] ; Forum InformatikerInnen für Frieden und Gesellschaftliche Verantwortung

Gesellschaftliche Verantwortung in der digital vernetzten Welt

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Münster: LIT, [2014]

Erschienen in: Kritische Informatik ; 8
Kreowski, Hans-Jörg [HerausgeberIn]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Taentzer, Gabriele [Sonstige Person, Familie und Körperschaft]; Ehrig, Hartmut [GefeierteR]

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3393
Beinke, Thies [VerfasserIn] ; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Hahn, Axel [Sonstige Person, Familie und Körperschaft]

Kooperative Errichtung der Offshore-Windenergie : Konzeptionelle Entwicklung einer lieferketten- und projektübergreifenden Logistikgestaltung

Online ansehen
Schließen

Zugang

https://d-nb.info/1189808331/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2018
Bunke, Michaela [VerfasserIn] ; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Sohr, Karsten [Sonstige Person, Familie und Körperschaft]

Security-Pattern Recognition and Validation

Online ansehen
Schließen

Zugang

https://d-nb.info/1179349873/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2019
Gruber, Thomas [VerfasserIn] ; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Nickel, Gregor [Sonstige Person, Familie und Körperschaft]

Verquickung der mathematischen und informatischen Forschung an zivilen deutschen Hochschulen mit der modernen Kriegsführung

Online ansehen
Schließen

Zugang

https://d-nb.info/118132159X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2018
Neugebauer, Winfried [VerfasserIn] ; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Nake, Frieder [Sonstige Person, Familie und Körperschaft]

Darstellung von Zahlen durch Wörter und Zeichen

Online ansehen
Schließen

Zugang

https://d-nb.info/1100604006/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2016
Abdenebaoui, Larbi [VerfasserIn] ; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Pannek, Jürgen [Sonstige Person, Familie und Körperschaft]

Graph-Transfromational Swarms : A Graph-Transformational Approach to Swarm Computation

Online ansehen
Schließen

Zugang

https://d-nb.info/112770141X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2016
Luderer, Melanie [VerfasserIn] ; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]; Padberg, Julia [AkademischeR BetreuerIn]

Control Conditions for Transformation Units : Parallelism, As-long-as-possible, and Stepwise Control

Online ansehen
Schließen

Zugang

https://d-nb.info/1096391287/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2016
Ong, Yongzhi [VerfasserIn] ; Kurth, Winfried [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]

Extension of the Rule-Based Programming Language XL by Concepts for Multi-Scaled Modelling and Level-of-Detail Visualization

Online ansehen
Schließen

Zugang

https://d-nb.info/1070423653/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2015
Metzen, Jan Hendrik [VerfasserIn] ; Kirchner, Frank [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]

Learning the Structure of Continuous Markov Decision Processes

Online ansehen
Schließen

Zugang

https://d-nb.info/1072157233/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2014
Hamann, Lars [VerfasserIn] ; Gogolla, Martin [AkademischeR BetreuerIn]; Kreowski, Hans-Jörg [AkademischeR BetreuerIn]

On Formalizing UML and OCL Features and Their Employment to Runtime Verification

Online ansehen
Schließen

Zugang

https://d-nb.info/1072303620/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Staats- und Universitätsbibliothek Bremen, 2015

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr