Вы здесь

Главная

последовательный

Связанные издания:

Advances in Bioinformatics and Computational Biology: Proc./6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 2011
Advances in Bioinformatics and Computational Biology: Proc./8th Brazilian Symposium on Bioinformaticas, BSB 2012, Recife, Brazil, November 2013
Advances in Intelligent Data Analysis XIII: Proc./13th International Symposium, IDA 2014, Leuven, Belgium, October 2014
Algorithms for Computational Biology: Proc./4th International Conference, ALCoB 2017, Aveiro, Portugal, June 2017
An Enhanced Sequent Calculus for Reasoning in a given Domain
An Investigation of Back-Forth and Place Bisimulation Equivalences
An Investigation of -Equivalences
Application of Fault Parallelism to the Automatic Test Pattern Generation for Sequential Circuits
Artificial Neural Networks in Pattern Recognition: Proc./5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 2012
A Sequential Algorithm for Training Text Classifiers
A Sequential Procedure for Simultaneous Estimation of Several Means
A Sequential Reduction Strategy
Asynchronous P Systems and P Systems Working in the Sequential Mode
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015
Bioinformatics Research and Applications: Proc./12th International Symposium, ISBRA 2016, Minsk, Belarus, June 2016
Cache Management for Shared Sequential Data Access
Combinatorial Pattern Matching: Proc./20th Annual Symposium, CPM 2009, Lille, France. June 2009
Compiling a Producer-Consumer LEQ System in a Network of Communicating Processes
Compositional State Space Generation
Computational Intelligence in Music, Sound, Art and Design: Proc./6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 2017
Detecting Atomic Sequences of Predicates in Distributed Computations
Deterministic Systems of Sequential Processes: A Class of Structured Petri Nets
Die Abbildung der konkurrenten Sprache LADY nach sequentiellem PASCAL
Distributed Applications and Interoperable Systems: Proc./13th IFIP WG 6.1 International Conference, DAIS 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013
Fast Abstract Interpretation Using Sequential Algorithms
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload
Fishspear: A Priority Queue Algorithm
Functional Programming Languages with Logical Variables: A Linear Logic View
Generalized Topological Sorting in Linear Time
Herbrand Methods in Sequent Calculi: Unification in LL
Identifying and Using Patterns in Sequential Data
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 2012
Logic Programming and Genetic Sequence Analysis: a Tutorial
Logic Programming with Sequent Systems
Machine Learning and Data Mining in Pattern Recognition: Proc./13th International Conference, MLDM 2017, New York,NY,USA, July 2017
Mazurkiewicz Traces Semantics for Communicating Sequential Processes
Methods for Synthesizing Testable Sequential Circuits
On the Complexities of Linear LL(1) and LR(1) Grammars
On the Relation between Firing Sequences and Processes of Petri Nets
Parallel Bounded Quantification - Preliminary Results
Petri Net Equivalences for Design of Concurrent Systems
Robust Logic and Structural Properties of the Sequent Calculus
Search-Based Software Engineering: Proc./10th International Symposium, SSBSE 2018, Montpellier, France, September 2018
Sequence Query Processing
Sequential Abstract State Machines Capture Sequential Algorithms
SIMCDL: Simulating Parallel Programming Sequential Environment
Software Model Checking Using Linear Constraints
SPCF: Its Model, Calculus, and Computational Power
The Evolution of Instruction Sequencing
The Linear Time - Branching Time Spectrum II (The semantics of sequential systems with silent moves)