Your search returned 9 results.

Not what you expected? Check for suggestions
Sort
Results
Spatial mathematics [electronic resource] : theory and practice through mapping / Sandra Lach Arlinghaus, Joseph J. Kerski.

by Arlinghaus, Sandra L. (Sandra Lach) | Kerski, Joseph J | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Boca Raton : CRC Press, 2014Online access: Click to View Availability: No items available.

Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.

by Grumberg, Orna [editor.] | Seidl, Helmut [editor.] | Irlbeck, Maximilian [editor.].

Series: NATO science for peace and security seriesSub-series DInformation and communication security ; Volume 36.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: 2014Online access: Click to View Availability: No items available.

Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.

by Grumberg, Orna [editor.] | Seidl, Helmut [editor.] | Irlbeck, Maximilian [editor.].

Series: NATO science for peace and security seriesSub-series DInformation and communication security ; Volume 36.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: 2014Online access: Click to View Availability: No items available.

On demand operating environment [electronic resource] : creating business flexibility / IBM International Technical Support Organization.

by International Business Machines Corporation. International Technical Support Organization | ProQuest (Firm).

Series: IBM redbooksEdition: 1st ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: [S.l.] : IBM, International Technical Support Organization, c2004Online access: Click to View Availability: No items available.

On demand operating environment [electronic resource] : creating business flexibility / IBM International Technical Support Organization.

by International Business Machines Corporation. International Technical Support Organization | ProQuest (Firm).

Series: IBM redbooksEdition: 1st ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: [S.l.] : IBM, International Technical Support Organization, c2004Online access: Click to View Availability: No items available.

z/OS Intelligent Resource Director [electronic resource] / Frank Kyne ... [et al.].

by International Business Machines Corporation. International Technical Support Organization | ProQuest (Firm).

Series: IBM redbooksEdition: 1st ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: San Jose, CA : IBM International Technical Support Organization, 2001Online access: Click to View Availability: No items available.

z/OS Intelligent Resource Director [electronic resource] / Frank Kyne ... [et al.].

by International Business Machines Corporation. International Technical Support Organization | ProQuest (Firm).

Series: IBM redbooksEdition: 1st ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: San Jose, CA : IBM International Technical Support Organization, 2001Online access: Click to View Availability: No items available.

Software for dependable systems [electronic resource] : sufficient evidence? / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.

by National Research Council (U.S.). Committee on Certifiably Dependable Software Systems | Jackson, Daniel | Millett, Lynette I | Thomas, Martyn | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Washington, D.C. : National Academies Press, c2007Online access: Click to View Availability: No items available.

Software for dependable systems [electronic resource] : sufficient evidence? / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.

by National Research Council (U.S.). Committee on Certifiably Dependable Software Systems | Jackson, Daniel | Millett, Lynette I | Thomas, Martyn | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Washington, D.C. : National Academies Press, c2007Online access: Click to View Availability: No items available.

Pages