Εμφανίζονται 1 - 20 Αποτελέσματα από 94 για την αναζήτηση 'International Formula 3000~', χρόνος αναζήτησης: 9,34δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Theory into Practice -- Finding Tractable Formulas in NNF -- The Taming of the (X)OR -- On an ?-Decidable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Private Property Rights and the Environment Our Responsibilities to Global Natural Resources /
    Πίνακας περιεχομένων: “… and safe Society -- Chapter 3. Private Property balanced with the General Interest on International Ground…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Public-Private Partnership for Sub-Saharan Africa
    ανά Kociemska, Hanna, Kociemska, Hanna
    Έκδοση 2019
    Πίνακας περιεχομένων: “… in a Heterodox Perspective -- Example of Investments in the Formula of Public-private Partnership Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Conferencing and Presentation English for Young Academics
    ανά Guest, Michael, Guest, Michael
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Conferences -- 6 Implications of ELF for ESP/EAP teachers, learners, and international academic conference…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Excel 2016 in Applied Statistics for High School Students A Guide to Solving Practical Problems /
    ανά Quirk, Thomas J., Quirk, Thomas J.
    Έκδοση 2018
    Θέματα: “…/O33000…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    DNA Computing 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Boolean formulae on DNA computers -- The fidelity of annealing-ligation: A theoretical analysis -- DNA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Automata from LTL Formulae -- Efficient Detection of Global Properties in Distributed Systems Using Partial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    International Steam Tables Properties of Water and Steam based on the Industrial Formulation IAPWS-IF97 /
    Θέματα: “…/product-market-codes/T14000…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… of the Fixed-Points of Bounded Formulas -- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Equational Formulae -- Hardness of Set Cover with Intersection 1 -- Strong Inapproximability of the Basic k…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Global Developments in Literacy Research for Science Education
    Έκδοση 2018
    Πίνακας περιεχομένων: “… in chemistry: A multimodal analysis of symbolic formulas, Yu Liu -- 14 Gains and losses: Metaphors in chemistry…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Chinese for Specific and Professional Purposes Theory, Pedagogical Applications, and Practices /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… towards Academic Language: Perspectives from International Students in Chinese Higher Education…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Statistical Mechanics of Classical and Disordered Systems Luminy, France, August 2018 /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… magnetic field -- 2.2.Erwin Bolthausen, A Morita type proof of the replica-symmetric formula for SK -- 2.3…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Transforming Teacher Education Through the Epistemic Core of Chemistry Empirical Evidence and Practical Strategies /
    ανά Erduran, Sibel, Erduran, Sibel, Kaya, Ebru
    Έκδοση 2019
    Θέματα: “…31000…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Political Economy of Institutions, Democracy and Voting
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Presidential Elections in 2000 and 2004 -- Modelling Elections in Post-Communist Regimes: Voter Perceptions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Epistemic Processes A Basis for Statistics and Quantum Theory /
    ανά Helland, Inge S., Helland, Inge S.
    Έκδοση 2018
    Θέματα: “…Epistemology. http://scigraph.springernature.com/things/product-market-codes/E13000…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Proceedings of the Fourth International Forum on Decision Sciences
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Supported Barrel Vault Based on the Uncertain Damage -- Formulas to Calculate the Variance and Pseudo…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Languages and Compilers for Parallel Computing 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for the Best FFT Formulas with the SPL Compiler -- On Materializations of Array-Valued Temporaries…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Discovery Science 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Databases -- A Clustering of Interestingness Measures -- Extracting Minimal and Closed Monotone DNF Formulas…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… on Simultaneous Reachability Analysis -- Testing Spin's LTL Formula Conversion into Büchi Automata with Randomly…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email