1
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
2
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
View full text
Electronic eBook
5
by Younker, Jeff., Younker, Jeff.
Published 2008
Table of Contents: ...What Is Agile Development? -- The IDE: Eclipsing the Command Line -- Revision Control: Subverting...
View full text
Electronic eBook
6
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
View full text
Electronic eBook
7
by Faison, Ted., Faison, Ted.
Published 2006
Table of Contents: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
View full text
Electronic eBook
8
by Lee, Kent D., Lee, Kent D.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
10
Table of Contents: ...Welcome to the Paradigm Shift -- Getting Started with iPad Development -- Exploring the iPhone...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...End-User Development: An Emerging Paradigm -- Psychological Issues in End-User Programming -- More...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... into functional research of MSCs -- Human neural development and human embryonic stem cell neural differentiation...
View full text
Electronic eBook
13
Subjects: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
View full text
Electronic eBook
14
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
15
by Harris, Alan., Harris, Alan.
Published 2010
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... and Auditing of SOA Based Business Processes -- SCA and jABC: Bringing a Service-Oriented Paradigm to Web...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Development -- Educators’ Symposium -- Essentials of the 5th Educators’ Symposium at MODELS 2009 -- Teaching...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... for Model Driven Development and Maintenance of Business Logic for Information Systems -- A Model...
View full text
Electronic eBook