上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Mathematical Logic and Formal Languages)
該当件数:119件
Constructing Correct Software / by John Cooke
Second Edition. - London : Springer-Verlag London Limited , 2005
電子ブック <1002981531>
Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers / edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm Rödder
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3301)
電子ブック <1002981935>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings / edited by Lluis Godo
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3571)
電子ブック <1002982205>
Finite Model Theory / by Heinz-Dieter Ebbinghaus, Jörg Flum
Second Revised and Enlarged Edition 1999. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995. - (Springer Monographs in Mathematics)
電子ブック <1002995890>
Set Theory / by Thomas Jech
The Third Millennium Edition. - Berlin, Heidelberg : Springer Berlin Heidelberg , 2003. - (Springer Monographs in Mathematics)
電子ブック <1002995902>
Boolean Algebras / by Roman Sikorski
Third Edition. - Berlin, Heidelberg : Springer Berlin Heidelberg , 1969. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 25)
電子ブック <1002997302>
Second Corrected Edition. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1997. - (Perspectives in Mathematical Logic)
電子ブック <1002998234>
Notes on Set Theory / by Yiannis Moschovakis
Second Edition. - New York, NY : Springer New York , 2006. - (Undergraduate Texts in Mathematics)
電子ブック <1003000646>
Logic for Computer Scientists / by Uwe Schöning
Boston, MA : Birkhäuser Boston , 2008. - (Progress in Mathematics, Basler Lehrbücher ; 8)
電子ブック <1003001360>
Cambridge Summer School in Mathematical Logic : Held in Cambridge/England, August 1–21, 1971 / edited by A. R. D. Mathias, H. Rogers
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1973. - (Lecture Notes in Mathematics ; 337)
電子ブック <1002985373>
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Mathematics ; 1429)
電子ブック <1002987684>
Logic from Computer Science : Proceedings of a Workshop held November 13–17, 1989 / edited by Yiannis N. Moschovakis
New York, NY : Springer New York , 1992. - (Mathematical Sciences Research Institute Publications ; 21)
電子ブック <1002991213>
Abstraction, Refinement and Proof for Probabilistic Systems / by Annabelle McIver, Carroll Morgan
New York, NY : Springer Science+Business Media, Inc. , 2005. - (Monographs in Computer Science)
電子ブック <1002981439>
Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Universitext)
電子ブック <1002981609>
A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005
電子ブック <1002981613>
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>
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3455)
電子ブック <1002981975>
Logical Aspects of Computational Linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / edited by Philippe Blache, Joan Busquets, Richard Moot, Edward Stabler
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3492)
電子ブック <1002981993>
Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / edited by Lorenza Saitta, Jean-Daniel Zucker
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3607)
電子ブック <1002982233>
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>