1
יצא לאור 2008
תוכן הענינים: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים: ... -- Loss-of-Function Studies in Mouse Embryonic Stem Cells Using the pHYPER shRNA Plasmid Vector...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2013
תוכן הענינים: ...-Dimensional Visualization of Virus Infected Cells by Serial Sectioning - An Electron Microscopic Study Using...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
מאת Astola, Jaakko., Astola, Jaakko., Stankovic, Radomir S.
יצא לאור 2006
תוכן הענינים: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים: ... on Grassmann–Cayley Algebra -- Singularity Analysis of Limited-DOF Parallel Manipulators Using Grassmann–Cayley...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
מאת Camina, Alan., Camina, Alan., Lewis, Barry.
יצא לאור 2011
תוכן הענינים: ...What Is Enumeration? -- Generating Functions Count -- Working with Generating Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים: ...The First Section: Advanced Evolutionary Computing Theory and Algorithms -- Co-Evolutionary...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים: ... Dynamics Simulations on Multi-core Systems -- Parsing XML Using Parallel Traversal of Streaming Trees...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2011
נושאים: ...Medicinal Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/C28000...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים: ... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים: ... Transonic Axial Compressor Stage with Inlet Distortions -- A Parallel CFD Solver Using the Discontinuous...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים: ... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
מאת Barber, J. R., Barber, J. R.
יצא לאור 2011
תוכן הענינים: ... Finding the centroid -- 4.3.2 The parallel axis theorem -- 4.3.3 Thin-walled sections -- 4.4 Further...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2013
תוכן הענינים: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים: ... for Manufacturing Grid -- The Second Section: Autonomy-Oriented Computing and Intelligent Agents -- Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2011
תוכן הענינים: ...MALDI-TOF Serum Profiling Using Semi-Automated Serum Peptide Capture with Magnetic Reversed Phase...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2012
תוכן הענינים: ... Interactions from ChIP-seq Data -- Using a Yeast Inverse One-hybrid System to Identify Functional Binding Sites...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2011
תוכן הענינים: ... for functional analysis of plant-nematode interactions -- 6. Genome analysis of plant parasitic nematodes -- 7...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2015
תוכן הענינים: ... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני