Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 1 - 10 of 79 (page 1 of 8)
Personal Author
More
Topic Subject
Computer science
(79)
Programming Languages, Compilers, Interpreters
(79)
Computer software
(78)
Algorithm Analysis and Problem Complexity
(77)
Computer Science
(77)
Software engineering
(57)
Logic design
(54)
Logics and Meanings of Programs
(54)
Software Engineering
(53)
Mathematical Logic and Formal Languages
(50)
Programming Techniques
(40)
Computation by Abstract Devices
(17)
Computer Communication Networks
(15)
Artificial Intelligence (incl. Robotics)
(11)
Artificial intelligence
(11)
Computer system performance
(8)
Electronic data processing
(8)
Numeric Computing
(8)
System Performance and Evaluation
(8)
Operating systems (Computers)
(7)
Computational complexity
(6)
Discrete Mathematics in Computer Science
(6)
Software Engineering/Programming and Operating Systems
(6)
Performance and Reliability
(5)
Information theory
(4)
Theory of Computation
(4)
Computational Mathematics and Numerical Analysis
(3)
Mathematics
(3)
Models and Principles
(3)
Processor Architectures
(3)
Algorithms
(2)
Computers and Society
(2)
Data Encryption
(2)
Data encryption (Computer science)
(2)
Operating Systems
(2)
Algebra
(1)
Appl.Mathematics/Computational Methods of Engineering
(1)
Computational Science and Engineering
(1)
Computer Applications
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics
(1)
Computer System Implementation
(1)
Computer network architectures
(1)
Computer simulation
(1)
Computer vision
(1)
Data Mining and Knowledge Discovery
(1)
Data Structures
(1)
Data mining
(1)
Data processing
(1)
Data structures (Computer science)
(1)
Engineering mathematics
(1)
Information Storage and Retrieval
(1)
Information Systems
(1)
Information storage and retrieval systems
(1)
Logic, Symbolic and mathematical
(1)
Management of Computing and Information Systems
(1)
Math Applications in Computer Science
(1)
Mathematical Logic and Foundations
(1)
Mathematical Software
(1)
Mathematical optimization
(1)
Optical pattern recognition
(1)
Optimization
(1)
Pattern Recognition
(1)
Simulation and Modeling
(1)
Special Purpose and Application-Based Systems
(1)
Symbolic and Algebraic Manipulation
(1)
Fewer
Series Title
More

Handbook of Floating-Point Arithmetic E-book (2010.)
Add to basket

Guide to Programming and Algorithms Using R E-book (2013.)
Add to basket

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings E-book (2013.)
Add to basket

Principles of Programming Languages E-book (2009.)
Add to basket

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings E-book (2009.)
Add to basket

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings E-book (2008.)
Add to basket

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers E-book (2013.)
Add to basket

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings E-book (2013.)
Add to basket

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings E-book (2013.)
Add to basket

OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings E-book (2012.)
Add to basket

Search Results Facets

Search Results List

Results 1 - 10 of 79 (page 1 of 8)
Personal Author
More
Topic Subject
Computer science
(79)
Programming Languages, Compilers, Interpreters
(79)
Computer software
(78)
Algorithm Analysis and Problem Complexity
(77)
Computer Science
(77)
Software engineering
(57)
Logic design
(54)
Logics and Meanings of Programs
(54)
Software Engineering
(53)
Mathematical Logic and Formal Languages
(50)
Programming Techniques
(40)
Computation by Abstract Devices
(17)
Computer Communication Networks
(15)
Artificial Intelligence (incl. Robotics)
(11)
Artificial intelligence
(11)
Computer system performance
(8)
Electronic data processing
(8)
Numeric Computing
(8)
System Performance and Evaluation
(8)
Operating systems (Computers)
(7)
Computational complexity
(6)
Discrete Mathematics in Computer Science
(6)
Software Engineering/Programming and Operating Systems
(6)
Performance and Reliability
(5)
Information theory
(4)
Theory of Computation
(4)
Computational Mathematics and Numerical Analysis
(3)
Mathematics
(3)
Models and Principles
(3)
Processor Architectures
(3)
Algorithms
(2)
Computers and Society
(2)
Data Encryption
(2)
Data encryption (Computer science)
(2)
Operating Systems
(2)
Algebra
(1)
Appl.Mathematics/Computational Methods of Engineering
(1)
Computational Science and Engineering
(1)
Computer Applications
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics
(1)
Computer System Implementation
(1)
Computer network architectures
(1)
Computer simulation
(1)
Computer vision
(1)
Data Mining and Knowledge Discovery
(1)
Data Structures
(1)
Data mining
(1)
Data processing
(1)
Data structures (Computer science)
(1)
Engineering mathematics
(1)
Information Storage and Retrieval
(1)
Information Systems
(1)
Information storage and retrieval systems
(1)
Logic, Symbolic and mathematical
(1)
Management of Computing and Information Systems
(1)
Math Applications in Computer Science
(1)
Mathematical Logic and Foundations
(1)
Mathematical Software
(1)
Mathematical optimization
(1)
Optical pattern recognition
(1)
Optimization
(1)
Pattern Recognition
(1)
Simulation and Modeling
(1)
Special Purpose and Application-Based Systems
(1)
Symbolic and Algebraic Manipulation
(1)
Fewer
Series Title
More

Additional Resources