Skip to contents

Baar, Thomas [Editor] ; UML 7 2004 Lissabon

UML 2004 - The unified modeling language : modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11 - 15, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3273
Baar, Thomas [Author]; Kindler, Ekkart [Author]

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen : eine Vorstudie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Professoren des Inst. für Informatik, 1998

Published in: Informatik-Berichte ; 9900
Baar-Cantoni, Regina [Author] ; Friedrich II. Pfalz, Kurfürst [Other]

Religionspolitik Friedrichs II. von der Pfalz im Spannungsfeld von Reichs- und Landespolitik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Kohlhammer, 2011

Published in: Kommission für Geschichtliche Landeskunde in Baden-Württemberg: Veröffentlichungen der Kommission für Geschichtliche Landeskunde in Baden-Württemberg / B ; 188
Baar, Thomas [Author]; Kindler, Ekkart [Author]; Völzer, Hagen [Author]

Verifying intuition - ILF checks DAWN proofs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Professoren des Inst. für Informatik, 1999

Published in: Informatik-Berichte ; 11900
Cathomas, Verena [Author]; Dischl, Christian [Author] ; Lindauer, Thomas [Editor]; Senn, Werner [Editor] Klett und Balmer AG

Die Sprachstarken : Deutsch für die Sekundarstufe I / 9, Sprachbuch / Herausgeber Thomas Lindauer, Werner Senn ; Autorinnen und Autoren Verena Cathomas, Christian Dischl [und 6 andere] - [1. Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Baar: Klett und Balmer Verlag, 2015

Published in: Die Sprachstarken ; 9,S.2015
Böhme, Thomas J. [Author]; Böhme, Thomas J. [Author]; Frank, Benjamin [Author] ; Springer International Publishing

Hybrid systems, optimal control and hybrid vehicles : theory, methods and applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham, Switzerland: Springer, [2017]

Published in: Advances in industrial control
Charalabidis, Yannis [Author]; Zuiderwijk, Anneke [Author]; Alexopoulos, Charalampos [Author]; Janssen, Marijn [Author]; Lampoltshammer, Thomas [Author]; Ferro, Enrico [Author] ; Springer International Publishing

The world of open data : concepts, methods, tools and experiences

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, [2018]

Published in: Public administration and information technology ; 28
Kusche, Beate [Author]; Michel, Stefan [Author]; Strohm, Christoph [Author]; Schneider-Ludorff, Gury [Author]; Deflers, Isabelle [Author]; Weeber, Urte [Author]; Roth, Michael [Author]; Brendle, Franz [Author]; Haug-Moritz, Gabriele [Author]; Bahn, Steve [Author]; Jähnigen, Saskia [Author]; Enge, Konstantin [Author]; Winter, Christian [Author]; Klingner, Jens [Author]; Adler, Lars [Author]; Stiebert, Gregor [Author]; Wennemuth, Udo [Author]; Baar-Cantoni, Regina [Author]; Hepp, Frieder [Author]; Plate, Oliver [Author]; Maissen, Thomas [Author]; Lausten, Martin Schwarz [Author]; Schütte, Sebastian [Author]; Natour, Elisabeth [Author]; [...] ; Richter, Susan [Editor]; Kohnle, Armin [Editor]; Wolgast, Eike [Honoree]

Herrschaft und Glaubenswechsel : die Fürstenreformation im Reich und in Europa in 28 Biographien

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: Universitätsverlag Winter, [2016]

Published in: Heidelberger Abhandlungen zur mittleren und neueren Geschichte ; 240000

Saxon Bibliography (Sächsische Bibliografie)
Baar, Thomas [Author]

Executable and symbolic conformance tests for implementation models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author]

Experiences with the UML/OCL-approach in practice and strategies of overcome deficiencies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author] ; Strohmeier, Alfred [Other]; Moreira, Ana [Other]; Mellor, Stephen J. [Other]

2004 - The Unified Modeling Language. Modelling Languages and Applications : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 327300
Baar, Thomas [Author] ; Moreira, Ana [Other]; Strohmeier, Alfred [Other]

UML 2004 - The Unified Modeling Language : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3273
Baar, Thomas [Author]

Über die Semantikbeschreibung OCL-artiger Sprachen

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/4822003

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2003-01-01
Baar, Thomas [Author]; Kindler, Ekkart [Author]

ILF and DAWN for verifying distributed algorithms - an idea for a tool

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author]; Kindler, Ekkart [Author]

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

View online
Schließen

Links

http://edoc.hu-berlin.de/18452/3105

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik, 1998-03-13
Baar, Thomas [Author]; Beckert, Bernhard [Author]; Schmitt, Peter H. [Author]

An extension of dynamic logic for modelling OCL's (at)pre operator

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author]; Beckert, Bernhard [Author]; Schmitt, Peter H. [Author]

An extension of dynamic logic for modelling OCL's (at)pre operator

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/29582001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author]; Fischer, Bernd [Author]; Fuchs, Dirk [Author]

Integrating deduction techniques in a software reuse application

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author]; Kindler, Ekkart [Author]; Voelzer, Hagen [Author]

Verifying intuition - ILF checks DAWN proofs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Baar, Thomas [Author]; Haehnle, Reiner [Author]; Sattler, T. [Author]; Schmitt, Peter H. [Author]

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication