1
Por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado em 2010
Sumário: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2015
Sumário: ... as Requirements -- What Do Practitioners Vary in Using Scrum? -- Key Challenges in Early-Stage Software Startups...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2014
Sumário: ...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2015
Sumário: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2008
Sumário: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Por Hunt, John., Hunt, John.
Publicado em 2014
Sumário: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Por Kall, Peter., Kall, Peter., Mayer, János.
Publicado em 2005
Sumário: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Por Kall, Peter., Kall, Peter., Mayer, János.
Publicado em 2011
Assuntos: ...Probability Theory and Stochastic Processes. https://scigraph.springernature.com/ontologies/product...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Por Kalicharan, Noel., Kalicharan, Noel.
Publicado em 2015
Sumário: ...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2006
Sumário: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2006
Sumário: ... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Sumário: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2013
Sumário: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
Obter o texto integral
Recurso Electrónico livro electrónico