奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果一覧

対象データベース : 本学所蔵
資料の種類 : 図書(CD-ROM,DVD)
所在 : 図書館(オンライン)

図書(CD-ROM,DVD) : 1-50 (5303件)

  1. 0と1のコンピュータ世界バイナリで遊ぼう!, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    坂井弘亮 [ほか] 著. マイナビ, 2014.

    電子ブック BookLooper

  2. 1,001 algebra I practice problems for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Mary Jane Sterling. Wiley, 2013 (--For dummies).

    電子ブック eBookLibrary

  3. 1,001 calculus practice problems for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by PatrickJMT. John Wiley & Sons, 2014 (--For dummies).

    電子ブック eBookLibrary

  4. 1,001 CCNA routing and switching practice questions for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Glen E. Clarke. Wiley, 2014 (--For dummies).

    電子ブック eBookLibrary

  5. 1,001 chemistry practice problems for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Heather Hattori and Richard H. Langley. Wiley, 2014 (--For dummies).

    電子ブック eBookLibrary

  6. 1,001 grammar practice questions for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Geraldine Woods. John Wiley & Sons, 2014 (--For dummies).

    電子ブック eBookLibrary

  7. 1,001 GRE practice questions for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    Wiley, 2015 (--For dummies).

    電子ブック eBookLibrary

  8. 1,001 praxis core practice questions for dummies, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Carla Kirkland and Chan Cleveland. John Wiley & Sons, 2017 (--For dummies).

    電子ブック eBookLibrary

  9. 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Mark E. Stickel. Springer-Verlag, 1990 (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence:449).

    電子ブック Springer e-book

  10. 180日でグローバル人材になる方法 : MBA留学に代わるプロフェッショナルへの新たな道筋, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    天野雅晴著. 東洋経済新報社, 2012.

    電子ブック BookLooper

  11. 20世紀の日本の化学技術 : 21世紀が見えてくる. 目次あり PDF

    化学史学会編. 化学史学会/ティー・アイ・シィー, 2004.

    電子化情報

  12. 20代で絶対学んでおくべき心理術, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    内藤誼人著. 東洋経済新報社, 2011.

    電子ブック BookLooper

  13. 21世紀に向けての産官学連携戦略 : ネットワーク社会における科学と産業. 目次あり PDF

    奈良先端科学技術大学院大学AGIP21研究会編. 化学工業日報社, 1998.

    書庫 377||NAR , 図書館 377||NAR , 電子化情報

  14. 24週日本語文法ツアー, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    益岡隆志著. 丸善, 2013.

    電子ブック eBookLibrary

  15. 25 Years of Model Checking : History, Achievements, Perspectives, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Orna Grumberg, Helmut Veith. Springer-Verlag Berlin Heidelberg, 2008 (Lecture Notes in Computer Science:5000).

    電子ブック Springer e-book

  16. 3D printing for dummies, 2nd ed, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Richard Horne and Kalani Kirk Hausman. John Wiley & Sons, 2017 (--For dummies).

    電子ブック eBookLibrary

  17. 3か月でやり直し!英語モジュール学習法, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    竹村和浩著. 東洋経済新報社, 2013.

    電子ブック BookLooper

  18. 50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer. Springer-Verlag Berlin Heidelberg, 2007 (Lecture Notes in Computer Science:4850).

    電子ブック Springer e-book

  19. 5th Conference on Automated Deduction Les Arcs, France, July 8?11, 1980, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Wolfgang Bibel, Robert Kowalski. Springer-Verlag, 1980 (Lecture Notes in Computer Science:87).

    電子ブック Springer e-book

  20. 5th Conference on Optimization Techniques Part I, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by R. Conti, A. Ruberti. Springer-Verlag, 1973 (Lecture Notes in Computer Science:3).

    電子ブック Springer e-book

  21. 5th Conference on Optimization Techniques Part II, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by R. Conti, A. Ruberti. Springer-Verlag, 1973 (Lecture Notes in Computer Science:4).

    電子ブック Springer e-book

  22. 6th Conference on Automated Deduction : New York, USA, June 7-9, 1982, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by D. W. Loveland. Springer-Verlag, 1982 (Lecture Notes in Computer Science:138).

    電子ブック Springer e-book

  23. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Jorg H. Siekmann. Springer-Verlag, 1986 (Lecture Notes in Computer Science:230).

    電子ブック Springer e-book

  24. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Ewing Lusk, Ross Overbeek. Springer-Verlag, 1988 (Lecture Notes in Computer Science:310).

    電子ブック Springer e-book

  25. Abstract Software Specifications : 1979 Copenhagen Winter School January 22 ? February 2, 1979 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Dines Bjoorner. Springer-Verlag, 1980 (Lecture Notes in Computer Science:86).

    電子ブック Springer e-book

  26. Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Egon Borger, Michael Butler, Jonathan P. Bowen, Paul Boca. Springer-Verlag Berlin Heidelberg, 2008 (Lecture Notes in Computer Science:5238).

    電子ブック Springer e-book

  27. Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Lorenza Saitta, Jean-Daniel Zucker. Springer-Verlag GmbH., 2005 (Lecture Notes in Computer Science:3607).

    電子ブック Springer e-book

  28. Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Ian Miguel, Wheeler Ruml. Springer-Verlag Berlin Heidelberg, 2007 (Lecture Notes in Computer Science:4612).

    電子ブック Springer e-book

  29. Accessing Multilingual Information Repositories : 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Carol PetersFredric Gey, Julio G. Springer-Verlag GmbH., 2006 (Lecture Notes in Computer Science:4022).

    電子ブック Springer e-book

  30. Accurate Scientific Computations : Symposium, Bad Neuenahr, FRG, March 12-14, 1985 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Willard L. Miranker, Richard A. Toupin. Springer-Verlag, 1986 (Lecture Notes in Computer Science:235).

    電子ブック Springer e-book

  31. Active and Programmable Networks : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden. Springer Berlin Heidelberg, 2009 (Lecture Notes in Computer Science:4388).

    電子ブック Springer e-book

  32. Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Peter P. Chen, Leah Y. Wong. Springer-Verlag Berlin Heidelberg, 2007 (Lecture Notes in Computer Science:4512).

    電子ブック Springer e-book

  33. Active Media Technology : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009. Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Jiming Liu, Jinglong Wu, Yiyu Yao, Toyoaki Nishida. Springer-Verlag Berlin Heidelberg, 2009 (Lecture Notes in Computer Science:5820).

    電子ブック Springer e-book

  34. Active Mining : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Hiroshi Motoda, Masayuki Numao, Shusaku Tsumoto, Takahira Yamaguchi. Springer-Verlag GmbH., 2005 (Lecture Notes in Computer Science:3430).

    電子ブック Springer e-book

  35. Active Networks : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Gary J. Minden. Springer-Verlag GmbH., 2007 (Lecture Notes in Computer Science:3912).

    電子ブック Springer e-book

  36. Active Visual Inference of Surface Shape, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Roberto Cipolla. Springer-Verlag, 1996 (Lecture Notes in Computer Science:1016).

    電子ブック Springer e-book

  37. Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by David Coudert, David Simplot-Ryl, Ivan Stojmenovic. Springer-Verlag Berlin Heidelberg, 2008 (Lecture Notes in Computer Science:5198).

    電子ブック Springer e-book

  38. Ad-Hoc, Mobile and Wireless Networks : 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Pedro M. Ruiz, Jose Joaquin Garcia-Luna-Aceves. Springer Berlin Heidelberg, 2009 (Lecture Notes in Computer Science:5793).

    電子ブック Springer e-book

  39. Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738) : 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Edgar Chavez, Violet R. Syrotiuk. Springer-Verlag GmbH., 2005 (Lecture Notes in Computer Science:3738).

    電子ブック Springer e-book

  40. Ad-Hoc, Mobile, and Wireless Networks (vol. # 4104) : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Thomas Kunz, S.S. Ravi. Springer-Verlag GmbH., 2006 (Lecture Notes in Computer Science:4104).

    電子ブック Springer e-book

  41. Ad-Hoc, Mobile, and Wireless Networks : 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Evangelos Kranakis, Jaroslav Opatrny. Springer-Verlag Berlin Heidelberg, 2007 (Lecture Notes in Computer Science:4686).

    電子ブック Springer e-book

  42. Ada 2005 Rationale : The Language, The Standard Libraries, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by John Barnes. John Barnes Informatics, 2008 (Lecture Notes in Computer Science:5020).

    電子ブック Springer e-book

  43. Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy. Springer-Verlag Berlin Heidelberg, 2006 (Lecture Notes in Computer Science:4348).

    電子ブック Springer e-book

  44. Ada - Europe '93 : 12th Ada-Europe International Conference, “Ada Sans Frontieres” Paris, France, June 14-18, 1993 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Michel Gauthier. Springer-Verlag, 1993 (Lecture Notes in Computer Science:688).

    電子ブック Springer e-book

  45. Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26-30, 1994 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Marcel Toussaint. Springer-Verlag, 1994 (Lecture Notes in Computer Science:887).

    電子ブック Springer e-book

  46. Ada in Europe : Second International Eurospace - Ada-Europe Symposium Frankfurt/Main, Germany, October 2-6, 1995 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Marcel Toussaint. Springer-Verlag, 1996 (Lecture Notes in Computer Science:1031).

    電子ブック Springer e-book

  47. Ada Software Tools Interfaces : Workshop, Bath, July 13-15, 1983 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Peter J. L. Wallis. Springer-Verlag, 1984 (Lecture Notes in Computer Science:180).

    電子ブック Springer e-book

  48. Ada: Moving Towards 2000 : 11th Ada-Europe International Conference Zandvoort, The Netherlands, June 1-5, 1992 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by J. Katwijk. Springer-Verlag, 1992 (Lecture Notes in Computer Science:603).

    電子ブック Springer e-book

  49. Ada: The Choice for '92 : Ada-Europe International Conference Athens, Greece, May 13-17, 1991 Proceedings, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    edited by Dimitris Christodoulakis. Springer-Verlag, 1991 (Lecture Notes in Computer Science:499).

    電子ブック Springer e-book

  50. The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs, : electronic bk [機械可読データファイル -- リモートファイル]. 電子ブックを表示

    by Waltraud Dehning, Heidrun Essig, Susanne Maass. Springer-Verlag, 1981 (Lecture Notes in Computer Science:110).

    電子ブック Springer e-book