תוצאות חיפוש - programming composing https function using https

1

Composing Software Components A Software-testing Perspective /

מאת Hamlet, Dick., Hamlet, Dick.
יצא לאור 2010

תוכן הענינים: “... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Composing A Care of the Self A Critical History of Writing Assessment in Secondary English Education /

מאת Carlson, David Lee., Carlson, David Lee., Albright, James.
יצא לאור 2012

נושאים: “...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

יצא לאור 2006

תוכן הענינים: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /

מאת Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
יצא לאור 2015

תוכן הענינים: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

יצא לאור 2008

תוכן הענינים: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

יצא לאור 2008

תוכן הענינים: “...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

יצא לאור 2014

תוכן הענינים: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

יצא לאור 2010

תוכן הענינים: “... Generic Functions -- Composing Services -- Dynamically Adaptive Systems through Automated Model Evolution...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /

יצא לאור 2007

תוכן הענינים: “... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Pro React

מאת de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
יצא לאור 2015

תוכן הענינים: “... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

יצא לאור 2006

תוכן הענינים: “... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

Teaching Reflective Learning in Higher Education A Systematic Approach Using Pedagogic Patterns /

יצא לאור 2015

תוכן הענינים: “... Collaborative Professional Approach, Georgina Barton -- 6. Using the TARL model in Psychology: Supporting first...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

יצא לאור 2012

תוכן הענינים: “...Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... in Architecture Representation -- Flexible Working Architectures: Agile Architecting Using PPCs -- Lightweight...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני