上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Computation by Abstract Devices)
該当件数:96件
Implementation and Application of Automata (vol. # 3317) : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3317)
電子ブック <1002981787>
Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Gi
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3566)
電子ブック <1002982239>
Transactions on Computational Systems Biology II / edited by Alexander Zelikovsky
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3680)
電子ブック <1002982435>
AI*IA 2005: Advances in Artificial Intelligence : 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings / edited by Stefania Bandini, Sara Manzoni
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3673)
電子ブック <1002982463>
Unconventional Computation (vol. # 3699) : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings / edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez et al
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3699)
電子ブック <1002982475>
Evolutionary Synthesis of Pattern Recognition Systems / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec
New York, NY : Springer Science+Business Media, Inc. , 2005. - (Monographs in Computer Science)
電子ブック <1002981261>
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity / by Jörg Rothe
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS))
電子ブック <1002981633>
Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / by Juraj HromkoviČ
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series)
電子ブック <1002981645>
Swarm Robotics : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / edited by Erol Sahin, William M. Spears
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3342)
電子ブック <1002981779>
Membrane Computing (vol. # 3365) : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / edited by Giancarlo MauriGheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenb
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3365)
電子ブック <1002981891>
Machines, Computations, and Universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / edited by Maurice Margenstern
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3354)
電子ブック <1002981913>
Evolutionary Computation in Combinatorial Optimization (vol. # 3448) : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / edited by Jens Gottlieb, Günther R. Raidl
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3448)
電子ブック <1002981943>
Multiple Classifier Systems : 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005, Proceedings / edited by Josef Kittler, Nikunj C. Oza, Robi Polikar, Fabio Roli
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3541)
電子ブック <1002982151>
Developments in Language Theory (vol. # 3572) : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / edited by Clelia De Felice, Antonio Restivo
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3572)
電子ブック <1002982165>
Learning Theory (vol. # 3559) : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / edited by Peter Auer, Ron Meir
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3559)
電子ブック <1002982171>
MICAI 2005: Advances in Artificial Intelligence : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings / edited by Alexander Gelbukh, Hugo Terashima
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3789)
電子ブック <1002982615>
Transactions on Computational Systems Biology III / edited by Pedro Pablo Gonzalez, Emanuela Merelli, Andrea Omicini, Corrado Priami
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3737)
電子ブック <1002982707>
High Performance Computing û HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / edited by David A. Bader, Manish Parashar, Varadarajan Sridhar, Viktor K. Prasanna
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg , 2005. - (Lecture Notes in Computer Science ; 3769)
電子ブック <1002982721>
A Programming Approach to Computability / by A. J. Kfoury, Robert N. Moll, Michael A. Arbib
New York, NY : Springer New York , 1982. - (Texts and Monographs in Computer Science)
電子ブック <1002991910>
Reflexive Structures : An Introduction to Computability Theory / by Luis E. Sanchis
New York, NY : Springer New York , 1988
電子ブック <1002991397>