1
מאת Stevanovic, Milan., Stevanovic, Milan.
יצא לאור 2014
נושאים: ...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
מאת Jalote, Pankaj., Jalote, Pankaj.
יצא לאור 2005
תוכן הענינים: ...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
יצא לאור 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...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני