1
nork Gries, David., Gries, David., Gries, Paul.
Argitaratua 2005
Aurkibidea: ... to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... -- Representing Human Spatial Behavior by Self-Organizing Networks -- Multi-Agent System Development Kit...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ...Keynote Speech -- Directions for Web-Based Learning -- Session 1: Personalization in E-Learning...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2007
Aurkibidea: ... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2008
Aurkibidea: ... -- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines -- A Declarative Debugger...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2014
Aurkibidea: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2005
Aurkibidea: ... Control for Multigrain Parallel Processing -- Compiler Analysis and Supports for Leakage Power Reduction...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2006
Aurkibidea: ... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ...-Efficient FPGA-Based Packet Processing Framework -- Service Mobility -- Service Migration Protocol for NFC...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2007
Aurkibidea: ... of Computation -- On Recursion, Replication and Scope Mechanisms in Process Calculi -- Bounded Session Types...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2008
Aurkibidea: ... Developments in the Domain of Smart Card Applications -- An Implementation of a Privacy Enforcement Scheme...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2010
Aurkibidea: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2008
Aurkibidea: ... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2007
Aurkibidea: ... on the Multistage Markov Process -- Performance Analysis and Evaluation of Digital Connection Oriented Internet...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ...Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2015
Aurkibidea: ... for Execution of Transactional Composite WS -- Poster Session -- A LarKC Approach to Development of Service...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2010
Aurkibidea: ... Development Process -- Optimization of Object-Oriented Queries Involving Weakly Dependent Subqueries...
Testu osoa
Baliabide elektronikoa eBook