Search Results

Suggested Topics within your search. Suggested Topics within your search.

Computer Science
CU Boulder 930
Computer science 80
Computer programs 37
Data processing 34
Parallel processing (Electronic computers) 27
Algorithms 22
Neural networks (Computer science) 22
Programming languages (Electronic computers) 22
Computer engineering 20
Computer programming 20
Computer simulation 19
Information technology 19
Human-computer interaction 17
Electronic data processing 16
Mathematical optimization 16
Robotics 15
User interfaces (Computer systems) 15
Computer software 14
Mathematical models 14
Database management 13
Development 12
Distributed processing 12
Multiprocessors 12
Computer architecture 11
Computational linguistics 10
Computer graphics 10
Design 10
Evaluation 10
Memory management (Computer science) 10

Discovering and debugging algebraic specifications for Java classes / by Johannes Henkel. by Henkel, Johannes

A conent-based networking protocol for sensor networks / by Cyrus P. Hall. by Hall, Cyrus P.

Design and implementation of a portable, interpretive program control language / by Jordan Towner Hastings. by Hastings, Jordan Towner

Improving performance of mobile programs via a compilation service / by Han B. Lee. by Lee, Han Bok

An end-to-end control system for semi-autonomous robot explorers / by Simon L. Wilson. by Wilson, Simon L.

A second-order local model for solution of systems of nonlinear equations / by Paul Frank. by Frank, Paul David

Solving optimization problems using recurrent neural networks / by Jeffrey A. Shaw. by Shaw, Jeffrey A.

Immersive well path planning : the added value of interactive immersive visualization / by Kenny Gruchalla. by Gruchalla, Kenny

The design of a core graphics package using potentially concurrent processes / by Nikolaus Josef Kiefhaber. by Kiefhaber, Nikolaus Josef

Two improved methods for assignment problems / by Jung John Yuan. by Yuan, Jung John

Real-time chaotic variation of symbol sequences / by Jonathan Marbach. by Marbach, Jonathan

Task migration for parallel scientific computations in the heterogeneous network of workstations environment / by Chung-Shang Shao. by Shao, Chung-Shang

Automatic abstraction techniques for formal verification of digital systems / by Abelardo Pardo Sanchez. by Pardo Sanchez, Abelardo

An analysis of the power of chain rules in context-free grammars / by Herbert Westermann. by Westermann, Herbert

Computer tools in the learning and teaching environment / by Thomas Bruce Carlson. by Carlson, Thomas Bruce

Trust region algorithms for optimization with nonlinear equality and inequality restraints / Emmanuel O. Omojokun. by Omojokun, Emmanuel O.

Religious Hatred in Arabic Social Media: Analysis, Detection, and Personalization / Nuha Albadi. by Albadi, Nuha

An Exploration of the Negative Impact of Social Media and Strategies for Intervention / Maram Kurdi. by Kurdi, Maram

Reliable Autonomy at the Intersection of Constrained Motion Planning, Learning from Demonstration, and Augmented Reality / C. L Mueller. by Mueller, C. L.

A method of object code generation from an abstract syntax tree / by Charles Randolph Bilbe. by Bilbe, Charles Randolph

Search Results

Discovering and debugging algebraic specifications for Java classes / by Johannes Henkel. by Henkel, Johannes

A conent-based networking protocol for sensor networks / by Cyrus P. Hall. by Hall, Cyrus P.

Design and implementation of a portable, interpretive program control language / by Jordan Towner Hastings. by Hastings, Jordan Towner

Improving performance of mobile programs via a compilation service / by Han B. Lee. by Lee, Han Bok

An end-to-end control system for semi-autonomous robot explorers / by Simon L. Wilson. by Wilson, Simon L.

A second-order local model for solution of systems of nonlinear equations / by Paul Frank. by Frank, Paul David

Solving optimization problems using recurrent neural networks / by Jeffrey A. Shaw. by Shaw, Jeffrey A.

Immersive well path planning : the added value of interactive immersive visualization / by Kenny Gruchalla. by Gruchalla, Kenny

The design of a core graphics package using potentially concurrent processes / by Nikolaus Josef Kiefhaber. by Kiefhaber, Nikolaus Josef

Two improved methods for assignment problems / by Jung John Yuan. by Yuan, Jung John

Real-time chaotic variation of symbol sequences / by Jonathan Marbach. by Marbach, Jonathan

Task migration for parallel scientific computations in the heterogeneous network of workstations environment / by Chung-Shang Shao. by Shao, Chung-Shang

Automatic abstraction techniques for formal verification of digital systems / by Abelardo Pardo Sanchez. by Pardo Sanchez, Abelardo

An analysis of the power of chain rules in context-free grammars / by Herbert Westermann. by Westermann, Herbert

Computer tools in the learning and teaching environment / by Thomas Bruce Carlson. by Carlson, Thomas Bruce

Trust region algorithms for optimization with nonlinear equality and inequality restraints / Emmanuel O. Omojokun. by Omojokun, Emmanuel O.

Religious Hatred in Arabic Social Media: Analysis, Detection, and Personalization / Nuha Albadi. by Albadi, Nuha

An Exploration of the Negative Impact of Social Media and Strategies for Intervention / Maram Kurdi. by Kurdi, Maram

Reliable Autonomy at the Intersection of Constrained Motion Planning, Learning from Demonstration, and Augmented Reality / C. L Mueller. by Mueller, C. L.

A method of object code generation from an abstract syntax tree / by Charles Randolph Bilbe. by Bilbe, Charles Randolph

Refine Results

Format

Year of Publication

Library

Shelving Location

Author

Call Number

Language

Region