Resultats de la cerca - interface exploring programming programming constructs (https or http)

1

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Publicat 2006

Taula de continguts: “... -- Interfaces as Games, Programs as Strategies -- ?Z: Zermelo’s Set Theory as a PTS with 4 Sorts -- Exploring...”
Obtenir text complet

Electrònic eBook

2

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Publicat 2007

Taula de continguts: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Obtenir text complet

Electrònic eBook

3

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations /

Publicat 2015

Taula de continguts: “... -- The Potential of Logic Programming as a Computational Tool to Model Morality....”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2005

Taula de continguts: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Obtenir text complet

Electrònic eBook

5

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

Publicat 2014

Taula de continguts: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Obtenir text complet

Electrònic eBook

6

Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyond /

per Carsetti, A., Carsetti, A.
Publicat 2013

Taula de continguts: “... and the alternative splicing. - 2. The interface between ruler and coder -- 3. The recipe at work: the role...”
Obtenir text complet

Electrònic eBook

7

Practical Rails Projects

per Alameda, Eldon., Alameda, Eldon.
Publicat 2007

Matèries: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet

Electrònic eBook

8

Pro Java 6 3D Game Development Java 3D, JOGL, JInput and JOAL APIs /

per Davison, Andrew., Davison, Andrew.
Publicat 2007

Taula de continguts: “... with JOAL -- The P5 Glove -- JOGL -- Two JOGL Programming Frameworks -- Touring the World -- Loading Models....”
Obtenir text complet

Electrònic eBook

9

Pro VB 2005 and the .NET 2.0 Platform

per Troelsen, Andrew., Troelsen, Andrew.
Publicat 2006

Taula de continguts: “... Basic 2005 Applications -- Visual Basic 2005 Language Fundamentals -- VB 2005 Programming Constructs...”
Obtenir text complet

Electrònic eBook

10

Pro C# with .NET 3.0, Special Edition

per Troelsen, Andrew., Troelsen, Andrew.
Publicat 2007

Taula de continguts: “... Interfaces, Delegates, and Events -- Advanced C# Type Construction Techniques -- Understanding Generics...”
Obtenir text complet

Electrònic eBook

11

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Publicat 2006

Taula de continguts: “...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...”
Obtenir text complet

Electrònic eBook

12

Innovations in Computing Sciences and Software Engineering

Publicat 2010

Taula de continguts: “... -- A Suitable Software Process Improvement Model for the UK Healthcare Industry -- Exploring User...”
Obtenir text complet

Electrònic eBook

13

Form-Oriented Analysis A New Methodology to Model Form-Based Applications /

per Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Publicat 2005

Taula de continguts: “...Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop...”
Obtenir text complet

Electrònic eBook

14

Pro C# 2010 and the .NET 4 Platform

per Troelsen, Andrew., Troelsen, Andrew.
Publicat 2010

Taula de continguts: “... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
Obtenir text complet

Electrònic eBook

15

Pro VB 2010 and the .NET 4.0 Platform

per Troelsen, Andrew., Troelsen, Andrew., Vrat Agarwal, Vidya.
Publicat 2010

Taula de continguts: “... Constructs, Part I -- Core VB 2010 Programming Constructs, Part II -- Defining Encapsulated Class Types...”
Obtenir text complet

Electrònic eBook

16

Introducing Visual C# 2010

per Freeman, Adam., Freeman, Adam.
Publicat 2010

Taula de continguts: “..., Indexers, and Operators -- Methods -- Delegates, Events, and Anonymous Methods -- Namespaces -- Interfaces...”
Obtenir text complet

Electrònic eBook

17

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...”
Obtenir text complet

Electrònic eBook

18

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Publicat 2008

Taula de continguts: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Obtenir text complet

Electrònic eBook

19

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Obtenir text complet

Electrònic eBook

20

People and Computers XIX - The Bigger Picture Proceedings of HCI 2005 /

Publicat 2006

Taula de continguts: “... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”
Obtenir text complet

Electrònic eBook

Refinar cerca