Search Results - program style https function structures https

1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
View full text

Electronic eBook

2

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Published 2013

Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
View full text

Electronic eBook

3

Programming Languages and Operational Semantics A Concise Overview /

by Fernández, Maribel., Fernández, Maribel.
Published 2014

Table of Contents: “... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text

Electronic eBook

4

Foundations of Programming Languages

by Lee, Kent D., Lee, Kent D.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

5

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Published 2013

Table of Contents: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
View full text

Electronic eBook

6

A Primer on Scientific Programming with Python

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2014

Table of Contents: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text

Electronic eBook

7

Scala Design Patterns Patterns for Practical Reuse and Design /

by Hunt, John., Hunt, John.
Published 2013

Table of Contents: “... – Code Reuse Patterns -- Lazy Parameters -- Partially Applied Functions -- Trait Based Template Operation...”
View full text

Electronic eBook

8

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...”
View full text

Electronic eBook

9

Textpattern Solutions PHP-Based Content Management Made Easy /

by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007

Table of Contents: “..., and Style -- Tying Content and Structure Together -- Comments -- Beyond The Basics -- Extending Textpattern...”
View full text

Electronic eBook

10

The Python Workbook A Brief Introduction with Exercises and Solutions /

by Stephenson, Ben., Stephenson, Ben.
Published 2014

Table of Contents: “...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...”
View full text

Electronic eBook

11

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Published 2007

Table of Contents: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
View full text

Electronic eBook

12

Beginning Google Web Toolkit From Novice to Professional /

by Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Published 2008

Table of Contents: “... -- Getting Started -- Project Setup / Structure -- Using the utility scripts -- Writing code -- Compiling...”
View full text

Electronic eBook

13

Foundation Flash 8

by Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

14

Pro JavaScript Techniques

by Resig, John., Resig, John.
Published 2007

Table of Contents: “...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional JavaScript...”
View full text

Electronic eBook

15

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Published 2007

Table of Contents: “... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...”
View full text

Electronic eBook

16

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0 /

by Moroney, Laurence., Moroney, Laurence.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

17

Pro ASP.NET 2.0 in C# 2005

by Szpuszta, Mario., Szpuszta, Mario., MacDonald, Matthew.
Published 2005

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

18

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Table of Contents: “... -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling...”
View full text

Electronic eBook

19

Foundations of Microsoft Expression Web The Basics and Beyond /

by Wise, Cheryl D., Wise, Cheryl D.
Published 2007

Table of Contents: “... -- Using Semantic, Structured HTML to Create Web Pages -- Essential CSS: What You Need to Know -- Using...”
View full text

Electronic eBook

20

Modelling Computing Systems Mathematics for Computer Science /

by Moller, Faron., Moller, Faron., Struth, Georg.
Published 2013

Table of Contents: “... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...”
View full text

Electronic eBook

Narrow Search