Rezultati - program _ https functionality design https

1

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Izdano 2011

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2006

Kazalo: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Polni tekst

Elektronski eKnjiga

3

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Izdano 2011

Teme: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Polni tekst

Elektronski eKnjiga

4

Drawing Programs: The Theory and Practice of Schematic Functional Programming

od Addis, Tom., Addis, Tom., Addis, Jan.
Izdano 2010

Kazalo: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Polni tekst

Elektronski eKnjiga

5

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary...

Izdano 2010

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

6

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

od Horváth, Zoltán., Horváth, Zoltán.
Izdano 2006

Kazalo: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2013

Kazalo: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Polni tekst

Elektronski eKnjiga

8

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Izdano 2005

Kazalo: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Polni tekst

Elektronski eKnjiga

9

Compiler Design Syntactic and Semantic Analysis /

od Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut., Hack, Sebastian.
Izdano 2013

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

10

Compiler Design Analysis and Transformation /

od Seidl, Helmut., Seidl, Helmut., Wilhelm, Reinhard., Hack, Sebastian.
Izdano 2012

Kazalo: “... -- Functional Programs -- References -- Index....”
Polni tekst

Elektronski eKnjiga

11

Compiler Design Virtual Machines /

od Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut.
Izdano 2010

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2012

Kazalo: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Polni tekst

Elektronski eKnjiga

13

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

Izdano 2011

Teme: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Polni tekst

Elektronski eKnjiga

14

Modern Compiler Design

od Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Izdano 2012

Kazalo: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Polni tekst

Elektronski eKnjiga

15

Scala Design Patterns Patterns for Practical Reuse and Design /

od Hunt, John., Hunt, John.
Izdano 2013

Kazalo: “... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...”
Polni tekst

Elektronski eKnjiga

16

Adapting Proofs-as-Programs The Curry--Howard Protocol /

od Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Izdano 2005

Kazalo: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Polni tekst

Elektronski eKnjiga

17

Functional and Phylogenetic Ecology in R

od Swenson, Nathan G., Swenson, Nathan G.
Izdano 2014

Kazalo: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Polni tekst

Elektronski eKnjiga

18

Foundation Flex for Designers

od Goralski, Greg., Goralski, Greg., Leon, Lordalex.
Izdano 2008

Teme: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Polni tekst

Elektronski eKnjiga

19

Quantifying Functional Biodiversity

od Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Izdano 2012

Kazalo: “... Sample Design and Trait Evaluation -- 4.3.2 The Database -- 4.3.3 Changes of Plant Functional Types...”
Polni tekst

Elektronski eKnjiga

20

Dynamic Programming A Computational Tool /

od Lew, Art., Lew, Art., Mauch, Holger.
Izdano 2007

Kazalo: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje