Zum Inhalt springen

Glässer, Uwe [Verfasser:in]

A distributed implementation of flat concurrent prolog on message-passing multiprocessor systems

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.

Stuttgart; Leipzig: Teubner, 1993

Erschienen in: Teubner-Texte zur Informatik ; 3
Abrial, Jean-Raymond [Herausgeber:in]; Börger, Egon [Gefeierte:r]; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

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.

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

Erschienen in: Lecture notes in computer science ; 5115
Glässer, Uwe [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]; Prinz, Andreas [Verfasser:in]

An introduction to abstract state machines

Schließen

Merkliste

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

Kaiserslautern: Univ., Fachbereich Informatik, [2003]

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 326
Abrial, Jean-Raymond [Verfasser:in] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Erschienen in: Lecture notes in computer science ; 5115
Abrial, Jean-Raymond [Verfasser:in]; Glässer, Uwe [Verfasser:in] ; Jean-Raymond Abrial and Uwe Glässer [Mitwirkende:r]

06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Abrial, Jean-Raymond [Verfasser:in]; Glässer, Uwe [Verfasser:in] ; Jean-Raymond Abrial and Uwe Glässer [Mitwirkende:r]

06191 Summary – Rigorous Methods for Software Construction and Analysis

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Frappier, Marc [Verfasser:in] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Laleau, Régine [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]

Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Erschienen in: Lecture notes in computer science ; 5977
Glässer, Uwe [Herausgeber:in]; Creissac Campos, Jose [Herausgeber:in]; Méry, Dominique [Herausgeber:in]; Palanque, Philippe [Herausgeber:in]

Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings - [1st ed. 2023.]

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

Erschienen in: Lecture Notes in Computer Science ; 14010
Glässer, Uwe [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]; Prinz, Andreas [Verfasser:in]

An Introduction to Abstract State Machines

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

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

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 2003
Glässer, Uwe [Verfasser:in]; Hallerstede, Stefan [Verfasser:in]; Leuschel, Michael [Verfasser:in]; Riccobene, Elvinia [Verfasser:in] ; Uwe Glässer and Stefan Hallerstede and Michael Leuschel and Elvinia Riccobene [Mitwirkende:r]

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Lausch, Angela [Verfasser:in]; Schaepman, Michael [Verfasser:in]; Skidmore, Andrew K. [Verfasser:in]; Catana, Eusebiu [Verfasser:in]; Bannehr, Lutz [Verfasser:in]; Bastian, Olaf [Verfasser:in]; Borg, Erik [Verfasser:in]; Bumberger, Jan [Verfasser:in]; Dietrich, Peter [Verfasser:in]; Gläßer, Cornelia [Verfasser:in]; Hacker, Jörg M. [Verfasser:in]; Höfer, René [Verfasser:in]; Jagdhuber, Thomas [Verfasser:in]; Jany, Sven [Verfasser:in]; Jung, András [Verfasser:in]; Karnieli, Arnon [Verfasser:in]; Klenke, Reinhard [Verfasser:in]; Kirsten, Toralf [Verfasser:in]; Ködel, Uta [Verfasser:in]; Kresse, Wolfgang [Verfasser:in]; Mallast, Ulf [Verfasser:in]; Montzka, Carsten [Verfasser:in]; Möller, Markus [Verfasser:in]; Mollenhauer, Hannes [Verfasser:in]; [...]

Remote sensing of geomorphodiversity linked to biodiversity, Part III, Traits, processes and remote sensing characteristics

Online ansehen
Schließen

Zugang

... zum Aufsatz 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.

2022

Erschienen in: Remote sensing ; 14(2022), 9, Artikel-ID 2279, Seite 1-48
Glässer, Uwe

Lecture Notes in Computer Science: Modelling of concurrent and embedded systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1997

Erschienen in: Lecture Notes in Computer Science (1997), Seite 108-122
Glässer, Uwe

Computer Aided Systems Theory — EUROCAST '95: Systems level specification and modelling of reactive systems: Concepts, methods, and tools

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1996

Erschienen in: Computer Aided Systems Theory — EUROCAST '95 (1996), Seite 375-385
Gläßer, Thomas; Gehrmann, Uwe

Infrastruktur- und Großbauprojekte erfolgreich planen und steuern

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Narr Francke Attempto Verlag GmbH + Co. KG, 2023

Erschienen in: PROJEKTMANAGEMENT AKTUELL, 34 (2023) 1, Seite 42-46
Farahbod, Roozbeh; Glässer, Uwe

The CoreASM modeling framework

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Wiley, 2011

Erschienen in: Software: Practice and Experience, 41 (2011) 2, Seite 167-178
Glässer, Uwe; Vajihollahi, Mona

Intelligence and Security Informatics: Computational Modeling of Criminal Activity

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2008

Erschienen in: Intelligence and Security Informatics (2008), Seite 39-50
Glässer, Uwe; Prinz, Andreas

SDL 2005: Model Driven: ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2005

Erschienen in: SDL 2005: Model Driven (2005), Seite 162-173
Glässer, Uwe; Gu, Qian-Ping

Formal description and analysis of a distributed location service for mobile ad hoc networks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2005

Erschienen in: Theoretical Computer Science, 336 (2005) 2-3, Seite 285-309
Del Castillo, Giuseppe; Glässer, Uwe

Computer Aided Systems Theory - EUROCAST’99: Computer-Aided Analysis and Validation of Heterogeneous System Specifications

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2000

Erschienen in: Computer Aided Systems Theory - EUROCAST’99 (2000), Seite 55-79
Farahbod, Roozbeh; Gervasi, Vincenzo; Glässer, Uwe

Executable formal specifications of complex distributed systems with CoreASM

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2014

Erschienen in: Science of Computer Programming, 79 (2014), Seite 23-38

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