本文に飛ぶ

年 〜
年

検索結果 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 ...

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 ...

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
全国の図書館
  • 著者標目VMCAI Dillig, Isil Palsberg, Jens

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, A...

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
全国の図書館
  • 著者標目SPIN Havelund, Klaus Majumdar, Rupak Palsberg, Jens

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
全国の図書館
  • 著者標目TACAS European Conferences on Theory and Practice of Software Hermanns, Holger Palsberg, Jens

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
全国の図書館
  • 著者標目SAS Palsberg, Jens

Modern compiler implementation in Java 2nd ed

Modern compiler implementation in Java 2nd ed
紙図書
Andrew W. Appel with Jens PalsbergCambridge University Press2002
全国の図書館
  • 著者標目Appel, Andrew W. Palsberg, Jens

Object-oriented type systems

Object-oriented type systems
紙図書
Jens Palsberg and Michael I. SchwartzbachWileyc1994
全国の図書館
  • 著者標目Palsberg, Jens Schwartzbach, Michael I

検索結果は以上です。

RSS