Arama Sonuçları - parallel declarative program function function https

Şunu mu demek istediniz:
parallel declarative » paradigm declarative , parallel collaborative , parallel iterative
declarative program » declarative programs , decorative program , declarative problem
function function » function functional , functions functional , function dysfunction
program function » programme function , programs functional , program foundation
function https » functions https , fiction https

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Tam Metin Erişim

Elektronik Ekitap

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Tam Metin Erişim

Elektronik Ekitap

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”
Tam Metin Erişim

Elektronik Ekitap

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Tam Metin Erişim

Elektronik Ekitap

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Tam Metin Erişim

Elektronik Ekitap

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Declarative Web Programming -- Constraints -- Lazy Explanations for Constraint Propagators...”
Tam Metin Erişim

Elektronik Ekitap

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
Tam Metin Erişim

Elektronik Ekitap

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

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Tam Metin Erişim

Elektronik Ekitap

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Tam Metin Erişim

Elektronik Ekitap

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...”
Tam Metin Erişim

Elektronik Ekitap

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

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

Business Information Systems 17th International Conference, BIS 2014, Larnaca, Cyprus, May 22-23, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt