Matches in Library of Congress for { <http://lccn.loc.gov/2010931832> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2010931832 contributor B12092225.
- 2010931832 created "2010.".
- 2010931832 date "2010".
- 2010931832 date "2010.".
- 2010931832 dateCopyrighted "2010.".
- 2010931832 description "Includes bibliographical references.".
- 2010931832 extent "xiii, 626 p. :".
- 2010931832 identifier "3642150241 (pbk. : alk. paper)".
- 2010931832 identifier "9783642150241 (pbk. : alk. paper)".
- 2010931832 isPartOf "Festschrift".
- 2010931832 isPartOf "Lecture notes in computer science ; 6300".
- 2010931832 issued "2010".
- 2010931832 issued "2010.".
- 2010931832 language "eng".
- 2010931832 publisher "Berlin ; New York : Springer,".
- 2010931832 subject "004.0151".
- 2010931832 subject "Abstrakte Zustandsmaschine swd".
- 2010931832 subject "Automatentheorie swd".
- 2010931832 subject "Berechenbarkeit swd".
- 2010931832 subject "Computer science Mathematics.".
- 2010931832 subject "Formal methods (Computer science)".
- 2010931832 subject "Formale Methode swd".
- 2010931832 subject "Information theory.".
- 2010931832 subject "Komplexitätstheorie swd".
- 2010931832 subject "Logic, Symbolic and mathematical.".
- 2010931832 subject "Mathematische Logik swd".
- 2010931832 subject "Programmverifikation swd".
- 2010931832 subject "QA76.9.M35 F54 2010".
- 2010931832 subject "Softwarespezifikation swd".
- 2010931832 subject "Theoretische Informatik swd".
- 2010931832 title "Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.).".
- 2010931832 type "text".