Arama Sonuçları - parallel objects mean function function https

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...”
Tam Metin Erişim

Elektronik Ekitap

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages....”
Tam Metin Erişim

Elektronik Ekitap

3

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...”
Tam Metin Erişim

Elektronik Ekitap

4

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Tam Metin Erişim

Elektronik Ekitap

6

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

7

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Tam Metin Erişim

Elektronik Ekitap

8

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Rules -- Parallel Thinning with Complex Objects and Actors -- Causal Nets for Geometrical Gandy–Paun...”
Tam Metin Erişim

Elektronik Ekitap

9

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Baskı/Yayın Bilgisi 2014

Konular: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Tam Metin Erişim

Elektronik Ekitap

10

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Tam Metin Erişim

Elektronik Ekitap

11

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Tam Metin Erişim

Elektronik Ekitap

12

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...”
Tam Metin Erişim

Elektronik Ekitap

13

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Tam Metin Erişim

Elektronik Ekitap

14

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”
Tam Metin Erişim

Elektronik Ekitap

16

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

17

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Tam Metin Erişim

Elektronik Ekitap

18

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Tam Metin Erişim

Elektronik Ekitap

19

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Tam Metin Erişim

Elektronik Ekitap

20

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt