Refine your search

Your search returned 871 results.

Not what you expected? Check for suggestions
Sort
Results
Temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli.

by Manna, Zohar [author.] | Pnueli, Amir, 1941-2009 [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer Science+Business Media, 1992Copyright date: 1992Online access: Click to View Availability: No items available.

Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz.

by Michalewicz, Zbigniew [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, [Germany] : Springer-Verlag, 1994Copyright date: 1994Online access: Click to View Availability: No items available.

Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz.

by Michalewicz, Zbigniew [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, [Germany] : Springer-Verlag, 1994Copyright date: 1994Online access: Click to View Availability: No items available.

Engineering computations and modeling in MATLAB/Simulink [electronic resource] / Oleg A. Yakimenko.

by Yakimenko, Oleg A | ProQuest (Firm).

Series: AIAA education seriesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Reston, Va. : American Institute of Aeronautics and Astronautics, c2011Online access: Click to View Availability: No items available.

Engineering computations and modeling in MATLAB/Simulink [electronic resource] / Oleg A. Yakimenko.

by Yakimenko, Oleg A | ProQuest (Firm).

Series: AIAA education seriesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Reston, Va. : American Institute of Aeronautics and Astronautics, c2011Online access: Click to View Availability: No items available.

Mathematical developments arising from linear programming : proceedings of a joint summer research conference held at Bowdoin College, June 25-July 1, 1988 / Jeffrey C. Lagarias and Michael J. Todd, editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Mathematical Developments Arising from Linear Programming (1988 : Bowdoin College) [issuing body.] | Lagarias, Jeffrey C, 1949- [editor.] | Todd, Michael J, 1947- [editor.].

Series: Contemporary mathematics (American Mathematical Society) ; 114.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [1990]Copyright date: 1990Online access: Click to View Availability: No items available.

Mathematical developments arising from linear programming : proceedings of a joint summer research conference held at Bowdoin College, June 25-July 1, 1988 / Jeffrey C. Lagarias and Michael J. Todd, editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Mathematical Developments Arising from Linear Programming (1988 : Bowdoin College) [issuing body.] | Lagarias, Jeffrey C, 1949- [editor.] | Todd, Michael J, 1947- [editor.].

Series: Contemporary mathematics (American Mathematical Society) ; 114.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [1990]Copyright date: 1990Online access: Click to View Availability: No items available.

Studies in abstract families of languages / by Seymour Ginsburg, Sheila Greibach, John Hopcroft.

by Ginsburg, Seymour, 1927- [author.] | Greibach, Sheila [author.] | Hopcroft, John E, 1939- [author.].

Series: Memoirs of the American Mathematical Society ; no. 87.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1969Online access: Click to View Availability: No items available.

Studies in abstract families of languages / by Seymour Ginsburg, Sheila Greibach, John Hopcroft.

by Ginsburg, Seymour, 1927- [author.] | Greibach, Sheila [author.] | Hopcroft, John E, 1939- [author.].

Series: Memoirs of the American Mathematical Society ; no. 87.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1969Online access: Click to View Availability: No items available.

Differential equations methods for the Monge-Kantorevich mass transfer problem / L.C. Evans, W. Gangbo.

by Evans, Lawrence C, 1949- [author.] | Gangbo, Wilfrid [author.].

Series: Memoirs of the American Mathematical Society ; no. 653.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [1999]Copyright date: 1999Online access: Click to View Availability: No items available.

Differential equations methods for the Monge-Kantorevich mass transfer problem / L.C. Evans, W. Gangbo.

by Evans, Lawrence C, 1949- [author.] | Gangbo, Wilfrid [author.].

Series: Memoirs of the American Mathematical Society ; no. 653.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [1999]Copyright date: 1999Online access: Click to View Availability: No items available.

Solutions manual for recursive methods in economic dynamics [electronic resource] / Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L.J. Wright.

by Irigoyen, Claudio | Rossi-Hansberg, Esteban | Wright, Mark L. J | Stokey, Nancy L. Recursive methods in economic dynamics | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cambridge, MA ; London : Harvard University Press, 2002Online access: Click to View Availability: No items available.

Solutions manual for recursive methods in economic dynamics [electronic resource] / Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L.J. Wright.

by Irigoyen, Claudio | Rossi-Hansberg, Esteban | Wright, Mark L. J | Stokey, Nancy L. Recursive methods in economic dynamics | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cambridge, MA ; London : Harvard University Press, 2002Online access: Click to View Availability: No items available.

Build your own framework with Visual FoxPro [electronic resource] / Ken Chazotte.

by Chazotte, Ken | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Whitefish Bay, WI : Hentzenwerke Pub., 2004Online access: Click to View Availability: No items available.

Build your own framework with Visual FoxPro [electronic resource] / Ken Chazotte.

by Chazotte, Ken | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Whitefish Bay, WI : Hentzenwerke Pub., 2004Online access: Click to View Availability: No items available.

Visual FoxPro certification exams study guide [electronic resource] / Cindy Winegarden, Evan Delay.

by Winegarden, Cindy | Delay, Evan | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Whitefish Bay, Wis. : Hentzenwerke Publishing, c2001Online access: Click to View Availability: No items available.

Visual FoxPro certification exams study guide [electronic resource] / Cindy Winegarden, Evan Delay.

by Winegarden, Cindy | Delay, Evan | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Whitefish Bay, Wis. : Hentzenwerke Publishing, c2001Online access: Click to View Availability: No items available.

Merging systems into a sysplex [electronic resource] / [Frank Kyne ... et al.].

by Kyne, Frank | International Business Machines Corporation. International Technical Support Center | ProQuest (Firm).

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

Merging systems into a sysplex [electronic resource] / [Frank Kyne ... et al.].

by Kyne, Frank | International Business Machines Corporation. International Technical Support Center | ProQuest (Firm).

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

WebSphere application server [electronic resource] : test environment guide / [Roland Tretau].

by Tretau, Roland | ProQuest (Firm).

Series: IBM redbooksEdition: 2nd ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: [San Jose, Calif.] : IBM International Technical Support Organization, 2002Online access: Click to View Availability: No items available.

Pages