בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computing processing » computing proceeding, computing proceedings, computer processing
integrals computing » integrated computing, interval computing, integration computing
program compilation » program composition, program computational, program comparison
processing program » processing programs, processing programmed, proceedings program
compilation https » computation https, complications https, communication https
computing processing » computing proceeding, computing proceedings, computer processing
integrals computing » integrated computing, interval computing, integration computing
program compilation » program composition, program computational, program comparison
processing program » processing programs, processing programmed, proceedings program
compilation https » computation https, complications https, communication https
1
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
תוכן הענינים:
“...Software Engineering Challenges -- Software Processes and Process Models -- Project Management...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2013
תוכן הענינים:
“... Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
יצא לאור 2013
תוכן הענינים:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים:
“... Carlo Automatic Integration with Dynamic Parallelism in CUDA -- GPU-Accelerated computation routines...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני



