Альтернативы поиска:
function structures » functions structures, function structure, functional structures
programming style » programming study, programming series, programming system
https function » its function, sites function, ups function
style https » state https
1
Опубликовано 2006
Оглавление: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2013
Оглавление: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Полный текст
Электронный ресурс eКнига
3
по Fernández, Maribel., Fernández, Maribel.
Опубликовано 2014
Оглавление: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Полный текст
Электронный ресурс eКнига
4
по Lee, Kent D., Lee, Kent D.
Опубликовано 2014
Предметы: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2013
Оглавление: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Полный текст
Электронный ресурс eКнига
6
по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2014
Оглавление: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Полный текст
Электронный ресурс eКнига
7
по Hunt, John., Hunt, John.
Опубликовано 2013
Оглавление: ... – Code Reuse Patterns -- Lazy Parameters -- Partially Applied Functions -- Trait Based Template Operation...
Полный текст
Электронный ресурс eКнига
8
Оглавление: ..., and Style -- Tying Content and Structure Together -- Comments -- Beyond The Basics -- Extending Textpattern...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2007
Оглавление: ...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...
Полный текст
Электронный ресурс eКнига
10
по Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Опубликовано 2008
Оглавление: ... -- Getting Started -- Project Setup / Structure -- Using the utility scripts -- Writing code -- Compiling...
Полный текст
Электронный ресурс eКнига
11
по Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Опубликовано 2006
Предметы: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Полный текст
Электронный ресурс eКнига
12
по Resig, John., Resig, John.
Опубликовано 2007
Оглавление: ...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional JavaScript...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2007
Оглавление: ... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...
Полный текст
Электронный ресурс eКнига
14
по Stephenson, Ben., Stephenson, Ben.
Опубликовано 2014
Оглавление: ...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...
Полный текст
Электронный ресурс eКнига
15
по Moroney, Laurence., Moroney, Laurence.
Опубликовано 2006
Предметы: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Полный текст
Электронный ресурс eКнига
16
по Szpuszta, Mario., Szpuszta, Mario., MacDonald, Matthew.
Опубликовано 2005
Предметы: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2007
Оглавление: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Полный текст
Электронный ресурс eКнига
18
по Wise, Cheryl D., Wise, Cheryl D.
Опубликовано 2007
Оглавление: ... -- Using Semantic, Structured HTML to Create Web Pages -- Essential CSS: What You Need to Know -- Using...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2013
Оглавление: ... -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling...
Полный текст
Электронный ресурс eКнига
20
по Moller, Faron., Moller, Faron., Struth, Georg.
Опубликовано 2013
Оглавление: ... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...
Полный текст
Электронный ресурс eКнига