Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Hannemann, U."'
Publikováno v:
In Journal of Magnetism and Magnetic Materials 2005 290 Part 2:1247-1250
Publikováno v:
Dams, D.; Hannemann, U. (ed.), Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever, pp. 142-161
Lecture notes in computer science ; 5930, 142-161. Berlin : Springer
STARTPAGE=142;ENDPAGE=161;TITLE=Lecture notes in computer science ; 5930
Lecture notes in computer science ; 5930, 142-161. Berlin : Springer
STARTPAGE=142;ENDPAGE=161;TITLE=Lecture notes in computer science ; 5930
Contains fulltext : 83498.pdf (Publisher’s version ) (Closed access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b0101adf856f6962f064d7358c87d3aa
https://hdl.handle.net/2066/83498
https://hdl.handle.net/2066/83498
Autor:
Fähler, S.1 s.faehler@ifw-dresden.de, Hannemann, U.1, Weisheit, M.1, Neu, V.1, Melcher, S.1, Leinert, S.1, Wimbush, S. C.1, Singh, A.1, Kwon, A.1, Holzapfel, B.1, Schultz, L.1
Publikováno v:
Applied Physics A: Materials Science & Processing. 2004, Vol. 79 Issue 4-6, p1529-1531. 3p.
Effect of rare earth content on microstructure and magnetic properties of SmCo and NdFeB thin films.
Publikováno v:
Journal of Applied Physics; 5/15/2002 Part 1, 2 & 3, Vol. 91 Issue 10, p8180, 3p, 5 Graphs
Publikováno v:
Concurrency, Compositionality, and Correctness ISBN: 9783642115110
Concurrency, Compositionality, and Correctness
Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever, 10-21
STARTPAGE=10;ENDPAGE=21;TITLE=Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness
Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever, 10-21
STARTPAGE=10;ENDPAGE=21;TITLE=Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever
The complexity class PSPACE is one of the most robust concepts in contemporary computer science. Aside from the fact that space is invariant (for reasonable models at least) up to a constant factor, the class can be characterized in many alternative
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f42eb0b2b98f9ec356aeece251540df6
https://doi.org/10.1007/978-3-642-11512-7_2
https://doi.org/10.1007/978-3-642-11512-7_2
Publikováno v:
Concurrency, Compositionality, and Correctness ISBN: 9783642115110
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever), 66-73
STARTPAGE=66;ENDPAGE=73;TITLE=Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever)
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever), 66-73
STARTPAGE=66;ENDPAGE=73;TITLE=Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever)
For many programming languages, the only formal semantics published is an SOS big-step semantics. Such a semantics is not suited for investigations that observe intermediate states, such as invariant techniques. In this paper, a construction is propo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::751aba38fba53e89a49d0a8c90066fa6
https://doi.org/10.1007/978-3-642-11512-7_5
https://doi.org/10.1007/978-3-642-11512-7_5
Publikováno v:
Callaos, N. (ed.), Proceedings, 6th World Multiconference on Systemics, Cybernetics and Informatics, July 14-18, 2002, Orlando, Florida, USA Path following for a poorly controlled mobile robot, pp. 313-318
Callaos, N. (ed.), Proceedings, 6th World Multiconference on Systemics, Cybernetics and Informatics, July 14-18, 2002, Orlando, Florida, USA Path following for a poorly controlled mobile robot, 313-318. Orlando : International Institute of Informatics and Systemics
STARTPAGE=313;ENDPAGE=318;TITLE=Callaos, N. (ed.), Proceedings, 6th World Multiconference on Systemics, Cybernetics and Informatics, July 14-18, 2002, Orlando, Florida, USA Path following for a poorly controlled mobile robot
Callaos, N. (ed.), Proceedings, 6th World Multiconference on Systemics, Cybernetics and Informatics, July 14-18, 2002, Orlando, Florida, USA Path following for a poorly controlled mobile robot, 313-318. Orlando : International Institute of Informatics and Systemics
STARTPAGE=313;ENDPAGE=318;TITLE=Callaos, N. (ed.), Proceedings, 6th World Multiconference on Systemics, Cybernetics and Informatics, July 14-18, 2002, Orlando, Florida, USA Path following for a poorly controlled mobile robot
Contains fulltext : 176102.pdf (Author’s version preprint ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::570c5377bf5cdfa0365bece98339ade1
https://hdl.handle.net/2066/176102
https://hdl.handle.net/2066/176102
Publikováno v:
Proceedings of Foundations of Software Technology and Theoretical Computer Science 15, 80-95
STARTPAGE=80;ENDPAGE=95;TITLE=Proceedings of Foundations of Software Technology and Theoretical Computer Science 15
STARTPAGE=80;ENDPAGE=95;TITLE=Proceedings of Foundations of Software Technology and Theoretical Computer Science 15
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::1d2a23622706101934ef3e446c6cb354
https://research.utwente.nl/en/publications/bf7e854f-b78e-4297-8af2-6cbe950d8e41
https://research.utwente.nl/en/publications/bf7e854f-b78e-4297-8af2-6cbe950d8e41
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2008 32nd Annual IEEE International Computer Software & Applications Conference; 2008, p64-67, 4p