FM 2012: Formal Methods (Lecture Notes in Computer Science, 7436) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-32758-2 URL http://dx.doi.org/10.1007/978-3-642-32759-9 FM 2012: Formal Methods (Lecture Notes in Computer Science, 7436) の続きを見る
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3328) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-540-24058-7 URL http://dx.doi.org/10.1007/b104325 FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3328) の続きを見る
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3821) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-540-30495-1 URL http://dx.doi.org/10.1007/11590156 FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3821) の続きを見る
Facets of Combinatorial Optimization 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-642-38188-1 URL http://dx.doi.org/10.1007/978-3-642-38189-8 Facets of Combinatorial Optimization の続きを見る
Facing the Multicore - Challenge II (Lecture Notes in Computer Science, 7174) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-30396-8 URL http://dx.doi.org/10.1007/978-3-642-30397-5 Facing the Multicore - Challenge II (Lecture Notes in Computer Science, 7174) の続きを見る
Factoring Ideals in Integral Domains (Lecture Notes of the Unione Matematica Italiana, 14) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-642-31711-8 URL http://dx.doi.org/10.1007/978-3-642-31712-5 Factoring Ideals in Integral Domains (Lecture Notes of the Unione Matematica Italiana, 14) の続きを見る
Factorization of Matrix and Operator Functions: The State Space Method (Operator Theory: Advances and Applications, 178) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-7643-8267-4 URL http://dx.doi.org/10.1007/978-3-7643-8268-1 Factorization of Matrix and Operator Functions: The State Space Method (Operator Theory: Advances and Applications, 178) の続きを見る
Factors and Factorizations of Graphs (Lecture Notes in Mathematics, 2031) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-642-21918-4 URL http://dx.doi.org/10.1007/978-3-642-21919-1 Factors and Factorizations of Graphs (Lecture Notes in Mathematics, 2031) の続きを見る
Falling Liquid Films (Applied Mathematical Sciences, 176) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-1-84882-366-2 URL http://dx.doi.org/10.1007/978-1-84882-367-9 Falling Liquid Films (Applied Mathematical Sciences, 176) の続きを見る
Families of Conformally Covariant Differential Operators, Q-Curvature and Holography (Progress in Mathematics, 275) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-7643-9899-6 URL http://dx.doi.org/10.1007/978-3-7643-9900-9 Families of Conformally Covariant Differential Operators, Q-Curvature and Holography (Progress in Mathematics, 275) の続きを見る