Listing 1 - 10 of 15 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Computer security --- Data protection --- Data encryption (Computer science) --- Computers --- Telecommunication systems --- Security measures --- Information Technology --- Computer Science (Hardware & Networks) --- Computer security - Congresses --- Data protection - Congresses --- Data encryption (Computer science) - Congresses --- Computers - Congresses --- Telecommunication systems - Security measures - Congresses
Choose an application
This book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held in Linz, Austria, in March 1997. The 24 revised full papers presented were carefully selected from a total of 55 submissions; also included are full papers of two invited presentations. The book is devoted to languages, techniques, and tools for the development of modular, extensible, and type-safe software systems. Among the programming languages covered are Modula, Oberon, Ada95, Eiffel, Salher, Java, and others. The issues addressed include compiler technology, persistence, data structures, typing, distribution, active objects, real-time programming, inheritance, reflection, languages, etc.
Programming --- Modular programming --- Programming languages (Electronic computers) --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Programming Techniques. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Modular programming - Congresses. --- Programming languages (Electronic computers) - Congresses.
Choose an application
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.
Automatic theorem proving --- Parallel processing (Electronic computers) --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Architecture, Computer. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Computer System Implementation. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Artificial intelligence --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Architecture, Computer --- Automatic theorem proving - Congresses. --- Parallel processing (Electronic computers) - Congresses.
Choose an application
This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97, held in Paderborn, Germany, in June 1997. The 18 revised full papers presented were carefully selected by the program committee for inclusion in the volume; also included are full papers by the five invited speakers. Among the topics covered are discrete algorithms, randomized methods and approximation algorithms, implementations, programming environments, systems and applications, and scheduling and load balancing.
Parallel processing (Electronic computers) --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Architecture, Computer. --- Computer programming. --- Operating systems (Computers). --- Algorithms. --- Numerical analysis. --- Computer mathematics. --- Computer Science. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Programming Techniques. --- Operating Systems. --- Numeric Computing. --- Computational Mathematics and Numerical Analysis. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Informatics --- Science --- Mathematics --- Foundations --- Operating systems --- Programming --- Computer network architectures. --- Computer software. --- Electronic data processing. --- Computer science --- Mathematics. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Automation --- Parallel processing (Electronic computers) - Congresses.
Choose an application
This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.
Hybrid computers --- Calculateurs hybrides --- Congresses --- Congrès --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Software engineering. --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Theory of Computation. --- Computer System Implementation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- 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 software engineering --- Engineering --- Architecture, Computer --- Special purpose computers --- Computers --- Informatics --- Science --- Foundations --- Digital control systems --- Logic design. --- Information theory. --- Computer network architectures. --- Computer software. --- Software, Computer --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Hybrid computers - Congresses.
Choose an application
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Programming Techniques. --- Software Engineering. --- Electronic digital computers --- Programming --- 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 --- Computer software engineering --- Engineering --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses.
Listing 1 - 10 of 15 | << page >> |
Sort by
|