年 〜
年

検索結果 18 件

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday : festschrift 2011 symposium : Nov 2011, Menlo Park, CA. (Lecture Notes in Computer Science ; 7000. Festschrift)

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday : festschrift 2011 symposium : Nov 2011, Menlo Park, CA. (Lecture Notes in Computer Science ; 7000. Festschrift)
紙図書
Springerc2011.<M17-12-2881>
国立国会図書館
  • 著者標目Agha, Gul A. Danvy, Olivier. Meseguer, José.

Spacecraft thermal control (Woodhead Publishing in mechanical engineering)

Spacecraft thermal control (Woodhead Publishing in mechanical engineering)
紙図書
José Meseguer, Isabel Pérez-Grande and Angel Sanz-Andrés.Woodhead Publishing2012.<NC161-B51>
国立国会図書館
  • 著者標目Meseguer, José. Pérez-Grande, Isabel. Sanz...

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)
紙図書
Springerc2008.<M17-09-1163>
国立国会図書館
  • 著者標目Montanari, Ugo. Degano, Pierpaolo, 1950- De Nicola, Rocco. Meseguer, José.

Algebraic methodology and software technology : 12th international conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings. : Jul 2008, Urbana, IL. (Lecture Notes in Computer Science ; 5140)

Algebraic methodology and software technology : 12th international conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings. : Jul 2008, Urbana, IL. (Lecture Notes in Computer Science ; 5140)
紙図書
Springerc2008.<M17-08-1885>
国立国会図書館
  • 著者標目...puter Science. Meseguer, José. Roısu, Grigore. Internationa...

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi
紙図書
Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)Springerc2014
全国の図書館
  • 著者標目二木, 厚吉 飯田, 周作 Meseguer, José 緒方, 和博

Spacecraft thermal control : print

Spacecraft thermal control : print
紙図書
José Meseguer, Isabel Pérez-Grande and Angel Sanz-AndrésWoodhead Publishing2012
全国の図書館
  • 著者標目Meseguer, José Pérez-Grande, Isabel Sanz-And...

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings
紙図書
José Meseguer, Grigore Roşu (eds.)Springerc2008
全国の図書館
  • 著者標目...are Technology Meseguer, José Roşu, Grigore

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic
紙図書
Manuel Clavel ... [et al.]Springerc2007
全国の図書館
  • 著者標目...Oliet, Narciso Meseguer, José Talcott, Carolyn

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
紙図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)Springerc2006
全国の図書館
  • 著者標目二木, 厚吉 Jouannaud, Jean-Pierre Meseguer, José

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
紙図書
by Joseph A. Goguen, José MeseguerOxford University Computing Laboratory, Programming Research Group1989
全国の図書館
  • 著者標目Goguen, Joseph Meseguer, José

Relating models of polymorphism

Relating models of polymorphism
紙図書
José MeseguerCenter for the Study of Language and Information (CSLI)c1988
全国の図書館
  • 著者標目Meseguer, José Stanford University. Center f...

Final algebras, cosemicomputable algebras, and degrees of unsolvability

Final algebras, cosemicomputable algebras, and degrees of unsolvability
紙図書
Lawrence S. Moss, José Meseguer, and Joseph A. GoguenCenter for the Study of Language and Information1987
全国の図書館
  • 著者標目Moss, Lawrence Stuart Meseguer, José Goguen, Joseph Stanford Unive...

On the axiomatization of "if-then-else"

On the axiomatization of "if-then-else"
紙図書
by Irène Guessarian and José MeseguerCenter for the Study of Language and Informationc1985
全国の図書館
  • 著者標目Guessarian, Irène Meseguer, José

Modals and equality for logical programming

Modals and equality for logical programming
紙図書
Joseph A. Goguen and José MeseguerCenter for the Study of Language and Information1987
全国の図書館
  • 著者標目Goguen, Joseph Meseguer, José Stanford University. Center f...

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
紙図書
Joseph A. Goguen and José MeseguerCenter for the Study of Language and Information1987
全国の図書館
  • 著者標目Goguen, Joseph Meseguer, José Stanford University. Center f...

Deduction with many-sorted rewrite

Deduction with many-sorted rewrite
紙図書
by José Meseguer and Joseph A. GoguenCenter for the Study of Language and Information1985
全国の図書館
  • 著者標目Meseguer, José Goguen, Joseph Stanford Unive...

Equality, types, modules and generics for logic programing

Equality, types, modules and generics for logic programing
紙図書
by Joseph A. Goguen and José MeseguerCenter for the Study of Language and Information1984
全国の図書館
  • 著者標目Goguen, Joseph Meseguer, José Stanford University. Center f...

Completeness of many-sorted equational logic

Completeness of many-sorted equational logic
紙図書
by J.A. Goguen and J. MeseguerCenter for the Study of Language and Information1984
全国の図書館
  • 著者標目Goguen, Joseph Meseguer, José Stanford University. Center f...

検索結果は以上です。