東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logics and Meanings of Programs)
該当件数:102件
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6504)
電子ブック
Introduction to the Theory of Programming Languages / by Gilles Dowek, Jean-Jacques Lévy
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
Specification of Software Systems / by V.S. Alagar, K. Periyasamy
2nd Edition. - London : Springer-Verlag London Limited , 2011. - (Texts in Computer Science)
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6405)
Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6793)
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6709)
Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6706)
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6823)
Software Language Engineering : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / edited by Brian Malloy, Steffen Staab, Mark Brand
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6563)
Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6546)
Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6803)
Foundations of Software Science and Computational Structures : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6604)
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6572)
Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6647)
Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi
Berlin, Heidelberg : IFIP International Federation for Information Processing , 2011. - (Lecture Notes in Computer Science ; 7019)
Emotional Cognitive Neural Algorithms with Engineering Applications : Dynamic Logic: FromVague to Crisp / by Leonid Perlovsky, Ross Deming, Roman Ilin
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Studies in Computational Intelligence ; 371)
Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6491)
Descriptional Complexity of Formal Systems : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6808)
Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6916)