Sökresultat - constructive computation programming methods concepts a

1

Publicerad 2006

Innehållsförteckning: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Hämta fulltext

Elektronisk E-bok

2

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

Publicerad 2012

Innehållsförteckning: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Hämta fulltext

Elektronisk E-bok

3

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Hämta fulltext

Elektronisk E-bok

4

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Publicerad 2010

Ämnen: “...Programming languages (Electronic computers)....”
Hämta fulltext

Elektronisk E-bok

5

Polyhedral and Algebraic Methods in Computational Geometry

av Joswig, Michael., Joswig, Michael., Theobald, Thorsten.
Publicerad 2013

Innehållsförteckning: “... Programming -- Computation of Convex Hulls -- Voronoi Diagrams -- Delone Triangulations -- Algebraic...”
Hämta fulltext

Elektronisk E-bok

6

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Publicerad 2015

Innehållsförteckning: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Hämta fulltext

Elektronisk E-bok

7

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Publicerad 2013

Innehållsförteckning: “... Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination...”
Hämta fulltext

Elektronisk E-bok

8

A Beginner's Guide to Scala, Object Orientation and Functional Programming

av Hunt, John., Hunt, John.
Publicerad 2014

Innehållsförteckning: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Hämta fulltext

Elektronisk E-bok

9

Guide to Scientific Computing in C++

av Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Publicerad 2012

Innehållsförteckning: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Hämta fulltext

Elektronisk E-bok

10

Software Engineering A Methodical Approach /

av Foster, Elvis., Foster, Elvis.
Publicerad 2014

Ämnen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

11

Handbook of Partial Least Squares Concepts, Methods and Applications /

Publicerad 2010

Innehållsförteckning: “... Variables -- A New Multiblock PLS Based Method to Estimate Causal Models: Application to the Post...”
Hämta fulltext

Elektronisk E-bok

12

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Publicerad 2006

Innehållsförteckning: “... for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ...”
Hämta fulltext

Elektronisk E-bok

13

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics /

av Hausser, Roland R., Hausser, Roland R.
Publicerad 2006

Innehållsförteckning: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Hämta fulltext

Elektronisk E-bok

14

An Introduction to Network Programming with Java

av Graba, Jan., Graba, Jan.
Publicerad 2007

Innehållsförteckning: “...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Hämta fulltext

Elektronisk E-bok

15

Large-Scale Knowledge Resources. Construction and Application Construction and Application - Third...

Publicerad 2008

Innehållsförteckning: “... Making and Inference -- Mining Knowledge -- Comparing LDA with pLSI as a Dimensionality Reduction Method...”
Hämta fulltext

Elektronisk E-bok

16

Construction Dispute Research Conceptualisation, Avoidance and Resolution /

Publicerad 2014

Innehållsförteckning: “... Dispute -- Negotiating Construction Dispute -- Mediation as a Form of Assisted Negotiation....”
Hämta fulltext

Elektronisk E-bok

17

Handbook of Portfolio Construction Contemporary Applications of Markowitz Techniques /

Publicerad 2010

Innehållsförteckning: “...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...”
Hämta fulltext

Elektronisk E-bok

18

Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /

Publicerad 2007

Innehållsförteckning: “...Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods...”
Hämta fulltext

Elektronisk E-bok

19

Multimedia Introduction to Programming Using Java

av Gries, David., Gries, David., Gries, Paul.
Publicerad 2005

Innehållsförteckning: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2007

Innehållsförteckning: “... -- An Energy-Efficient Routing Method of Wireless Sensor Networks -- Rapid-Response Replication: A Fault...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen