Algoritmer og datastrukturer

Gem søgning

Model Checking Software

Model Checking Software View_Book

From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back View_Book

Information and Software Technologies

Information and Software Technologies View_Book

Temporal Data Mining

Theophano Mitsa Temporal Data Mining View_Book

KI 2019: Advances in Artificial Intelligence

KI 2019: Advances in Artificial Intelligence View_Book

Euro-Par 2019: Parallel Processing

Euro-Par 2019: Parallel Processing View_Book

Industrial Applications of Holonic and Multi-Agent Systems

Industrial Applications of Holonic and Multi-Agent Systems View_Book

On Transactional Concurrency Control

Goetz Graefe On Transactional Concurrency Control View_Book

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation View_Book

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification,... View_Book

Agreement Technologies

Agreement Technologies View_Book

An Introduction to Parallel Programming

Matthew (Assistant Professor Malensek, Peter (University of San Francisco Pacheco, Matthew Malensek, Peter Pacheco An Introduction to Parallel Programming View_Book

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods View_Book

Techniques for Designing and Analyzing Algorithms

Douglas R. Stinson, Douglas R. (University of Waterloo Stinson Techniques for Designing and Analyzing Algorithms View_Book

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method View_Book

Membrane Computing

Membrane Computing View_Book

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the... View_Book

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems View_Book

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications View_Book

Job Scheduling Strategies for Parallel Processing

Job Scheduling Strategies for Parallel Processing View_Book

Software Essentials

Adair Dingle Software Essentials View_Book

Handbook of Approximation Algorithms and Metaheuristics, Second Edition

Handbook of Approximation Algorithms and Metaheuristics, Second Edition View_Book

Distributed Systems

Sukumar Ghosh Distributed Systems View_Book

Artificial Intelligence In Highway Location And Alignment Optimization: Applications Of Genetic Algorithms In Searching, Evaluating, And Optimizing Highway Location And Alignments

Min-wook Kang, Paul Schonfeld Artificial Intelligence In Highway Location And Alignment Optimization: Applications... View_Book

Trends in Functional Programming

Trends in Functional Programming View_Book

Euro-Par 2020: Parallel Processing

Euro-Par 2020: Parallel Processing View_Book

Decomposition-based Evolutionary Optimization In Complex Environments

Bin Xin, Juan Li, Jie Chen Decomposition-based Evolutionary Optimization In Complex Environments View_Book

Structural Information and Communication Complexity

Structural Information and Communication Complexity View_Book

Reversible Computation

Reversible Computation View_Book

New Frontiers in Artificial Intelligence

New Frontiers in Artificial Intelligence View_Book