Listing 1 - 10 of 38 << page
of 4
>>
Sort by
Computability and complexity : from a programming perspective
Author:
ISBN: 0262100649 0262276364 0585037027 9780262276368 9780585037028 9780262100649 Year: 1997 Publisher: Cambridge, Mass. : MIT Press,

ESOP'90. 3rd european symposium on programming, Copenhagen, Denmark, 15-18 May, 1990
Author:
ISBN: 0387525920 3540525920 354047045X 9783540525929 9780387525921 Year: 1990 Volume: 432 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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


Book
Spacewrecked on Venus
Author:
ISBN: 1682999238 Year: 2015 Publisher: [New Jersey City, New Jersey] : Start Publishing LLC,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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


Book
The reluctant networker : giving you the tools and confidence to give networking a go
Author:
ISBN: 1909116688 9781909116689 190911667X 9781909116672 Year: 2010 Publisher: [Place of publication not identified] : HotHive Books,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
The reluctant networker : giving you the tools and confidenc to give networking a go.
Author:
ISBN: 9781906316501 Year: 2010 Publisher: Blackminster HotHive

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Computability theory : an introduction
Author:
Year: 1973 Publisher: New York Academic Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The Jameson Satellite
Author:
Year: 2008 Publisher: Project Gutenberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The Jameson Satellite
Author:
Year: 2008 Publisher: Project Gutenberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Space-bounded reducibility among combinatorial problems
Author:
Year: 1974 Publisher: Lawrence University of Kansas. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 38 << page
of 4
>>
Sort by