Jump to main content

yr 〜
yr

Search results 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.
Paper図書
Association for Computing Machineryc2013.<M17-14-2166>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...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.
Paper図書
IEEEc2009.<M17-10-2060>
National Diet Library

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.
Paper図書
North-Holland Pub. Co.c1981.<M15-A4892>
National Diet Library

Mutation testing for the new century

Mutation testing for the new century
Paper図書
edited by W. Eric WongSpringer Science+Business Media2001
Other Libraries in Japan

Mutation testing for the new century

Mutation testing for the new century
Paper図書
edited by W. Eric WongKluwer Academic Publishersc2001
Other Libraries in Japan

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.
Paper図書
American Society of Mechanical Engineersc1977.<NB111-37>
National Diet Library

Record.

Record.
Paper図書
Institute of Electrical and Electronics Engineers.1973.<M154-41>
National Diet Library

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.
Paper図書
American Society of Mechanical Engineers[1975]<NB111-16>
National Diet Library

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
Paper図書
edited by B. Chandrasekaran, S. RadicchiNorth-Holland Pub. Co.c1981
Other Libraries in Japan

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
Paper図書
Sponsored by U.S. National Bureau of Standards, Association of Computing Machinery, IEEE Computer Society (Technical Committee on Software Engineering)[s.n.][1975]
Other Libraries in Japan

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)
Paper図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME, edited by D. E. Dietrich1977
Other Libraries in Japan

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
Paper図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, ASME ; edited by D. E. DietrichAmerican Society of Mechanical Engineersc1977
Other Libraries in Japan

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
Paper図書
sponsored by the Computer Technology Committee, the Pressure Vessels and Piping Division, edited by J. M. Corum, W. B. Wright1975
Other Libraries in Japan

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
Paper図書
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]
Other Libraries in Japan

Reached to the end of result.

RSS