Hakutulokset - program computing https functional binding https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”
Hae kokoteksti

Elektroninen E-kirja

2

Pro DNS and BIND

Tekijä Aitchison, Ron., Aitchison, Ron.
Julkaistu 2005

Sisällysluettelo: “... Operations -- DNS Types -- DNS and IPv6 -- Get Something Running -- Installing BIND -- BIND Type Samples...”
Hae kokoteksti

Elektroninen E-kirja

3

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Hae kokoteksti

Elektroninen E-kirja

4

An Introduction to Python and Computer Programming

Tekijä Zhang, Yue., Zhang, Yue.
Julkaistu 2015

Sisällysluettelo: “...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
Hae kokoteksti

Elektroninen E-kirja

5

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Hae kokoteksti

Elektroninen E-kirja

6

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- On Anaphora and the Binding Principles in Categorial Grammar -- Feasible Functions over Co-inductive Data...”
Hae kokoteksti

Elektroninen E-kirja

7

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Julkaistu 2015

Sisällysluettelo: “...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”
Hae kokoteksti

Elektroninen E-kirja

8

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory...”
Hae kokoteksti

Elektroninen E-kirja

9

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Julkaistu 2007

Sisällysluettelo: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
Hae kokoteksti

Elektroninen E-kirja

10

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Julkaistu 2007

Sisällysluettelo: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
Hae kokoteksti

Elektroninen E-kirja

11

Xamarin Mobile Application Development Cross-Platform C# and Xamarin.Forms Fundamentals /

Tekijä Hermes, Dan., Hermes, Dan.
Julkaistu 2015

Aiheet: “...Computer programming....”
Hae kokoteksti

Elektroninen E-kirja

12

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
Hae kokoteksti

Elektroninen E-kirja

13

Advances in Bioinformatics and Computational Biology Second Brazilian Symposium on Bioinformatics...

Julkaistu 2007

Sisällysluettelo: “... with Dynamic Programming Algorithms -- New EST Trimming Procedure Applied to SUCEST Sequences -- A Method...”
Hae kokoteksti

Elektroninen E-kirja

14

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Predicting Protein-Peptide Binding Affinity by Learning Peptide-Peptide Distance Functions -- Keynote...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2006

Sisällysluettelo: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
Hae kokoteksti

Elektroninen E-kirja

16

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
Hae kokoteksti

Elektroninen E-kirja

17

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Hae kokoteksti

Elektroninen E-kirja

18

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
Hae kokoteksti

Elektroninen E-kirja

19

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...”
Hae kokoteksti

Elektroninen E-kirja

20

JavaScript for Absolute Beginners

Tekijä McNavage, Terry., McNavage, Terry.
Julkaistu 2010

Aiheet: “...Computer programming....”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua