Arama Sonuçları - ((functions computation) or (functions computational)) programming using based versus*

1

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

2

Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”
Tam Metin Erişim

Elektronik Ekitap

3

Informatics Education - The Bridge between Using and Understanding Computers International...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...”
Tam Metin Erişim

Elektronik Ekitap

4

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”
Tam Metin Erişim

Elektronik Ekitap

5

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Reasoning Based on Rough Mereology in Player/Stage System -- Natural versus Granular Computing: Classifiers...”
Tam Metin Erişim

Elektronik Ekitap

6

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... to Group Decision Making Problems.- Using Genetic Programming to Estimate Performance of Computational...”
Tam Metin Erişim

Elektronik Ekitap

7

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...”
Tam Metin Erişim

Elektronik Ekitap

8

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Tam Metin Erişim

Elektronik Ekitap

9

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Tam Metin Erişim

Elektronik Ekitap

10

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Tam Metin Erişim

Elektronik Ekitap

12

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
Tam Metin Erişim

Elektronik Ekitap

13

From Computer Literacy to Informatics Fundamentals International Conference on Informatics...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Systems of the Internet -- Fundamentals Versus ICT -- Why Teach Introductory Computer Science? Reconciling...”
Tam Metin Erişim

Elektronik Ekitap

14

COMPSTAT 2008 Proceedings in Computational Statistics /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Advances on Statistical Computing Environments -- Back to the Future: Lisp as a Base for a Statistical...”
Tam Metin Erişim

Elektronik Ekitap

15

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Tam Metin Erişim

Elektronik Ekitap

16

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Tam Metin Erişim

Elektronik Ekitap

17

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
Tam Metin Erişim

Elektronik Ekitap

18

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Uncertainty: Orthogonal Versus Weighted Sum -- Learnability of Simply-Moded Logic Programs from Entailment...”
Tam Metin Erişim

Elektronik Ekitap

19

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...”
Tam Metin Erişim

Elektronik Ekitap

20

Beyond Knowledge: The Legacy of Competence Meaningful Computer-based Learning Environments /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...? -- Oversold – Underused Revisited: Factors Influencing Computer Use in Swiss Classrooms -- Competence-Based...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt