Jump to main content

yr 〜
yr

Search results 80

Algebraic methodology and software technology : 13th international conference, AMAST 2010 : Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers. : Jun 2010, Lac-Beauport, Canada. (Lecture Notes in Computer Science ; 6486)

Algebraic methodology and software technology : 13th international conference, AMAST 2010 : Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers. : Jun 2010, Lac-Beauport, Canada. (Lecture Notes in Computer Science ; 6486)
Paper図書
Springerc2011.<M17-11-2115>
National Diet Library
  • Subject HeadingSoftware engineering -- Congresses. Abstract data types (Computer science) -- Congresses.

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)
Paper図書
Springerc2006.<M17-06-3036>
National Diet Library
  • Subject HeadingSoftware engineering -- Congresses. Abstract data types (Computer science) -- Congresses.

Algebraic methodology and software technology : 10th international conference, AMAST 2004 : Stirling, Scotland, UK, July 12-16, 2004 : proceedings. : Jul 2004, Stirling, UK. (Lecture Notes in Computer Science ; 3116)

Algebraic methodology and software technology : 10th international conference, AMAST 2004 : Stirling, Scotland, UK, July 12-16, 2004 : proceedings. : Jul 2004, Stirling, UK. (Lecture Notes in Computer Science ; 3116)
Paper図書
Springerc2004.<M17-05-583>
National Diet Library
  • Subject HeadingSoftware engineering -- Congresses. Abstract data types (Computer science) -- Congresses.

Principles of abstract interpretation

Principles of abstract interpretation
Paper図書
Patrick CousotThe MIT Pressc2021
Other Libraries in Japan
  • Subject HeadingAbstract data types (Computer science)GBC1D4838 Abstract data types (Computer science) Semantic computing
  • Subject Heading (ID)Abstract data types (Computer science)GBC1D4838 Abstract data types (Computer science) Semantic computing

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings. : Sep 2002, Saint-Gilles-les-Bains, France. (Lecture Notes in Computer Science ; 2422)

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings. : Sep 2002, Saint-Gilles-les-Bains, France. (Lecture Notes in Computer Science ; 2422)
Paper図書
Springer2002.<M17-03-152>
National Diet Library
  • Subject HeadingSoftware engineering -- Congresses. Abstract data types (Computer science) -- Congresses.

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002 : Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. : 16th international workshop on algebraic development techniques : Sep 2002, Frauenchiemsee, Germany. (Lecture Notes in Computer Science ; 2755)

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002 : Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. : 16th international workshop on algebraic development techniques : Sep 2002, Frauenchiemsee, Germany. (Lecture Notes in Computer Science ; 2755)
Paper図書
Springer-Verlagc2003.<M17-04-2562>
National Diet Library
  • Subject Heading...-- Congresses. Abstract data types (Computer science) -- Congresses.

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)
Paper図書
Springerc2009.<M17-10-1908>
National Diet Library
  • Subject Heading...-- Congresses. Abstract data types (Computer science) -- Congresses. Algebraische S...

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9643>
National Diet Library
  • Subject HeadingAbstract data types (Computer science) -- Congresses.

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 : joint with the CoFI WG meeting : Genova, Italy, April 1-3, 2001 : selected papers. : 15th international workshop on algebraic development techniques (WADT 2001) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2267)

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 : joint with the CoFI WG meeting : Genova, Italy, April 1-3, 2001 : selected papers. : 15th international workshop on algebraic development techniques (WADT 2001) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2267)
Paper図書
Springerc2001.<M17-03-2458>
National Diet Library
  • Subject Heading...-- Congresses. Abstract data types (Computer science) -- Congresses.

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds. (Lecture notes in computer science)

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9158>
National Diet Library
  • Subject HeadingAbstract data types (Computer science) -- Congresses.

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, eds. (Lecture notes in computer science)

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9793>
National Diet Library
  • Subject HeadingSoftware engineering -- Congresses. Abstract data types (Computer science) -- Congresses.

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7753>
National Diet Library
  • Subject HeadingAbstract data types (Computer science) -- Congresses.

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A3870>
National Diet Library
  • Subject HeadingAbstract data types (Computer science) -- Congresses.

Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers. (Lecture notes in computer science)

Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M159-A131>
National Diet Library
  • Subject Headingプログラミング (電子計算機) Data structures (Computer science) Abstract data types (Computer science)

Data abstraction & problem solving with C++ : walls & mirrors international ed. : pbk International ed. : 5th ed

Data abstraction & problem solving with C++ : walls & mirrors international ed. : pbk International ed. : 5th ed
Paper図書
Frank M. CarranoPearson Addison Wesleyc2007
Other Libraries in Japan
  • Subject Heading...gram language) Abstract data types (Computer science) Problem solving -- Data proce...
  • Subject Heading (ID)...gram language) Abstract data types (Computer science) Problem solving -- Data proce...

Qualified types : theory and practice : pbk

Qualified types : theory and practice : pbk
Paper図書
Mark P. JonesCambridge University Press2003, c1994
Other Libraries in Japan
  • Subject HeadingAbstract data types (Computer science)
  • Subject Heading (ID)Abstract data types (Computer science)

Software, services and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Software, services and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Paper図書
Rocco De Nicola, Rolf Hennicker (eds.)Springerc2015
Other Libraries in Japan
  • Subject Heading... -- Congresses Abstract data types (Computer science) -- Congresses
  • Subject Heading (ID)... -- Congresses Abstract data types (Computer science) -- Congresses

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.). (Lecture notes in computer science ; 418. Lecture notes in artificial intelligence)

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.). (Lecture notes in computer science ; 418. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1990.<M15-A6611>
National Diet Library
  • Subject Heading...-- Congresses. Abstract data types (Computer science) -- Congresses.

A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid. (Lecture notes in computer science)

A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M154-A133>
National Diet Library
  • Subject Headingデータ管理 (電子計算機) プログラミング (電子計算機) Abstract data types (Computer science) Computer software -- Reusabil...

Adapting proofs-as-programs : the Curry-Howard protocol : hbk : pbk

Adapting proofs-as-programs : the Curry-Howard protocol : hbk : pbk
Paper図書
Iman Hafiz Poernomo, John Newsome Crossley, Martin WirsingSpringerc2005
Other Libraries in Japan
  • Subject Heading...ambda calculus Abstract data types (Computer science)
  • Subject Heading (ID)...ambda calculus Abstract data types (Computer science)
RSS