Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 81 - 90 of 178 (page 9 of 18)
Personal Author
More
Topic Subject
Computer science
(178)
Programming Techniques
(178)
Algorithm Analysis and Problem Complexity
(176)
Computer software
(176)
Computer Science
(175)
Software engineering
(116)
Software Engineering
(112)
Computer Communication Networks
(73)
Artificial Intelligence (incl. Robotics)
(52)
Artificial intelligence
(52)
Computation by Abstract Devices
(42)
Programming Languages, Compilers, Interpreters
(40)
Mathematical Logic and Formal Languages
(37)
Information Systems Applications (incl.Internet)
(35)
Information systems
(35)
Logic design
(34)
Logics and Meanings of Programs
(29)
Operating systems (Computers)
(26)
Operating Systems
(23)
Computer simulation
(17)
Simulation and Modeling
(17)
Electronic data processing
(16)
Optical pattern recognition
(16)
Pattern Recognition
(16)
Software Engineering/Programming and Operating Systems
(15)
Information Systems Applications (incl. Internet)
(14)
Information theory
(14)
Theory of Computation
(14)
Processor Architectures
(13)
Special Purpose and Application-Based Systems
(12)
Bioinformatics
(10)
Computational Biology/Bioinformatics
(10)
Computer system performance
(10)
System Performance and Evaluation
(10)
Algorithms
(9)
Computing Methodologies
(9)
Data Mining and Knowledge Discovery
(9)
Data mining
(9)
Mathematics of Computing
(9)
Numeric Computing
(7)
Computational Mathematics and Numerical Analysis
(6)
Computational complexity
(6)
Data processing
(6)
Data protection
(6)
Discrete Mathematics in Computer Science
(6)
Mathematics
(6)
Systems and Data Security
(6)
Computer network architectures
(5)
Computer vision
(5)
Logic Design
(5)
Models and Principles
(5)
Algebra
(4)
Computer Systems Organization and Communication Networks
(4)
Computer aided design
(4)
Computer-Aided Engineering (CAD, CAE) and Design
(4)
Information Storage and Retrieval
(4)
Information storage and retrieval systems
(4)
Math Applications in Computer Science
(4)
Symbolic and Algebraic Manipulation
(4)
Image Processing and Computer Vision
(3)
Performance and Reliability
(3)
Biology
(2)
Computer Appl. in Life Sciences
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics
(2)
Engineering
(2)
Probability and Statistics in Computer Science
(2)
Combinatorics
(1)
Computer System Implementation
(1)
Data Structures, Cryptology and Information Theory
(1)
Data structures (Computer science)
(1)
Database Management
(1)
Database management
(1)
Fourier Analysis
(1)
Fourier analysis
(1)
Information Systems
(1)
Management of Computing and Information Systems
(1)
Mechanics, applied
(1)
Signal, Image and Speech Processing
(1)
Theoretical and Applied Mechanics
(1)
Fewer
Series Title
More

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings E-book (2012.)
Add to basket

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings E-book (2011.)
Add to basket

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings E-book (2011.)
Add to basket

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings E-book (2010.)
Add to basket

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings E-book (2010.)
Add to basket

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings E-book (2010.)
Add to basket

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings E-book (2010.)
Add to basket

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings E-book (2009.)
Add to basket

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings E-book (2009.)
Add to basket

Genetic Programming 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings E-book (2011.)
Add to basket

Search Results Facets

Search Results List

Results 81 - 90 of 178 (page 9 of 18)
Personal Author
More
Topic Subject
Computer science
(178)
Programming Techniques
(178)
Algorithm Analysis and Problem Complexity
(176)
Computer software
(176)
Computer Science
(175)
Software engineering
(116)
Software Engineering
(112)
Computer Communication Networks
(73)
Artificial Intelligence (incl. Robotics)
(52)
Artificial intelligence
(52)
Computation by Abstract Devices
(42)
Programming Languages, Compilers, Interpreters
(40)
Mathematical Logic and Formal Languages
(37)
Information Systems Applications (incl.Internet)
(35)
Information systems
(35)
Logic design
(34)
Logics and Meanings of Programs
(29)
Operating systems (Computers)
(26)
Operating Systems
(23)
Computer simulation
(17)
Simulation and Modeling
(17)
Electronic data processing
(16)
Optical pattern recognition
(16)
Pattern Recognition
(16)
Software Engineering/Programming and Operating Systems
(15)
Information Systems Applications (incl. Internet)
(14)
Information theory
(14)
Theory of Computation
(14)
Processor Architectures
(13)
Special Purpose and Application-Based Systems
(12)
Bioinformatics
(10)
Computational Biology/Bioinformatics
(10)
Computer system performance
(10)
System Performance and Evaluation
(10)
Algorithms
(9)
Computing Methodologies
(9)
Data Mining and Knowledge Discovery
(9)
Data mining
(9)
Mathematics of Computing
(9)
Numeric Computing
(7)
Computational Mathematics and Numerical Analysis
(6)
Computational complexity
(6)
Data processing
(6)
Data protection
(6)
Discrete Mathematics in Computer Science
(6)
Mathematics
(6)
Systems and Data Security
(6)
Computer network architectures
(5)
Computer vision
(5)
Logic Design
(5)
Models and Principles
(5)
Algebra
(4)
Computer Systems Organization and Communication Networks
(4)
Computer aided design
(4)
Computer-Aided Engineering (CAD, CAE) and Design
(4)
Information Storage and Retrieval
(4)
Information storage and retrieval systems
(4)
Math Applications in Computer Science
(4)
Symbolic and Algebraic Manipulation
(4)
Image Processing and Computer Vision
(3)
Performance and Reliability
(3)
Biology
(2)
Computer Appl. in Life Sciences
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics
(2)
Engineering
(2)
Probability and Statistics in Computer Science
(2)
Combinatorics
(1)
Computer System Implementation
(1)
Data Structures, Cryptology and Information Theory
(1)
Data structures (Computer science)
(1)
Database Management
(1)
Database management
(1)
Fourier Analysis
(1)
Fourier analysis
(1)
Information Systems
(1)
Management of Computing and Information Systems
(1)
Mechanics, applied
(1)
Signal, Image and Speech Processing
(1)
Theoretical and Applied Mechanics
(1)
Fewer
Series Title
More

Additional Resources