Listing 1 - 10 of 16 | << page >> |
Sort by
|
Choose an application
Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Parallel processing (Electronic computers) --- Computer multitasking --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Computer communication systems. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Information Systems Applications (incl. Internet). --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer networks. --- Compilers (Computer programs). --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Computer and Information Systems Applications. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Choose an application
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.
Parallel processing (Electronic computers) --- Multitasking (Computer science) --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer multitasking --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congrès --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Techniques. --- Computer Communication Networks. --- Computer network architectures. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Distributed processing --- Programming --- Parallel processing (Electronic computers) - Congresses --- Computer multitasking - Congresses
Choose an application
Choose an application
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Parallel processing (Electronic computers) --- Parallel programming (Computer science) --- Computer programming --- Computer science. --- Computer Communication Networks. --- Information theory. --- Logic design. --- Programming Techniques. --- Theory of Computation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer programming. --- Computer communication systems. --- Computers. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Distributed processing --- Programming --- Computer networks. --- Computer Science Logic and Foundations of Programming.
Choose an application
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.
Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- Parallélisme (Informatique) --- Congrès --- Information theory. --- Logic design. --- Computer science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics
Choose an application
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998. The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc.
Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Computer science. --- Computer communication systems. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Techniques. --- Computer Communication Networks. --- Parallélisme (Informatique) --- Congrès --- Congresses --- Logic design. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Distributed processing --- Programming
Choose an application
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.
Parallel processing (Electronic computers) --- Multitasking (Computer science) --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer multitasking --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congrès --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Computer science. --- Architecture, Computer. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Algebra. --- Computer Science. --- Theory of Computation. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Electronic data processing --- Information theory. --- Computer network architectures. --- Logic design. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Mathematics --- Mathematical analysis --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
Parallel processing (Electronic computers) --- Multitasking (Computer science) --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses --- Congrès --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Computer multitasking --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses. --- Congrès --- Computer network architectures. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Programming --- Distributed processing
Choose an application
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications and the scientific relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols), related verification techniques and tools (such as staff space exploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graph rewriting, as well as associated typesystems, static analyses, abstract machines, and environments). This volume starts with five invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the Programme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme Committee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. .
Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Parallélisme (Informatique) --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Computer Communication Networks. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Programming --- Distributed processing --- Computer network architectures. --- Logic design. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer systems. --- Compilers (Computer programs). --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Theory of Computation. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer
Choose an application
This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Computer Science --- Engineering & Applied Sciences --- Parallel processing (Electronic computers) --- Computer multitasking --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Computer programming. --- Computers. --- Computer logic. --- Computer science --- Computer Science. --- Logics and Meanings of Programs. --- Programming Techniques. --- Theory of Computation. --- Models and Principles. --- Computation by Abstract Devices. --- Mathematics of Computing. --- Mathematics. --- Electronic data processing --- Logic design. --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Computer Science Logic and Foundations of Programming. --- Models of Computation.
Listing 1 - 10 of 16 | << page >> |
Sort by
|