בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
international communication » interpersonal communication, international cooperation, intercultural communication
communication link » communication links, communication blind, communication lines
extension program » extension programs, extension programme, extension programmes
link extension » line extension, linear extension, end extension
international communication » interpersonal communication, international cooperation, intercultural communication
communication link » communication links, communication blind, communication lines
extension program » extension programs, extension programme, extension programmes
link extension » line extension, linear extension, end extension
1
יצא לאור 2006
תוכן הענינים:
“... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“... Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“...Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“... Semantic Bus for Autonomic Communication Elements -- Towards a Service Delivery Based on Customer...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... of Language -- Arbology: Trees and Pushdown Automata -- Analysis of Communicating Automata -- Regular Papers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“... Semantics Language Resource Based on the Theory of Semantic Fields -- Automatically Extracting Personal Name...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2012
תוכן הענינים:
“...: An Extensible Architecture for Composing Motion Controllers and Planners -- RobotML, a Domain-Specific Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים:
“... on Communication and Collaboration-Viability in Pair Programming – An Empirical Study -- The Collaborative Nature...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים:
“...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS...
יצא לאור 2010
תוכן הענינים:
“... Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... Languages -- Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS -- Methodologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים:
“... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“... Extension to Improve Co-design Process Models -- Process Analysis and Measurement -- Application of Re...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני