אפשרויות חיפוש:
programming composing » programming comparing, programming composite, programming computing
composing https » computing https, composing photos
https function » its function, sites function, ups function
using https » using http, nursing https, aging https
1
מאת Hamlet, Dick., Hamlet, Dick.
יצא לאור 2010
תוכן הענינים: ... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
נושאים: ...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
תוכן הענינים: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים: ...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2014
תוכן הענינים: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... Generic Functions -- Composing Services -- Dynamically Adaptive Systems through Automated Model Evolution...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים: ... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים: ... – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ...Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
תוכן הענינים: ... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים: ... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים: ... Collaborative Professional Approach, Georgina Barton -- 6. Using the TARL model in Psychology: Supporting first...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2012
תוכן הענינים: ...Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים: ... in Architecture Representation -- Flexible Working Architectures: Agile Architecting Using PPCs -- Lightweight...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים: ... Recognition -- Object Detection Using Neural Networks and Genetic Programming -- Direct 3D Metric...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים: ..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני