תוצאות חיפוש - program foundations https function based https

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
קבל טקסט מלא

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

2

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0 /

מאת Moroney, Laurence., Moroney, Laurence.
יצא לאור 2006

נושאים: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
קבל טקסט מלא

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

3

Foundation Flash 8

מאת Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
יצא לאור 2006

נושאים: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
קבל טקסט מלא

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

4

Foundation Expression Blend 2 Building Applications in WPF and Silverlight /

מאת Gaudioso, Victor., Gaudioso, Victor.
יצא לאור 2008

נושאים: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
קבל טקסט מלא

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

5

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...

יצא לאור 2013

תוכן הענינים: “...Pattern Graphs and Rule-Based Models: The Semantics of Kappa -- History-Register Automata -- Fatal...”
קבל טקסט מלא

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

6

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /

יצא לאור 2012

תוכן הענינים: “...-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification...”
קבל טקסט מלא

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

7

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013...

יצא לאור 2014

תוכן הענינים: “... Functional Programs over General Polymorphic Lists....”
קבל טקסט מלא

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

8

Real Analysis Foundations and Functions of One Variable /

מאת Laczkovich, Miklós., Laczkovich, Miklós., Sós, Vera T.
יצא לאור 2015

תוכן הענינים: “... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
קבל טקסט מלא

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

9

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers /

יצא לאור 2005

תוכן הענינים: “..., and Backward-Chaining Evolutionary Algorithms -- A Schema-Based Version of Geiringer’s Theorem for Nonlinear...”
קבל טקסט מלא

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

10

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
קבל טקסט מלא

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

11

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

יצא לאור 2005

תוכן הענינים: “... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”
קבל טקסט מלא

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

12

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “...REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software...”
קבל טקסט מלא

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

13

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /

יצא לאור 2014

תוכן הענינים: “... Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases...”
קבל טקסט מלא

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

14

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... Equivalence under Answer-Set Semantics Based on Unfounded Sets -- An Alternative Foundation for DeLP...”
קבל טקסט מלא

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

15

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on Hierarchical Hidden Markov...”
קבל טקסט מלא

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

16

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /

יצא לאור 2010

תוכן הענינים: “... -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance...”
קבל טקסט מלא

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