Jump to main content

yr 〜
yr

Search results 22

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds. (Lecture notes in computer science ; 493-94)

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds. (Lecture notes in computer science ; 493-94)
Paper図書
Springer-Verlagc1991.<M15-A7706>
National Diet Library
  • Author Heading..., Thomas S. E. International Joint Conference on Theory and Practice of Software Development.

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : 4th European joint conference on theory and practice of software (ETAPS) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2031)

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : 4th European joint conference on theory and practice of software (ETAPS) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2031)
Paper図書
Springer2001.<M17-03-4756>
National Diet Library

Foundations of software science and computation structures : 4th international conference, FOSSACS 2001 : held as part of the joint European conference on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2030)

Foundations of software science and computation structures : 4th international conference, FOSSACS 2001 : held as part of the joint European conference on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2030)
Paper図書
Springer2001.<M17-03-4807>
National Diet Library

Fundamental approaches to software engineering : 4th international conference, FASE 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2029)

Fundamental approaches to software engineering : 4th international conference, FASE 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2029)
Paper図書
Springer2001.<M17-03-4701>
National Diet Library

Programming languages and systems : 10th European symposium on programming, ESOP 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2028)

Programming languages and systems : 10th European symposium on programming, ESOP 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2028)
Paper図書
Springer2001.<M17-03-4726>
National Diet Library

Compiler construction : 10th international conference, CC 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2027)

Compiler construction : 10th international conference, CC 2001 : held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings. : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2027)
Paper図書
Springer2001.<M17-03-4837>
National Diet Library

Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Paper図書
Egidio Astesiano, edSpringerc1998
Other Libraries in Japan

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
Paper図書
Michel Bidoit, Max Dauchet (eds.)Springerc1997
Other Libraries in Japan

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds. (Lecture notes in computer science)

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds. (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9639>
National Diet Library

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.). (Lecture notes in computer science ; 351-352)

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.). (Lecture notes in computer science ; 351-352)
Paper図書
Springer-Verlagc1989.<M15-A5486>
National Diet Library

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.]. (Lecture notes in computer science ; 249-)

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.]. (Lecture notes in computer science ; 249-)
Paper図書
Springer-Verlagc1987-<M15-A3434>
National Diet Library

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.). (Lecture notes in computer science)

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8718>
National Diet Library

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings : us

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings : us
Paper図書
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)Springerc1995
Other Libraries in Japan

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us
Paper図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)Springer-Verlagc1993
Other Libraries in Japan

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us
Paper図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Note (General)"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. Colloquium on Trees in Algebr...

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) : gw : us

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) : gw : us
Paper図書
Springer-Verlagc1989
Other Libraries in Japan

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us
Paper図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Note (General)"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. Colloquium on Trees in Algebr...

Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) : gw : us

Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) : gw : us
Paper図書
J. Díaz, F. Orejas (eds.)Springer-Verlagc1989
Other Libraries in Japan

Formal methods and software development : Colloquium on Software Engineering (CSE) : gw : us

Formal methods and software development : Colloquium on Software Engineering (CSE) : gw : us
Paper図書
edited by Hartmut Ehrig ... [et al.]Springer-Verlag1985
Other Libraries in Japan

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) : gw : us

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) : gw : us
Paper図書
edited by Hartmut Ehrig ... [et al.]Springer-Verlagc1987
Other Libraries in Japan
RSS