本文に飛ぶ

年 〜
年

検索結果 54 件

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>
国立国会図書館全国の図書館

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>
国立国会図書館

RELAP5 assessment against PACTEL experimental data (revision 1) [microform] / prepared by I. Parzer, B. Mavko, S. Petelin (International agreement report ; NUREG/IA-0145)

RELAP5 assessment against PACTEL experimental data (revision 1) [microform] / prepared by I. Parzer, B. Mavko, S. Petelin (International agreement report ; NUREG/IA-0145)
マイクロ図書
1998<YCA-Y 3.N 88:53/0145>
国立国会図書館

RELAP5/MOD3.2 validation using BETHSY test 6.9a [microform] / prepared by S. Bouabdallah (International agreement report ; NUREG/IA-0188)

RELAP5/MOD3.2 validation using BETHSY test 6.9a [microform] / prepared by S. Bouabdallah (International agreement report ; NUREG/IA-0188)
マイクロ図書
2000<YCA-Y 3.N 88:53/0188>
国立国会図書館

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-03 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0154)

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-03 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0154)
マイクロ図書
1999<YCA-Y 3.N 88:53/0154>
国立国会図書館

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-04 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0155)

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-04 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0155)
マイクロ図書
1999<YCA-Y 3.N 88:53/0155>
国立国会図書館

RELAP5/MOD3.2 post test analysis and accuracy quantification of Lobi test BL-44 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0153)

RELAP5/MOD3.2 post test analysis and accuracy quantification of Lobi test BL-44 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0153)
マイクロ図書
1999<YCA-Y 3.N 88:53/0153>
国立国会図書館

RELAP5/MOD.2 post test analysis and accuracy quantification of Lobi test BL-34 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0152)

RELAP5/MOD.2 post test analysis and accuracy quantification of Lobi test BL-34 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0152)
マイクロ図書
1999<YCA-Y 3.N 88:53/0152>
国立国会図書館

Program proofs

Program proofs
紙図書
K. Rustan M. Leino ; illustrated by Kaleb LeinoThe MIT Press2023
全国の図書館

Notes on numerical reliability of several statistical analysis programs [microform] / by J.M. Landwehr and G.D. Tasker (U.S. Geological Survey open-file report ; 99-95)

Notes on numerical reliability of several statistical analysis programs [microform] / by J.M. Landwehr and G.D. Tasker (U.S. Geological Survey open-file report ; 99-95)
マイクロ図書
1999<YCA-I 19.76:99-95>
国立国会図書館

Assessment of RELAP5/MOD3.1 using LSTF ten-percent main steam-line-break test run SB-SL-01 [microform] / prepared by J.G. Oh ... [et al.] (International agreement report ; NUREG/IA-0148)

Assessment of RELAP5/MOD3.1 using LSTF ten-percent main steam-line-break test run SB-SL-01 [microform] / prepared by J.G. Oh ... [et al.] (International agreement report ; NUREG/IA-0148)
マイクロ図書
1998<YCA-Y 3.N 88:53/0148>
国立国会図書館

Debugging techniques used by experienced programmers to debug their own code microform / Pamela M. Merrick (AFHRL-TR ; 90-45)

Debugging techniques used by experienced programmers to debug their own code microform / Pamela M. Merrick (AFHRL-TR ; 90-45)
マイクロ図書
1990<YCA-D 301.45/27:90-45>
国立国会図書館

Software formal inspection standard [microform] (NASA-STD ; 2202-93)

Software formal inspection standard [microform] (NASA-STD ; 2202-93)
マイクロ図書
1993<YCA-NAS 1.82:2202-93>
国立国会図書館

A FORTRAN program for analysis of data from microelectronic test structures / Richard L. Mattis (NBS special publication ; 400-75) (Semiconductor measurement technology)

A FORTRAN program for analysis of data from microelectronic test structures / Richard L. Mattis (NBS special publication ; 400-75) (Semiconductor measurement technology)
マイクロ図書
1983<YCA-C 13.10:400-75>
国立国会図書館

Test and evaluation [microform] : DOD has been slow in improving testing of software-intensive systems : report to the Secretary of Defense / United States General Accounting Office

Test and evaluation [microform] : DOD has been slow in improving testing of software-intensive systems : report to the Secretary of Defense / United States General Accounting Office
マイクロ図書
1993<YCA-GA 1.13:NSIAD-93-198>
国立国会図書館

Test examples for nonlinear programming codes / Willi Hock, Klaus Schittkowski. (Lecture notes in economics and mathematical systems ; 187)

Test examples for nonlinear programming codes / Willi Hock, Klaus Schittkowski. (Lecture notes in economics and mathematical systems ; 187)
紙図書
Springer-Verlagc1981.<M159-154>
国立国会図書館
  • 件名Nonlinear programming. Computer programs -- Testing.

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>
国立国会図書館

Guideline for lifecycle validation, verification, and testing of computer software (FIPS PUB ; 101)

Guideline for lifecycle validation, verification, and testing of computer software (FIPS PUB ; 101)
マイクロ図書
1984<YCA-C 13.52:101>
国立国会図書館

Continuous testing with Ruby, Rails, and JavaScript

Continuous testing with Ruby, Rails, and JavaScript
紙図書
Ben Rady, Rod Coffin ; [edited by Jacquelyn Carter]Pragmatic Bookshelfc2011
全国の図書館

More test examples for nonlinear programming codes / Klaus Schittkowski. (Lecture notes in economics and mathematical systems)

More test examples for nonlinear programming codes / Klaus Schittkowski. (Lecture notes in economics and mathematical systems)
紙図書
Springer-Verlagc1987.<MA216-A12>
国立国会図書館
  • 件名非線型 (数学) 数理計画法. プログラミング (電子計算機) Nonlinear programming. Computer programs -- Testing.
RSS