Listing 1 - 10 of 38 | << page >> |
Sort by
|
Choose an application
Programming --- Computer science --- Mathematical logic --- Computer programming --- Computational Complexity --- Computational complexity. --- Computer programming. --- Complexity, Computational --- Electronic data processing --- Machine theory --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory
Choose an application
Computer science --- Recursive functions. --- Turing machines. --- Computable functions. --- Fonctions récursives --- Fonctions calculables --- Recursive Functions --- Turing machines --- Computable functions --- 510.5 --- Recursive functions --- #WWIS:ALTO --- Machine theory --- Functions, Recursive --- Algorithms --- Arithmetic --- Logic, Symbolic and mathematical --- Number theory --- Recursion theory --- Decidability (Mathematical logic) --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Algorithms. Computable functions --- Foundations --- 510.5 Algorithms. Computable functions --- Machines de Turing --- Fonctions récursives
Choose an application
This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses --- Congrès --- Electronic digital computers --- Programming --- -Computer programming --- -681.3*D31 --- 681.3*D3 --- 681.3*D1 --- 681.3*D2 --- 681.3*F3 --- 681.3*F4 --- 681.3*F1 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Programming languages --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*D3 Programming languages --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Congrès --- 681.3*D31 --- Computer science. --- Logic design. --- Software engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Programming languages (Electronic computers) - Congresses --- Electronic digital computers - Congresses - Programming
Choose an application
Interplanetary commerce, if and when it begins, will be fraught with all of the dangers that accompany pioneering expeditions. There will be the terrible climatic conditions on other worlds to be faced, strange beasts and plants; and perhaps desperate and greedy men. That was the case when every new land was opened on Earth and it may be expected to be true when we conquer the solar planets. Mr. Jones understands these things well. His vivid imagination, his sense of a good story and his knowledge of what may be expected upon other worlds combine to make this a novel and exciting yarn. And, as
Science fiction, American. --- American science fiction --- American fiction
Choose an application
Many working professionals are 'Reluctant Networkers'. They do not like the thought of 'cold calling' friends of friends, joining networking clubs or going to networking events where they have to 'work' a room full of strangers. Written by a 'Reluctant Networker', this guide supports you in developing your networking skills in 'bite-size chucks' rather than having to do a complete makeover.
Business networks --- Business communication --- Managerial economics --- E-books --- Business networks. --- Business communication. --- Managerial economics. --- Business economics --- Economics --- Industrial management --- Management --- Microeconomics --- Administrative communication --- Communication, Administrative --- Communication, Business --- Communication, Industrial --- Industrial communication --- Communication --- Business networking --- Networking, Business --- Networks, Business --- Social networks --- Industrial clusters --- Strategic alliances (Business)
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Listing 1 - 10 of 38 | << page >> |
Sort by
|