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