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

ポスト名

cat14

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation (Lecture Notes in Computer Science, 6951)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-24153-6

URL

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation (Lecture Notes in Computer Science, 6951) の続きを見る

Integrated Computing Technology (Communications in Computer and Information Science, 165)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-22246-7

URL

http://dx.doi.org/10.1007/978-3-642-22247-4

Integrated Computing Technology (Communications in Computer and Information Science, 165) の続きを見る

Integrated Formal Methods (Lecture Notes in Computer Science, 3771)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-30492-0

URL

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

Integrated Formal Methods (Lecture Notes in Computer Science, 3771) の続きを見る

Integrated Formal Methods (Lecture Notes in Computer Science, 7321)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-30728-7

URL

http://dx.doi.org/10.1007/978-3-642-30729-4

Integrated Formal Methods (Lecture Notes in Computer Science, 7321) の続きを見る

Integrated Uncertainty in Knowledge Modelling and Decision Making (Lecture Notes in Computer Science, 7027)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-24917-4

URL

http://dx.doi.org/10.1007/978-3-642-24918-1

Integrated Uncertainty in Knowledge Modelling and Decision Making (Lecture Notes in Computer Science, 7027) の続きを見る

Integrating Human Aspects in Production Management (IFIP Advances in Information and Communication Technology, 160)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-0-387-23065-8

URL

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

Integrating Human Aspects in Production Management (IFIP Advances in Information and Communication Technology, 160) の続きを見る

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Lecture Notes in Computer Science, 3524)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-26152-0

URL

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Lecture Notes in Computer Science, 3524) の続きを見る

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Lecture Notes in Computer Science, 6697)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21310-6

URL

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Lecture Notes in Computer Science, 6697) の続きを見る

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems (Lecture Notes in Computer Science, 7298)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-29827-1

URL

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

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems (Lecture Notes in Computer Science, 7298) の続きを見る

Integration of World Knowledge for Natural Language Understanding (Atlantis Thinking Machines, 3)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-94-91216-52-7

URL

http://dx.doi.org/10.2991/978-94-91216-53-4

Integration of World Knowledge for Natural Language Understanding (Atlantis Thinking Machines, 3) の続きを見る

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