007 情報学・情報科学 | 鹿児島大学附属図書館

ポスト名

cat14

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-34780-1

URL

http://dx.doi.org/10.1007/978-3-642-34781-8

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science) の続きを見る

Linked Data in Linguistics

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-28248-5

URL

http://dx.doi.org/10.1007/978-3-642-28249-2

Linked Data in Linguistics の続きを見る

Linking Government Data

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-1-4614-1766-8

URL

http://dx.doi.org/10.1007/978-1-4614-1767-5

Linking Government Data の続きを見る

List Decoding of Error-Correcting Codes (Lecture Notes in Computer Science, 3282)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-24051-8

URL

http://dx.doi.org/10.1007/b104335

List Decoding of Error-Correcting Codes (Lecture Notes in Computer Science, 3282) の続きを見る

Local Pattern Detection (Lecture Notes in Computer Science, 3539)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-26543-6

URL

http://dx.doi.org/10.1007/b137601

Local Pattern Detection (Lecture Notes in Computer Science, 3539) の続きを見る

Location- and Context-Awareness (Lecture Notes in Computer Science, 3479)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-25896-4

URL

http://dx.doi.org/10.1007/b136418

Location- and Context-Awareness (Lecture Notes in Computer Science, 3479) の続きを見る

Loewy Decomposition of Linear Differential Equations (Texts & Monographs in Symbolic Computation)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-7091-1285-4

URL

http://dx.doi.org/10.1007/978-3-7091-1286-1

Loewy Decomposition of Linear Differential Equations (Texts & Monographs in Symbolic Computation) の続きを見る

Logic Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 3573)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-26655-6

URL

http://dx.doi.org/10.1007/b137785

Logic Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 3573) の続きを見る

Logic Programming (Lecture Notes in Computer Science, 3668)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-29208-1

URL

http://dx.doi.org/10.1007/11562931

Logic Programming (Lecture Notes in Computer Science, 3668) の続きを見る

Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Computer Science, 3662)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-28538-0

URL

http://dx.doi.org/10.1007/11546207

Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Computer Science, 3662) の続きを見る

007 情報学・情報科学を購読