Matches in Library of Congress for { <http://lccn.loc.gov/2009934015> ?p ?o. }
Showing items 1 to 40 of
40
with 100 items per page.
- 2009934015 contributor B11729632.
- 2009934015 contributor B11729633.
- 2009934015 created "2009.".
- 2009934015 date "2009".
- 2009934015 date "2009.".
- 2009934015 dateCopyrighted "2009.".
- 2009934015 description "Includes bibliographical references and index.".
- 2009934015 extent "x, 290 p. :".
- 2009934015 identifier "3642043674 (pbk. : alk. paper)".
- 2009934015 identifier "9783642043673 (pbk. : alk. paper)".
- 2009934015 isPartOf "Lecture notes in computer science ; 5813. 0302-9743".
- 2009934015 isPartOf "Lecture notes in computer science, 0302-9743 ; 5813".
- 2009934015 issued "2009".
- 2009934015 issued "2009.".
- 2009934015 language "eng".
- 2009934015 publisher "Berlin ; New York : Springer".
- 2009934015 spatial "Budapest <2009>".
- 2009934015 subject "004n/a".
- 2009934015 subject "Computer simulation Congresses.".
- 2009934015 subject "Echtzeitsystem. swd".
- 2009934015 subject "Formal methods (Computer science) Congresses.".
- 2009934015 subject "Formale Methode. swd".
- 2009934015 subject "Hybrides System Echtzeitsystem Formale Methode Kongress Budapest <2009>".
- 2009934015 subject "Hybrides System. swd".
- 2009934015 subject "Machine theory Congresses.".
- 2009934015 subject "Model Checking Temporale Logik Formale Methode Kongress Budapest <2009>".
- 2009934015 subject "Model Checking. swd".
- 2009934015 subject "QA76.9.C65 F676 2009".
- 2009934015 subject "Temporal automata Congresses.".
- 2009934015 subject "Temporale Logik. swd".
- 2009934015 subject "Zeitbehafteter Automat Formale Methode Kongress Budapest <2009>".
- 2009934015 subject "Zeitbehafteter Automat. swd".
- 2009934015 subject "Zeitbewertetes Petri-Netz Formale Methode Kongress Budapest <2009>".
- 2009934015 subject "Zeitbewertetes Petri-Netz. swd".
- 2009934015 subject "Zeitdiskretes System Formale Methode Kongress Budapest <2009>".
- 2009934015 subject "Zeitdiskretes System. swd".
- 2009934015 title "Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.).".
- 2009934015 type "Budapest (2009) swd".
- 2009934015 type "Kongress. swd".
- 2009934015 type "text".