Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Choose an application
Choose an application
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.
Computer science --- Machine theory --- Formal languages --- Computer programming --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*C1 --- 681.3*E1 --- 681.3*F --- 681.3*I1 --- 681.3*I23 --- Processor architectures (Computer systems organization) --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*C1 Processor architectures (Computer systems organization) --- Automates mathématiques, Théorie des --- Congrès --- Information theory. --- Logic design. --- Computer software. --- Computer science. --- Combinatorics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatique --- BASIC (Computer program language) --- Automates mathématiques, Théorie des - Congres --- Langages formels - Congres --- Programmation (Informatique) - Congres
Choose an application
Combinatorial problems have been from the very beginning part of the history of mathematics. By the Sixties, the main classes of combinatorial problems had been defined. During that decade, a great number of research contributions in graph theory had been produced, which laid the foundations for most of the research in graph optimization in the following years. During the Seventies, a large number of special purpose models were developed. The impressive growth of this field since has been strongly determined by the demand of applications and influenced by the technological increases in compu
Discrete mathematics --- Combinatorial analysis --- Combinatorial number theory. --- Data processing. --- Data processing --- Number theory --- 519.1 --- 681.3*G21 --- 681.3*G22 --- 519.1 Combinatorics. Graph theory --- Combinatorics. Graph theory --- 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- 681.3*G22 Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- Combinatorial analysis - Data processing
Choose an application
Machine theory --- Formal languages --- Programming languages (Electronic computers) --- Automates mathématiques, Théorie des --- Langages formels --- Langages de programmation --- Congresses --- Congrès --- Automates mathématiques, Théorie des --- Congrès
Choose an application
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org. .
Computer science --- Computer networks --- Artificial intelligence --- Lactation --- Mammary glands --- Physiology, Comparative --- Prolactin --- 591.146 --- 591.147 --- 591.146 Secretions of the mammary glands. Milk. Lactation --- Secretions of the mammary glands. Milk. Lactation --- 591.147 Internal secretions. Endocrine secretions. Hormones. Adrenalin. Insulin. Sex hormones. Androgens. Oestrogens --- Internal secretions. Endocrine secretions. Hormones. Adrenalin. Insulin. Sex hormones. Androgens. Oestrogens --- Galactin --- Galactopoietic hormone --- Lactogenic hormones --- Luteotropin --- Mammotropin --- Gonadotropin --- Pituitary hormones --- Protein hormones --- Comparative physiology --- Medicine, Comparative --- Zoology --- Breast --- Exocrine glands --- Udder --- Regulation of lactation --- Biological control systems --- Regulation --- Growth --- Hormones --- Lactation. --- Physiology. --- Computer industry. --- History. --- Information theory. --- Computer science. --- The Computer Industry. --- History of Science. --- Theory of Computation. --- The Computing Profession. --- History of Computing. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Annals --- Auxiliary sciences of history --- Electronic industries --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Pathology --- Philosophy. --- Disease (Pathology) --- Medical sciences --- Diseases --- Medicine --- Medicine, Preventive --- Professions. --- Computers --- Career patterns --- Careers --- Jobs --- Professional services --- Occupations --- Interprofessional relations --- Vocational guidance
Choose an application
Programming --- Discrete mathematics --- 681.3*D1 --- 681.3*D3 --- 681.3*E1 --- 681.3*F2 --- 681.3*G2 --- Programming techniques--See also {681.3*E} --- Programming languages --- Data structures: arrays; graphs; lists; tables; trees --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Discrete mathematics (Mathematics of computing) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D3 Programming languages --- 681.3*D1 Programming techniques--See also {681.3*E} --- Logic design. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Listing 1 - 7 of 7 |
Sort by
|