Listing 1 - 5 of 5 |
Sort by
|
Choose an application
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics.
Computer software --- Congresses --- Information theory. --- Software engineering. --- Computer software. --- Logic design. --- Combinatorics. --- Computer graphics. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Computer Graphics. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Combinatorics --- Algebra --- Mathematical analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Digital techniques
Choose an application
This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.
Computer software --- Congresses --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Combinatorics. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Combinatorics --- Algebra --- Mathematical analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics
Choose an application
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at http://www.ulb.ac.be/ di/formats07, while http://www.esweek.org provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support.
Computer simulation --- Temporal automata --- Formal methods (Computer science) --- Machine theory --- Simulation par ordinateur --- Automates temporels --- Méthodes formelles (Informatique) --- Automates mathématiques, Théorie des --- Congresses. --- Congrès --- Automata --- Computer Science --- Engineering & Applied Sciences --- Robots --- Automatons --- Automata, Temporal --- Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Special Purpose and Application-Based Systems. --- 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 --- Special purpose computers --- Computers --- Informatics --- Science --- Manipulators (Mechanism) --- Robotics --- Mecha (Vehicles) --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Compilers (Computer programs). --- Computers, Special purpose. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Choose an application
Computer science --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Programming Languages, Compilers, Interpreters. --- Information theory. --- Logic design. --- Software engineering. --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Special purpose computers --- Computers --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Distributed processing --- Ability testing. --- Research. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Automation
Choose an application
Petri nets --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Computer multitasking --- Algebra --- Computer Science --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Microprocessors. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Computer Communication Networks. --- Processor Architectures. --- Operating Systems. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- 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 operating systems --- Computers --- Disk operating systems --- Systems software --- 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 --- Minicomputers --- Informatics --- Science --- Operating systems --- Distributed processing --- Information theory. --- Computational complexity. --- Complexity, Computational --- Communication theory --- Communication --- Computer science—Mathematics. --- Discrete mathematics. --- Computer networks. --- Computer architecture. --- Architecture, Computer --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Listing 1 - 5 of 5 |
Sort by
|