本文に飛ぶ

年 〜
年

検索結果 11 件

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5700. Festschrift)

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5700. Festschrift)
紙図書
Springerc2009.<M17-10-1995>
国立国会図書館
  • 著者標目Palsberg, Jens.

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.
紙図書
Association for Computing Machineryc2010.<M17-10-3718>
国立国会図書館
  • 著者標目Palsberg, Jens. ACM Symposium on Principles o...

Static analysis : 16th international symposium, SAS 2009 : Los Angeles, CA, USA, August 9-11, 2009 : proceedings. : Aug 2009, Los Angeles, CA. (Lecture Notes in Computer Science ; 5673)

Static analysis : 16th international symposium, SAS 2009 : Los Angeles, CA, USA, August 9-11, 2009 : proceedings. : Aug 2009, Los Angeles, CA. (Lecture Notes in Computer Science ; 5673)
紙図書
Springerc2009.<M17-10-1596>
国立国会図書館
  • 著者標目Palsberg, Jens. Su, Zhendong. International S...

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)
紙図書
Springerc2008.<M17-08-2037>
国立国会図書館
  • 著者標目...jumdar, Rupak. Palsberg, Jens. International SPIN Workshop (...

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings
紙図書
Isil Dillig, Jens Palsberg (eds.)Springerc2018
全国の図書館

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006 : held as part of the joint European conferences on theory and practice of software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings. : 9th European joint conference on theory and practice of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3920)

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006 : held as part of the joint European conferences on theory and practice of software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings. : 9th European joint conference on theory and practice of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3920)
紙図書
Springerc2006.<M17-06-1872>
国立国会図書館
  • 著者標目... Holger, 1967- Palsberg, Jens. TACAS 2006 (2006 : Vienna, Au...

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings
紙図書
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)Springerc2008
全国の図書館

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings
紙図書
Holger Hermanns, Jens Palsberg (eds.)Springerc2006
全国の図書館

Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
紙図書
Jens Palsberg (ed.)Springerc2000
全国の図書館

Modern compiler implementation in Java 2nd ed

Modern compiler implementation in Java 2nd ed
紙図書
Andrew W. Appel with Jens PalsbergCambridge University Press2002
全国の図書館

Object-oriented type systems

Object-oriented type systems
紙図書
Jens Palsberg and Michael I. SchwartzbachWileyc1994
全国の図書館

検索結果は以上です。

RSS