Zum Inhalt springen

Beckmann, Johann [Verfasser:in] ; Beckert, Manfred [Herausgeber:in]

Vorrath kleiner Anmerkungen über mancherley gelehrte Gegenstände - [Auszugsweiser Nachdr. d. Ausg. Göttingen, Röwer 1795/1806]

Online ansehen
Schließen

Schließen

Merkliste

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

Leipzig: Fachbuchverl., 1990
Autor Der [Verfasser:in] ; Beckert, Dieter [Herausgeber:in]; Wolff, Jürgen B. [Sonstige Person, Familie und Körperschaft]

Das Hanebuch von 1984 : die brachialromantische Urfaust oder das Ende der Lebertranen-Dynastie - [1. Aufl., (1. Tsd.)]

Schließen

Merkliste

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

Leipzig: Connewitzer Verl.-Buchh., 1995 ; [Paderborn]: Igel-Verl., 1995
Beckert, Manfred [Verfasser:in] ; Beckmann, Johann [Sonstige Person, Familie und Körperschaft]

Johann Beckmann : mit 16 Abbildungen - [1. Auflage]

Schließen

Merkliste

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

Leipzig: BSB B. G. Teubner Verlagsgesellschaft, 1983

Erschienen in: Biographien hervorragender Naturwissenschaftler, Techniker und Mediziner ; 68
Pfeifer, Harald [Sonstige Person, Familie und Körperschaft]; Beckert, Dieter [Sonstige Person, Familie und Körperschaft]; Wolff, Jürgen B. [Sonstige Person, Familie und Körperschaft] ; Duo Sonnenschirm

So war die Wirklichkeit noch nie : das "Duo Sonnenschirm" nach 25 Jahren (1 Tonkassette)

Schließen

Merkliste

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

[S.l.]: MDR, 2005

Erschienen in: Kabarett
Beckert, Dieter [Verfasser:in]; Wolff, Jürgen B. [Verfasser:in]

Zuversicht ist des Schiffers Uferlicht : Duo Sonnenschirm's drittes Buch der Brachialromantik

Schließen

Merkliste

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

Leipzig; Dresden: Ballhornsche Verl.-Anst., 1997
Beckert, Dieter [Verfasser:in]; Wolff, Jürgen B. [Verfasser:in]

Die Liebe in den Zeiten der Kohlära : ein Brettlbuch - [1. Aufl.]

Schließen

Merkliste

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

Leipzig: Thom, 1993
Teuber, Susanne [Sonstige Person, Familie und Körperschaft]

Church bells, bombs, and lilac trees : growing up in war-torn Germany - [2. print., rev. and expanded]

Online ansehen
Schließen

Schließen

Merkliste

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

[S.l.], 2013
Weigl, Alexander Sebastian [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Formal Specification and Verification for Automated Production Systems

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2021-12-07
Herda, Mihai [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2020-01-01
Grebing, Sarah Caecilia [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

User Interaction in Deductive Interactive Program Verification

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2019-01-01
Liu, Tianhai [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2018-01-01
Greiner, Simon [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

A Framework for Non-Interference in Component-Based Systems

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2018-01-01
Grahl, Daniel [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2015-01-01
Bormer, Thorsten [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2014-01-01
Gladisch, Christoph David [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Verification-based Software-fault Detection

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT-Bibliothek, Karlsruhe, 2011-01-01
Gladisch, Christoph David [Verfasser:in] ; Beckert, B. [Mitwirkende:r]

Verification-based software-fault detection

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

KIT Scientific Publishing, Karlsruhe, 2011-01-01
Beckert, B. [Verfasser:in]; Klebanov, V. [Verfasser:in]

A Dynamic Logic for Deductive Verification of Concurrent Programs

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

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

IEEE Computer Society, 2007-01-01
Beckert, Matthias [Verfasser:in] ; Ernst, Rolf [Akademische:r Betreuer:in]; Kowalewski, Stefan [Akademische:r Betreuer:in] Technische Universität Braunschweig

Scheduling mechanisms for efficient and safe automotive systems integration

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (frei zugänglich)

... zum E-Book via DOI (frei zugänglich)

Schließen

Merkliste

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

Braunschweig, 2019
Kaufmann, Martin [Verfasser:in] ; Dietzek-Ivanšić, Benjamin [Akademische:r Betreuer:in]; Beckert, Rainer [Akademische:r Betreuer:in] Friedrich-Schiller-Universität Jena

Entwicklung amphiphiler Thiazole zum Einsatz in der Langmuir-Blodgett Technik

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext ; frei zugänglich)

Schließen

Merkliste

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

Jena, 2018
Beckert, B. [Verfasser:in]; Grebing, S. [Verfasser:in]; Böhl, F. [Verfasser:in]

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

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

Open Publishing Association, 2015-02-17

Erschienen in: Electronic proceedings in theoretical computer science, 167, 4-13 ; ISSN: 2075-2180

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