Matches in Library of Congress for { <http://lccn.loc.gov/2008530109> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2008530109 contributor B11343322.
- 2008530109 contributor B11343323.
- 2008530109 created "c2005.".
- 2008530109 date "2005".
- 2008530109 date "c2005.".
- 2008530109 dateCopyrighted "c2005.".
- 2008530109 description "Efficient algorithms / Rónyai, L., Pintér, B.M. -- Graph-theoretic methods and recent applications in computer science / Deogun, J.S., Tuza, Zs. -- Classical and non-classical logics / Ferenczi, M. -- Selected topics on automata / Imreh, B. -- An introduction to tree transducers / Fülöp, Z. -- Logic in computer science / Szöts, M. -- Finite-source queueing systems / Sztrik, J. -- Metamodeling and model transformations / Pataricza, A., Varró, D.".
- 2008530109 description "Includes bibliographical references.".
- 2008530109 extent "ix, 425 p. :".
- 2008530109 identifier "9630582589".
- 2008530109 identifier "9789630582582".
- 2008530109 identifier 2008530109.html.
- 2008530109 issued "2005".
- 2008530109 issued "c2005.".
- 2008530109 language "eng".
- 2008530109 publisher "Budapest : Akadémiai Kiadó,".
- 2008530109 subject "Formal methods (Computer science)".
- 2008530109 subject "QA76.9.F67 F65 2005".
- 2008530109 tableOfContents "Efficient algorithms / Rónyai, L., Pintér, B.M. -- Graph-theoretic methods and recent applications in computer science / Deogun, J.S., Tuza, Zs. -- Classical and non-classical logics / Ferenczi, M. -- Selected topics on automata / Imreh, B. -- An introduction to tree transducers / Fülöp, Z. -- Logic in computer science / Szöts, M. -- Finite-source queueing systems / Sztrik, J. -- Metamodeling and model transformations / Pataricza, A., Varró, D.".
- 2008530109 title "Formal methods in computing / edited by Ferenczi, M., Pataricza, A., Rónyai, L.".
- 2008530109 type "text".