Narrow your search
Listing 1 - 7 of 7
Sort by

Book
Analysis and design of algorithms in combinatorial optimization
Author:
ISBN: 0387816267 3211816267 9780387816265 9783211816264 9783211816264 9780387816265 3211816267 Year: 1981 Publisher: New York

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Automata, languages and programming : colloquium, Udine, July 17-21, 1978
Authors: ---
Year: 1978 Publisher: Berlin, Heidelberg, New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Automa, languages and programming: international colloquium, Stresa, Italy, July 11-15, 1989, proceedings
Authors: --- --- ---
ISBN: 354051371X 038751371X 3540462015 9783540513711 9780387513713 Year: 1989 Volume: 372 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

Analysis and design of algorithms for combinatorial problems
Authors: --- ---
ISBN: 0444876995 9780444876997 9780080872209 0080872204 1281788279 9781281788276 9786611788278 6611788271 Year: 1985 Volume: 25 109 Publisher: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978
Authors: --- ---
ISBN: 0387088601 Year: 1978 Volume: 62 Publisher: Berlin,New York : Springer-Verlag,

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
Authors: --- ---
ISBN: 0387096809 3540096809 0387096795 3642813917 3642813895 Year: 2008 Volume: 15 Publisher: New York, NY : Springer US : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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. .

Keywords

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

Listing 1 - 7 of 7
Sort by