本文に飛ぶ

年 〜
年

検索結果 14 件

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.
紙図書
Association for Computing Machineryc2013.<M17-14-2166>
国立国会図書館全国の図書館
  • 件名...g--Congresses. Computer programs--Testing--Congresses. Embedded computer systems--Pr...

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.
紙図書
IEEEc2009.<M17-10-2060>
国立国会図書館

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.
紙図書
North-Holland Pub. Co.c1981.<M15-A4892>
国立国会図書館

Mutation testing for the new century

Mutation testing for the new century
紙図書
edited by W. Eric WongSpringer Science+Business Media2001
全国の図書館

Mutation testing for the new century

Mutation testing for the new century
紙図書
edited by W. Eric WongKluwer Academic Publishersc2001
全国の図書館

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. Dietrich.

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. Dietrich.
紙図書
American Society of Mechanical Engineersc1977.<NB111-37>
国立国会図書館

Record.

Record.
紙図書
Institute of Electrical and Electronics Engineers.1973.<M154-41>
国立国会図書館

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division ; edited by J. M. Corum, W. B. Wright.

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975 / sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division ; edited by J. M. Corum, W. B. Wright.
紙図書
American Society of Mechanical Engineers[1975]<NB111-16>
国立国会図書館

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981
紙図書
edited by B. Chandrasekaran, S. RadicchiNorth-Holland Pub. Co.c1981
全国の図書館

Workshop on Currently Available Program Testing Tools : technology and experience, 24-25 April, 1975

Workshop on Currently Available Program Testing Tools : technology and experience, 24-25 April, 1975
紙図書
Sponsored by U.S. National Bureau of Standards, Association of Computing Machinery, IEEE Computer Society (Technical Committee on Software Engineering)[s.n.][1975]
全国の図書館

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. DietrichAmerican Society of Mechanical Engineersc1977
全国の図書館

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 (PVP-PB ; 024) (PVP ; 024)

Pressure vessels and piping computer program evaluation and qualification : presented at the Energy Technology Conference, Houston, Texas, September 18-23, 1977 (PVP-PB ; 024) (PVP ; 024)
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME, edited by D. E. Dietrich1977
全国の図書館

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, edited by J. M. Corum, W. B. Wright1975
全国の図書館

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975

Pressure vessels and piping : verification and qualification of inelastic analysis computer programs : presented at the Second National Congress on Pressure Vessels and Piping, San Francisco, California, June 23-27, 1975
紙図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division ; edited by J. M. Corum, W. B. WrightAmerican Society of Mechanical Engineers[1975]
全国の図書館

検索結果は以上です。

RSS