Zum Inhalt springen

Leroux, Jérôme [VerfasserIn]; Sutre, Grégoire [VerfasserIn] ; Jérôme Leroux and Grégoire Sutre [MitwirkendeR]

Flat counter automata almost everywhere!

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Larsen, Kim G. [VerfasserIn]; Mikucionis, Marius [VerfasserIn]; Nielsen, Brian [VerfasserIn] ; Kim G. Larsen and Marius Mikucionis and Brian Nielsen [MitwirkendeR]

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Kalouli, Aikaterini-Lida [VerfasserIn]

Hy-NLI : a Hybrid system for state-of-the-art Natural Language Inference

Online ansehen
Schließen

Zugang

https://d-nb.info/1233203029/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.

Konstanz: KOPS Universität Konstanz, 2021
Marcus, Eric R. [VerfasserIn]

Modern Ego Psychology and Human Sexual Experience : The Meaning of Treatment

Online ansehen
Schließen

Zugang

https://directory.doabooks.org/handle/20.500.12854/134975

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.

Oxford: Taylor & Francis, 2023
VDI-Gesellschaft Bauen und Gebäudetechnik, VDI Society Civil Engineering and Building Services, VDI Verein Deutscher Ingenieure e.V., VDI - The Association of German Engineers

VDI-MT 3814 Blatt 6 : Gebäudeautomation (GA) - Qualifizierung, Rollen und Kompetenzen - [2020-04-00]

Online ansehen
Schließen

Links

https://www.nautos.de/O9G/search/item-detail/DE45667099

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.

Düsseldorf: VDI-Verlag, 2020

Erschienen in: VDI-Richtlinien
Haynes, Edwards S.

Rajput Ceremonial Interactions as a Mirror of a Dying Indian State System, 1820-1947

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.

Cambridge University Press, 1990

Erschienen in: Modern Asian Studies
Bertacco, Valeria; Olukotun, Kunle

Efficient state representation for symbolic simulation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

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.

ACM Press, 2002

Erschienen in: Proceedings of the 39th conference on Design automation - DAC '02
Bertacco, Valeria; Olukotun, Kunle

Efficient state representation for symbolic simulation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

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.

ACM Press, 2002

Erschienen in: Proceedings of the 39th conference on Design automation - DAC '02
Thiele, Bernhard; Pop, Adrian; Fritzson, Peter

Flattening of Modelica State Machines: A Practical Symbolic Representation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

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.

Linköping University Electronic Press, 2015

Erschienen in: Linköping Electronic Conference Proceedings
Thierry-Mieg, Yann; Ilié, Jean-Michel; Poitrenaud, Denis

Lecture Notes in Computer Science: A Symbolic Symbolic State Space Representation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

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.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science
He, Dongjiao; Xu, Wei; Zhang, Fu

Symbolic Representation and Toolkit Development of Iterated Error-State Extended Kalman Filters on Manifolds

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.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Erschienen in: IEEE Transactions on Industrial Electronics
Abrami, Avner; Heisig, Stephen; Ramos, Vesper; Thomas, Kevin C.; Ho, Bryan K.; Caggiano, Vittorio

Using an unbiased symbolic movement representation to characterize Parkinson’s disease states

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 Science and Business Media LLC, 2020

Erschienen in: Scientific Reports
Pimentel, Douglas de Souza; Magro, Teresa Cristina

The symbolic sphere and social representations of Serra da Tiririca State Park, Rio de Janeiro, Brazil

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.

FapUNIFESP (SciELO), 2011

Erschienen in: Sociedade & Natureza
Tino, P.; Koteles, M.

Extracting finite-state representations from recurrent neural networks trained on chaotic symbolic sequences

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.

Institute of Electrical and Electronics Engineers (IEEE), 1999

Erschienen in: IEEE Transactions on Neural Networks
Zamotin, M. P.

Blues as a Symbolic Resistance and Representation of Countercultural Groups in the United States in the late 19 – early 20 centuries

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.

St. Petersburg Electrotechnical University LETI, 2022

Erschienen in: Discourse
Konev, Kirill A.; Fedosov, Egor A.

Figurative and symbolic specifics of the Representation of the Entente and the United States in the Soviet Printed Propaganda of the Civil War Period (1918-1920)

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.

Tomsk State University, 2022

Erschienen in: Vestnik Tomskogo gosudarstvennogo universiteta. Istoriya
Douglas de Souza Pimentel; Teresa Cristina Magro

The symbolic sphere and social representations of Serra da Tiririca State Park, Rio de Janeiro, Brazil / A esfera simbólica e representações sociais do Parque Estadual da Serra da Tiririca, Rio de Janeiro, Brasil

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.

2011

Erschienen in: Revista Sociedade & Natureza

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