Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN:
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN:3540083421
Lecture Notes in Computer Science 71 Automata
Languages and Programming1979 年出版684 页ISBN:3540095101
Lecture Notes in Computer Science 4374 Transactions on Rough Sets VI Commemorating the Life and Work
Part I2007 年出版499 页ISBN:9783540711988
Lecture Notes in Computer Science 4400 Transactions on Rough Sets VII Commemorating the Life and Wor
Part II2007 年出版381 页ISBN:9783540716624
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Lecture Notes in Computer Science 115 Automata
Languages and Programming Eighth Colloquium1981 年出版550 页ISBN:3540108432