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 HeadingInternational Joint Conference on Theory and Practice of Software Development (4th : 1991 : ......, 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
  • Author Heading... Genoa, Italy) International Joint Conference on Theory and Practice of Software Development (2001 : Genoa, Italy)

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
  • Author Heading...Genova, Italy) International Joint Conference on Theory and Practice of Software Development (2001 : Genova, Italy)

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
  • Author Heading...Genova, Italy) International Joint Conference on Theory and Practice of Software Development (2001 : Genova, Italy)

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
  • Author Heading...Genova, Italy) International Joint Conference on Theory and Practice of Software Development (2001 : Genova, Italy)

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
  • Author Heading...Genova, Italy) International Joint Conference on Theory and Practice of Software Development (2001 : Genova, Italy)

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
  • Author HeadingFASE Astesiano, E. (Egidio) International Joint Conference on Theory and Practice of Software Development

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Bidoit, M. (Michel) Dauchet, ...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development (3rd : 1989 : Barcelona) Díaz...

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
  • Note (General)"TAPSOFT '87 is the Second International Joint Conference on Theory and Practice of Software Development"--V. 1, pref.
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy) Eh...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France) ...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Mosses, Peter D. Nielsen, M. ...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Gaudel, M.-C. (Marie-Claude) ...

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 Algeb...
  • Author HeadingInternational 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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Díaz, Josep Orejas, Fernando ...

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 Algeb...
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Advances in Distributed Compu...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Díaz, Josep Orejas, Fernando ...

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
  • Author HeadingInternational Joint Conference on Theory and Practice of Software Development Colloquium on Software Engine...

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
  • Note (General)"TAPSOFT '87 is the Second International Joint Conference on Theory and Practice of Software Development ... consists of three parts: ...
  • Author Heading...nd Programming International Joint Conference on Theory and Practice of Software Development
RSS