1
Julkaistu 2007
Sisällysluettelo: ... Algebraic Specifications for Pointer Programs: A Case Study -- Modeling Permutations in Coq for Coccinelle....
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ... and Effect System for Multi-staged Exceptions -- Session 2 -- Relational Reasoning for Recursive Types...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2014
Sisällysluettelo: ... Computing Environment -- Using Singular Value Decomposition as a Solution for Search Result Clustering...
Hae kokoteksti
Elektroninen E-kirja
6
Sisällysluettelo: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ... Attacks with Misuse Case Maps -- Poster -- How Do Software Architects Consider Non-Functional Requirements...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... Environment: A Case Study in a Rework Department -- IT Support for Healthcare Processes -- From RosettaNet...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2006
Sisällysluettelo: ... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...
Hae kokoteksti
Elektroninen E-kirja
10
Tekijä Harkins, Malcolm., Harkins, Malcolm.
Julkaistu 2013
Aiheet: ...Computers....
Hae kokoteksti
Elektroninen E-kirja
11
Tekijä Coles, Michael., Coles, Michael.
Julkaistu 2007
Sisällysluettelo: ... and CASE Expressions -- User-Defined Functions -- Stored Procedures -- Triggers -- T-SQL Encryption...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... and Non-Clinical Populations -- 5. Using the FRIENDS Programs to Promote Resilience in Cross-Cultural...
Hae kokoteksti
Elektroninen E-kirja
13
Tekijä Sawaneh, Mamma
Julkaistu 2013
... estimates of distance functions and thus compute Malmquist productivity indices. The study also use...
Hae kokoteksti
Opinnäyte
14
Tekijä Sawaneh, Mamma
Julkaistu 2013
... estimates of distance functions and thus compute Malmquist productivity indices. The study also use...
Hae kokoteksti
Opinnäyte