Refine your search

Your search returned 879 results.

Not what you expected? Check for suggestions
Sort
Results
Trends in functional programming. Volume 4 / [electronic resource] / edited by Stephen Gilmore.

by Gilmore, Stephen | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Bristol : Intellect, 2005Online access: Click to View Availability: No items available.

Trends in functional programming. Volume 5 [electronic resource] / edited by Stephen Gilmore.

by ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Bristol : Intellect, 2006Online access: Click to View Availability: No items available.

UML 2 certification guide [electronic resource] / Tim Weilkiens and Bernd Oestereich.

by Weilkiens, Tim | Oestereich, Bernd | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Original language: German Publication details: Amsterdam ; Boston : Elsevier, 2006Online access: Click to View Availability: No items available.

Outcome prediction in cancer [electronic resource] / editors, Azzam F.G. Taktak and Anthony C. Fisher.

by Taktak, Azzam F. G | Fisher, Anthony C., Dr | ProQuest (Firm).

Edition: 1st ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier, 2007Online access: Click to View Availability: No items available.

Introduction to precise numerical methods [electronic resource] / Oliver Aberth.

by Aberth, Oliver | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Academic Press, c2007Online access: Click to View Availability: No items available.

Parallel finite-difference time-domain method [electronic resource] / Wenhua Yu ... [et al.].

by Yu, Wenhua | ProQuest (Firm).

Series: Artech House electromagnetic analysis seriesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Boston, MA : Artech House, c2006Online access: Click to View Availability: No items available.

Mathematics for electrical engineering and computing [electronic resource] / Mary Attenborough.

by Attenborough, Mary (Mary Patricia), 1954- | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Oxford ; Burlington, MA : Newnes, 2003Online access: Click to View Availability: No items available.

Data mining [electronic resource] : concepts and techniques / Jiawei Han, Micheline Kamber.

by Han, Jiawei | Kamber, Micheline | ProQuest (Firm).

Series: Morgan Kaufmann series in data management systemsEdition: 2nd ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; London : Elsevier, c2006Online access: Click to View Availability: No items available.

Text entry systems [electronic resource] : mobility, accessibility, universality / edited by I. Scott MacKenzie and Kumiko Tanaka-Ishii.

by MacKenzie, I. Scott, 1951- | Tanaka-Ishii, Kumiko | ProQuest (Firm).

Series: Morgan Kaufmann series in interactive technologiesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam : Boston : Morgan Kaufmann, c2007Online access: Click to View Availability: No items available.

SSCP [electronic resource] : study guide and & DVD training system / Josh Jacobs, Lee Clemmer, Michael Dalton, Russ Rogers, Jeffrey Posluns.

by Jacobs, Josh | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Rockland, Mass. : Syngress Publishing, 2003Online access: Click to View Availability: No items available.

Ruby developer's guide [electronic resource] / Robert Feldt, Lyle Johnson ; technical editor, Michael Neumann.

by Feldt, Robert | Johnson, Lyle | Neumann, Michael | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Rockland, MA : Syngress Pub., c2002Online access: Click to View Availability: No items available.

Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.

by Drusinsky, Doron | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Nature of contents: biography; Literary form: Not fiction Publication details: Burlington, MA : Newnes, c2006Online access: Click to View Availability: No items available.

Face processing [electronic resource] : advanced modeling and methods / edited by Wenyi Zhao and Rama Chellappa.

by Zhao, Wenyi | Chellappa, Rama | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier / Academic Press, c2006Online access: Click to View Availability: No items available.

Real time UML workshop for embedded systems [electronic resource] / by Bruce Powell Douglass.

by Douglass, Bruce Powel | ProQuest (Firm).

Series: Embedded technology seriesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Massachusettes : Elsevier, c2007Online access: Click to View Availability: No items available.

Object-oriented design with UML and Java [electronic resource] / K. Barclay, J. Savage.

by Barclay, Kenneth A, 1947- | Savage, W. J. (W. John) | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Oxford ; Burlington, MA : Elsevier Butterworth-Heinemann, c2004Online access: Click to View Availability: No items available.

Connectionist models of cognition and perception II [electronic resource] : proceedings of the Eighth Neural Computation and Psychology Workshop : University of Kent, UK, 28-30 August 2003 / editors, Howard Bowman, Christophe Labiouse.

by Neural Computation and Psychology Workshop (8th : 2003 : University of Kent at Canterbury) | Bowman, Howard, 1966- | Labiouse, Christophe | ProQuest (Firm).

Series: Progress in neural processing ; 15.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: River Edge, N.J. ; London : World Scientific, c2004Other title: Connectionist models of cognition and perception two.Online access: Click to View Availability: No items available.

Physics and theoretical computer science [electronic resource] : from numbers and languages to (quantum) cryptography security / edited by Jean-Pierre Gazeau, Jaroslav Nesetril and Branislav Rovan.

by Gazeau, Jean-Pierre | Nesetril, Jaroslav | Rovan, B. (Branislav) | ProQuest (Firm).

Series: NATO security through science seriesDInformation and communication security ; v. 7.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington : IOS Press, 2007Online access: Click to View Availability: No items available.

Principles of artificial neural networks [electronic resource] / Daniel Graupe.

by Graupe, Daniel | ProQuest (Firm).

Series: Advanced series on circuits and systems ; v. 6.Edition: 2nd ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Singapore ; Hackensack, N.J. : World Scientific, c2007Online access: Click to View Availability: No items available.

Fundamental data compression [electronic resource] / Ida Mengyi Pu.

by Pu, Ida Mengyi | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Oxford ; Burlington, MA : Butterworth-Heinemann, 2006Online access: Click to View Availability: No items available.

Aspect-oriented programming with the e verification language [electronic resource] : a pragmatic guide for testbench developers / David Robinson.

by Robinson, David | ProQuest (Firm).

Series: Morgan Kaufmann series in systems on siliconMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2007Online access: Click to View Availability: No items available.

Pages