上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Models and Principles)
該当件数:24件
Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining / by Hisao Ishibuchi, Tomoharu Nakashima, Manabu Nii
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Advanced Information Processing)
電子ブック <1002981605>
Markov Processes for Stochastic Modeling / by Masaaki Kijima
Boston, MA : Springer US : Imprint: Springer , 1997
電子ブック <1002994636>
Component-Based Software Testing with UML / by Hans-Gerhard Gross
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005
電子ブック <1002981607>
Artificial Intelligence Applications and Innovations : IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China / edited by Daoliang Li, Baoji Wang
Boston, MA : International Federation for Information Processing , 2005. - (IFIP — The International Federation for Information Processing ; 187)
電子ブック <1002981425>
Industrial Applications of Semantic Web : Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25–27, 2005, Jyväskylä, Finland / edited by Max Bramer, Vagan Terziyan
Boston, MA : International Federation for Information Processing , 2005. - (IFIP — The International Federation for Information Processing ; 188)
電子ブック <1002981427>
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare
Dordrecht : Springer , 2005. - (NATO Science Series, Series II: Mathematics, Physics and Chemistry ; 195)
電子ブック <1002981481>
System Modeling and Optimization : Proceedings of the 21st IFIP TC7 Conference held in July 21st–25th, 2003, Sophia Antipolis, France / edited by John Cagnol, Jean-Paul Zolésio
Boston, MA : International Federation for Information Processing , 2005. - (IFIP International Federation for Information Processing ; 166)
電子ブック <1002981509>
Accessible Access 2003 / by Mark Whitehorn, Bill Marklyn
London : Mark Whitehorn , 2005
電子ブック <1002981581>
Applications of Agent Technology in Traffic and Transportation / edited by Franziska Klügl, Ana Bazzan, Sascha Ossowski
Basel : Birkhäuser Verlag , 2005. - (Whitestein Series in Software Agent Technologies)
電子ブック <1002981673>
Logical Data Modeling : What it is and How to do it / by Alan Chmura, J. Mark Heumann
New York, NY : Springer Science+Business Media, Inc. , 2005. - (Integrated Series in Information Systems ; 5)
電子ブック <1002981271>
Adapting Proofs-as-Programs : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley
New York, NY : Springer Science+Business Media Inc. , 2005. - (Monographs in Computer Science)
電子ブック <1002981333>
Technology Enhanced Learning : IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Jean-Pierre Courtiat, Costas Davarakis, Thierry Villemur
Boston, MA : International Federation for Information Processing , 2005. - (IFIP International Federation for Information Processing ; 171)
電子ブック <1002981349>
Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli
Boston, MA : International Federation for Information Processing , 2005. - (IFIP International Federation for Information Processing ; 173)
電子ブック <1002981353>
Fuzzy Database Modeling with XML / by Zongmin Ma
Boston, MA : Springer Science+Business Media, Inc. , 2005. - (Advances in Database Systems ; 29)
電子ブック <1002981359>
Software Process Modeling / edited by Silvia T. Acuña, Natalia Juristo
Boston, MA : Springer Science+Business Media, Inc. , 2005. - (International Series in Software Engineering ; 10)
電子ブック <1002981361>
Stream Data Management / edited by Nauman A. Chaudhry, Kevin Shaw, Mahdi Abdelguerfi
Boston, MA : Springer Science+Business Media, Inc. , 2005. - (Advances in Database Systems ; 30)
電子ブック <1002981373>
A Software Process Model Handbook for Incorporating People’s Capabilities / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon
Boston, MA : Springer Science+Business Media, Inc. , 2005
電子ブック <1002981377>
Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect / edited by Peter Bernus, Mark Fox
Boston, MA : International Federation for Information Processing , 2005. - (IFIP — The International Federation for Information Processing ; 183)
電子ブック <1002981415>
Collaborative Networks and Their Breeding Environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26–28 September, 2005, Valencia, Spain / edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Angel Ortiz
Boston, MA : International Federation for Information Processing , 2005. - (IFIP — The International Federation for Information Processing ; 186)
電子ブック <1002981423>
Cognitive Engineering : A Distributed Approach to Machine Intelligence / by Amit Konar, Lakhmi Jain
London : Springer-Verlag London Limited , 2005. - (Advanced Information and Knowledge Processing)
電子ブック <1002981589>