Found: 24
Select item for more details and to access through your institution.
Free amino-acid levels simultaneously collected in plasma, muscle, and erythrocytes of uraemic patients.
- Published in:
- Nephrology Dialysis Transplantation, 1997, v. 12, n. 11, p. 2339, doi. 10.1093/ndt/12.11.2339
- By:
- Publication type:
- Article
Total, free, and protein-bound sulphur amino acids in uraemic patients.
- Published in:
- Nephrology Dialysis Transplantation, 1997, v. 12, n. 11, p. 2332, doi. 10.1093/ndt/12.11.2332
- By:
- Publication type:
- Article
Dioctyl sodium sulphosuccinate increases net ultrafiltration in peritoneal dialysis.
- Published in:
- Nephrology Dialysis Transplantation, 1997, v. 12, n. 6, p. 1218, doi. 10.1093/ndt/12.6.1218
- By:
- Publication type:
- Article
Instruction sequence processing operators.
- Published in:
- Acta Informatica, 2012, v. 49, n. 3, p. 139, doi. 10.1007/s00236-012-0154-2
- By:
- Publication type:
- Article
Machine structure oriented control code logic.
- Published in:
- Acta Informatica, 2009, v. 46, n. 5, p. 375, doi. 10.1007/s00236-009-0099-2
- By:
- Publication type:
- Article
Synchronous cooperation for explicit multi-threading.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 525, doi. 10.1007/s00236-007-0057-9
- By:
- Publication type:
- Article
On the operating unit size of load/store architectures.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 395, doi. 10.1017/S0960129509990314
- By:
- Publication type:
- Article
Maurer computers for pipelined instruction processing?
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 373, doi. 10.1017/S0960129507006548
- By:
- Publication type:
- Article
Process Algebra with Strategic Interleaving.
- Published in:
- Theory of Computing Systems, 2019, v. 63, n. 3, p. 488, doi. 10.1007/s00224-018-9873-2
- By:
- Publication type:
- Article
A Process Calculus with Finitary Comprehended Terms.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 4, p. 645, doi. 10.1007/s00224-013-9468-x
- By:
- Publication type:
- Article
On the Expressiveness of Single-Pass Instruction Sequences.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 313, doi. 10.1007/s00224-010-9301-8
- By:
- Publication type:
- Article
Division Safe Calculation in Totalised Fields.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 410, doi. 10.1007/s00224-007-9035-4
- By:
- Publication type:
- Article
Preliminaries to an Investigation of Reduced Product Set Finance.
- Published in:
- Journal of King Abdulaziz University: Islamic Economics, 2011, v. 24, n. 1, p. 175, doi. 10.4197/Islec.24-1.7
- By:
- Publication type:
- Article
Process Algebra with Iteration and Nesting.
- Published in:
- Computer Journal, 1994, v. 37, n. 4, p. 243
- By:
- Publication type:
- Article
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator.
- Published in:
- Computer Journal, 1987, v. 30, n. 6, p. 498, doi. 10.1093/comjnl/30.6.498
- By:
- Publication type:
- Article
Program Algebra for Turing-Machine Programs.
- Published in:
- Scientific Annals of Computer Science, 2019, v. 29, n. 2, p. 113
- By:
- Publication type:
- Article
Instruction Sequences Expressing Multiplication Algorithms.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 1, p. 39, doi. 10.7561/SACS.2018.1.39
- By:
- Publication type:
- Article
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences.
- Published in:
- Scientific Annals of Computer Science, 2017, v. 27, n. 2, p. 111, doi. 10.7561/SACS.2017.2.111
- By:
- Publication type:
- Article
On Instruction Sets for Boolean Registers in Program Algebra.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 1, p. 1, doi. 10.7561/SACS.2016.1.1
- By:
- Publication type:
- Article
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 125, doi. 10.7561/SACS.2016.2.125
- By:
- Publication type:
- Article
Probabilistic Thread Algebra.
- Published in:
- Scientific Annals of Computer Science, 2015, v. 25, n. 2, p. 211, doi. 10.7561/SACS.2015.2.211
- By:
- Publication type:
- Article
Indirect Jumps Improve Instruction Sequence Performance.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 253, doi. 10.7561/SACS.2012.2.253
- By:
- Publication type:
- Article
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms.
- Published in:
- Scientific Annals of Computer Science, 2009, v. 19, p. 57
- By:
- Publication type:
- Article
Tuplix Calculus.
- Published in:
- Scientific Annals of Computer Science, 2008, v. 18, p. 35
- By:
- Publication type:
- Article