-
241Έκδοση 2018Θέματα: “…Cancer Research. http://scigraph.springernature.com/things/product-market-codes/B11001…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
242Θέματα: “…Laboratory Medicine. http://scigraph.springernature.com/things/product-market-codes/B15007…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
243Θέματα: “…Antibodies. http://scigraph.springernature.com/things/product-market-codes/B14010…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
244Έκδοση 2000Πίνακας περιεχομένων: “… and Object-Z Specifications -- A Generic Process to Refine a B Specification into a Relational Database…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
245Έκδοση 2002Πίνακας περιεχομένων: “… to Combining B and Alloy -- Software Construction by Stepwise Feature Introduction -- The Semantics of Circus…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
246Έκδοση 2003Πίνακας περιεχομένων: “… of Specification Patterns with the B Method -- Composing Specifications Using Communication -- When Concurrent…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
247
-
248
-
249
-
250Έκδοση 2005Πίνακας περιεχομένων: “… —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
251
-
252ανά Singh, Neeraj KumarΠίνακας περιεχομένων: “…Preface -- Introduction -- Background -- The Modelling Framework: Event-B -- Critical System…”
Έκδοση 2013
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
253
-
254
-
255Έκδοση 2006Πίνακας περιεχομένων: “…Structural Analysis of NF-?B and I?B Proteins -- NF-?B Signal Transduction by IKK Complexes…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
256
-
257
-
258
-
259
-
260