Search Results - "Generic programming

1

Generic Inference : a Unifying Theory for Automated Reasoning /

by Pouly, Marc, 1980-, Kohlas, Jürg, 1939-
Published 2011

Table of Contents: '; “... Queries -- Computing Multiple Queries -- Generic Constructions. Semiring Valuation Algebras -- Valuation...”
View fulltext via EzAccess

eBook

2

Generic Inference a Unifying Theory for Automated Reasoning /

by Pouly, Marc, 1980-, Kohlas, Jürg, 1939-
Published 2011

Table of Contents: '; “... Queries -- Computing Multiple Queries -- Generic Constructions. Semiring Valuation Algebras -- Valuation...”
ebrary
View fulltext via EzAccess
An electronic book accessible through the World Wide Web; click for information
Get full text
Get full text

Electronic

3

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

Table of Contents: '; “...Harald Ganzingers Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”
Get full text

Electronic

4

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

by Kormanyos, Christopher Michael.
Published 2013

Table of Contents: '; “... Techniques for Microcontrollers -- C++ Templates for Microcontrollers -- Optimized C++ Programming...”
Get full text

Electronic

5

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /

Published 2013

Table of Contents: '; “... Issues -- Exceptions -- Generic Units -- Representation Issues -- The Standard Libraries -- Annex A...”
View fulltext via EzAccess

Electronic

6

Data Mining Using Grammar Based Genetic Programming and Applications

by Wong, Man Leung., Leung, Kwong Sak.
Published 2002

Table of Contents: '; “...An Overview of Data Mining -- An Overview on Evolutionary Algorithms -- Inductive Logic Programming...”
View fulltext via EzAccess

Electronic

7

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Published 2013

Table of Contents: '; “... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”
View fulltext via EzAccess

Electronic

8

Higher-Order Components for Grid Programming Making Grids More Usable /

by D<U+00fc>nnweber, Jan., Gorlatch, Sergei.
Published 2009

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

9

Pro LINQ Language Integrated Query in C# 2010 /

by Freeman, Adam., Rattz, Joseph C.
Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

10

Pro LINQ Language Integrated Query in VB 2008 /

by Rattz, Joseph C., Hayes, Dennis.
Published 2009

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

11

Pro C# 2010 and the .NET 4 Platform

by Troelsen, Andrew.
Published 2010

Table of Contents: '; “...# Applications -- Part Two C# Programming Fundamentals. 3 C# Programming Constructs, Part I. 4 C# Programming...”
Get full text

Electronic

12

Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /

Published 2009

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

13

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

14

OPC Unified Architecture

by Damm, Matthias., Leitner, Stefan-Helmut., Mahnke, Wolfgang.
Published 2009

Subjects: '; “...Software Engineering/Programming and Operating Systems....”
Get full text

Electronic

15

Embedded systems interfacing for engineers using the Freescale HCS08 microcontroller.

by Summerville, Douglas H.
Published 2009

Table of Contents: '; “...QG8 IIC -- IIC driver examples -- Generic IIC driver for devices with simple read/write behavior...”
Abstract with links to full text

Electronic

16

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /

Published 2013

Table of Contents: '; “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
View fulltext via EzAccess

Electronic

17

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /

Published 2009

Subjects: '; “...Programming Techniques....”
View fulltext via EzAccess

Electronic

18

Touch of Class Learning to Program Well with Objects and Contracts /

by Meyer, Bertrand.
Published 2009

Table of Contents: '; “... and references -- II. How things work -- Just enough hardware -- Describing syntax -- Programming languages...”
Get full text

Electronic

19

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

20

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /

Published 2013

Table of Contents: '; “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Get full text

Electronic

Narrow Search