Deep Blue: Browsing by Title

Formal Approaches to the Syntax and Semantics of Imperatives.

Medeiros, David J. (2013)

(523.1KB)

Formal Cycloadditions Driven by the Homolytic Opening of Strained, Saturated Ring Systems

Harmata, Alexander S.; Roldan, B. J.; Stephenson, Corey R. J. (Wiley Periodicals, Inc., 2023-01-23)

(4MB)

(21.5MB)

Formal Cycloadditions Driven by the Homolytic Opening of Strained, Saturated Ring Systems

Harmata, Alexander S.; Roldan, B. J.; Stephenson, Corey R. J. (Wiley Periodicals, Inc., 2023-01-23)

(21.5MB)

(4MB)

Formal Degree of Regular Supercuspidals

Schwein, David (2021)

(476.6KB)

Formal Games as Probing Tools for Investigating Behavior Motivated by Trust and Suspicion

Rapoport, Anatol (Sage Publications, 1963)

(691.8KB)

Formal Housing Provision Under Neoliberalism in the United States: Privatization as the New Enclosure and the Defense of Public Housing

Gibeson, Meagan (A. Alfred Taubman College of Architcture and Urban Planning, 2020)

(632.6KB)

A formal method for analyzing and integrating the rule-sets of multiple experts

Ngwenyama, Ojelanki K.; Bryson, Noel (Elsevier, 1992-01)

(1.1MB)

A formal methodology for constructing decoupled manufacturing system control software components.

Vitale, Michael Joseph (1994)

(12.9MB)

Formal Methods for the Analysis of Authentication Protocols

Rubin, A. D.; Honeyman, P. (Center for Information Technology Integration, 1993-11-08)

(407.1KB)

Formal operations: A systematic reformulation

Byrnes, James P. (Elsevier, 1988-03)

(1.5MB)

Formal Organization And Charisma In A Catholic Pentecostal Community.

Keane, Roberta Catharine (1974)

(6.6MB)

Formal services utilization by family caregivers of persons with dementia living in rural southeastern U.S.A

Burgio, Louis D. (2007-12)

(1019.9KB)

Formal specification and *verification of reconfigurable hybrid systems.

Song, Hosung (2005)

(3.4MB)

Formal specification of software using abstract state machines.

Wallace, Charles Robert (1999)

(10.6MB)

Formal Structure And Recitative In The Tragedies Lyriques Of Jean-baptiste De Lully.

Newman, Joyce Enith Watkins (1974)

(15.5MB)

A Formal Study of Distributed Meeting Scheduling

Sen, Sandip; Durfee, Edmund H. (Kluwer Academic Publishers; Springer Science+Business Media, 1998-05)

(107.2KB)

A formal test of linguistic and genetic coevolution in native Central and South America

Hunley, Keith L.; Cabana, G. S.; Merriwether, D. A.; Long, Jeffrey C. (Wiley Subscription Services, Inc., A Wiley Company, 2007-04)

(618.1KB)

Formal Test of MGet It Menu

Morse, Josh; Jiang, Xiaomin (2007-08)

(4.2MB)

Formal verification for analysis and design of logic controllers for reconfigurable manufacturing systems.

Kalita, Dhrubajyoti (2001)

(5.6MB)

A formalism for dynamic programming

Pollock, Stephen M.; Smith, Robert L. (1985)

(24.1KB)

(1MB)