בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs reliability » process reliability, product reliability
development computer » development chapter, development center
https development » crops development, apps development, fetus development
computer https » computers https, computing https, computer arts
programs reliability » process reliability, product reliability
development computer » development chapter, development center
https development » crops development, apps development, fetus development
computer https » computers https, computing https, computer arts
1
תוכן הענינים:
“...Basic Abstractions -- Reliable Broadcast -- Shared Memory -- Consensus -- Consensus Variants...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים:
“... on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS’14) -- DEvelopment, Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
נושאים:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“... -- Computer System Survivability Modelling by Using Stochastic Activity Network -- Nuclear Safety...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... and Reliability (SPUR) in Automotive Software -- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“...Session 1 -- Reliability Analysis of Safety-Related Communication Architectures -- A Novel HAZOP...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
תוכן הענינים:
“...Introduction -- Backgrounds: Software Quality and Reliability Prediction -- Early Fault Prediction...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
תוכן הענינים:
“... allocation problem. Chapter 2 Recent Developments in Software Reliability Modeling -- 1. Introduction -- 2...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים:
“...Reinventing Computing for Real Time -- Applying Service-Oriented Development to Complex Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2011
נושאים:
“...Programming languages (Electronic computers)....”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים:
“...Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“...A New Approach to Memory Partitioning in On-Board Spacecraft Software -- Design and Development...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... the Development of a Reliable Embedded System -- RT-EP: A Fixed-Priority Real Time Communication Protocol over...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2015
תוכן הענינים:
“... on Multicore and Partitioning -- The Central on-Board Computer of the Philae Lander in the Context...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
תוכן הענינים:
“...Introduction -- Reliability /Weibull, bathtub curve, basics (What is reliability?) -- Failure Modes...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
מאת Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
יצא לאור 2011
תוכן הענינים:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”יצא לאור 2011
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
מאת Verhulst, Eric., Verhulst, Eric., Boute, Raymond T., Faria, José Miguel Sampaio., Sputh, Bernhard H.C., Mezhuyev, Vitaliy.
יצא לאור 2011
נושאים:
“...Computer-Aided Engineering (CAD, CAE) and Design. https://scigraph.springernature.com/ontologies...”יצא לאור 2011
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני