Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 9 of 280
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings Cover Image E-book E-book

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Holzer, Markus. (editor.). Kutrib, Martin. (editor.). Pighizzini, Giovanni. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642226007
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 329p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject: Computer science
Software engineering
Logic design
Computer Science
Computation by Abstract Devices
Software Engineering
Mathematical Logic and Formal Languages
Logics and Meanings of Programs

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01799nam a22004455i 4500
00140373
003CONS
00520130726162052.0
007cr nn 008mamaa
008110720s2011 gw | s |||| 0|eng d
020 . ‡a9783642226007 ‡9978-3-642-22600-7
0247 . ‡a10.1007/978-3-642-22600-7 ‡2doi
035 . ‡a(DE-He213)978-3-642-22600-7
050 4. ‡aQA75.5-76.95
072 7. ‡aUYZG ‡2bicssc
072 7. ‡aCOM037000 ‡2bisacsh
1001 . ‡aHolzer, Markus. ‡eeditor.
24510. ‡aDescriptional Complexity of Formal Systems ‡h[electronic resource] : ‡b13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / ‡cedited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aX, 329p. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6808
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aComputation by Abstract Devices.
65024. ‡aSoftware Engineering.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aLogics and Meanings of Programs.
7001 . ‡aKutrib, Martin. ‡eeditor.
7001 . ‡aPighizzini, Giovanni. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642225994
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6808
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-22600-7 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a40373 ‡b ‡c40373 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 9 of 280

Additional Resources