Integrated Formal Methods (Lecture Notes in Computer Science, 3771) 出版社 Springer 電子書籍プラットフォーム 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: 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 Methods for Optimization (International Series in Operations Research & Management Science, 100) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-0-387-38272-2 URL http://dx.doi.org/10.1007/978-0-387-38274-6 Integrated Methods for Optimization (International Series in Operations Research & Management Science, 100) の続きを見る
Integrated Uncertainty in Knowledge Modelling and Decision Making (Lecture Notes in Computer Science, 7027) 出版社 Springer 電子書籍プラットフォーム 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: 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 and Modern Analysis (Birkhäuser Advanced Texts) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-0-8176-4306-5 URL http://dx.doi.org/10.1007/978-0-8176-4656-1 Integration and Modern Analysis (Birkhäuser Advanced Texts) の続きを見る
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Lecture Notes in Computer Science, 3524) 出版社 Springer 電子書籍プラットフォーム 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: 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: 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: 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) の続きを見る