上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Logics and Meanings of Programs)
該当件数:101件
Abstract Computing Machines : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science, An EATCS Series)
電子ブック <1002981615>
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Texts in Theoretical Computer Science An EATCS Series)
電子ブック <1002981637>
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>
A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005
電子ブック <1002981613>
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3385)
電子ブック <1002981781>
Fundamental Approaches to Software Engineering (vol. # 3442) : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3442)
電子ブック <1002981959>
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>
Rapid Integration of Software Engineering Techniques (vol. # 3475) : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / edited by Nicolas Guelfi
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3475)
電子ブック <1002981999>
Implementation and Application of Functional Languages (vol. # 3474) : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg Mich
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3474)
電子ブック <1002982069>
Model-Based Testing of Reactive Systems : Advanced Lectures / edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3472)
電子ブック <1002982137>
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>
Model Checking Software (vol. # 3639) : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / edited by Patrick Godefroid
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3639)
電子ブック <1002982293>
Formal Methods and Software Engineering (vol. # 3785) : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings / edited by Richard Banach, Kung-Kiu Lau
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3785)
電子ブック <1002982597>
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1968. - (Lecture Notes in Mathematics ; 72)
電子ブック <1002985039>
Inconsistency Tolerance / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3300)
電子ブック <1002981773>
Practical Aspects of Declarative Languages (vol. # 3350) : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / edited by Daniel Cabeza, Manuel Hermenegildo
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3350)
電子ブック <1002981791>
Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 / edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3396)
電子ブック <1002981871>
Formal Approaches to Software Testing (vol. # 3395) : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3395)
電子ブック <1002981899>
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>
Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3423)
電子ブック <1002981925>