Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Conference Proceeding
|
Mitigation Of Estuarine Eutrophication Processes By Controlling Freshwater InflowsWIT Transactions on Ecology and the Environment, 2009, Vol.124, p.3392009. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the associated terms available at https://www.witpress.com/elibrary . ;ISSN: 1746-448X ;EISSN: 1743-3541 ;DOI: 10.2495/RM090311Full text available |
|
2 |
Material Type: Conference Proceeding
|
Distributed Massive MIMO via all-Digital Radio Over Fiber2020 Asilomar Conference on Signals, Systems and Computers, Pacific Grove, USA, 2020, Vol.2020-November, p.319ISSN: 1058-6393 ;EISSN: 2576-2303 ;DOI: 10.1109/IEEECONF51394.2020.9443347Digital Resources/Online E-Resources |
|
3 |
Material Type: Conference Proceeding
|
On the electrochemistry of metal-YSZ single contact electrodesSolid state ionics, 2000, Vol.136-37, p.707-712 [Peer Reviewed Journal]2001 INIST-CNRS ;ISSN: 0167-2738 ;EISSN: 1872-7689 ;CODEN: SSIOD3Full text available |
|
4 |
Material Type: Conference Proceeding
|
On the size of the state-space for systems of quantum particles with spinHelvetica Physica Acta, 1994, Vol.67 (2), p.127-1431994 INIST-CNRS ;ISSN: 0018-0238 ;CODEN: HPACAKFull text available |
|
5 |
Material Type: Conference Proceeding
|
Evaluation of Libraries: Experiences from Applying a Method for Non-Market Valuation Developed in EconomicsIFLA publications, 2006 (120/121), p.199-2052007 INIST-CNRS ;ISSN: 0344-6891 ;ISBN: 3598218486 ;ISBN: 9783598218484 ;EISBN: 9783598440229 ;EISBN: 3598440227Full text available |
|
6 |
Material Type: Conference Proceeding
|
A denotationally-based program logic for higher-order storeAttribution 4.0 International https://creativecommons.org/licenses/by/4.0Digital Resources/Online E-Resources |
|
7 |
Material Type: Conference Proceeding
|
Combining Equivalence Verification and Completion FunctionsFormal Methods in Computer-Aided Design, 2004, p.98-112 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237380 ;ISBN: 9783540237389 ;EISSN: 1611-3349 ;EISBN: 3540304940 ;EISBN: 9783540304944 ;DOI: 10.1007/978-3-540-30494-4_8Full text available |
|
8 |
Material Type: Conference Proceeding
|
Synchronization-at-Retirement for Pipeline VerificationFormal Methods in Computer-Aided Design, 2004, p.113-127 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237380 ;ISBN: 9783540237389 ;EISSN: 1611-3349 ;EISBN: 3540304940 ;EISBN: 9783540304944 ;DOI: 10.1007/978-3-540-30494-4_9Full text available |
|
9 |
Material Type: Conference Proceeding
|
Relating Multi-step and Single-Step Microprocessor Correctness StatementsFormal Methods in Computer-Aided Design, 2002, p.123-141 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540001164 ;ISBN: 3540001166 ;EISSN: 1611-3349 ;EISBN: 9783540361268 ;EISBN: 354036126X ;DOI: 10.1007/3-540-36126-X_8Full text available |
|
10 |
Material Type: Conference Proceeding
|
A methodology for large-scale hardware verificationLecture notes in computer science, 2000, p.263-282 [Peer Reviewed Journal]2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540412199 ;ISBN: 3540412190 ;EISSN: 1611-3349Full text available |
|
11 |
Material Type: Conference Proceeding
|
Measuring Suspended Sand Transport Using A Pulse-coherent Acoustic Doppler ProfilerWIT Transactions on Ecology and the Environment, 2009, Vol.126, p.1852009. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the associated terms available at https://www.witpress.com/elibrary . ;ISSN: 1746-448X ;EISSN: 1743-3541 ;DOI: 10.2495/CP090171Full text available |
|
12 |
Material Type: Conference Proceeding
|
Towards an ODP-compliant object definition language with QoS-supportInteractive Distributed Multimedia Systems and Telecommunication Services, 1998, p.183-194 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1998 ;1999 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540649557 ;ISBN: 3540649557 ;EISSN: 1611-3349 ;EISBN: 3540499148 ;EISBN: 9783540499145 ;DOI: 10.1007/BFb0055316Full text available |
|
13 |
Material Type: Conference Proceeding
|
Modelling QoS: Towards a UML ProfileLecture notes in computer science, 2002, p.275-289 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540442547 ;ISBN: 3540442545 ;EISSN: 1611-3349 ;EISBN: 9783540458005 ;EISBN: 354045800X ;DOI: 10.1007/3-540-45800-X_22Full text available |
|
14 |
Material Type: Conference Proceeding
|
Providing Adaptive and Evolving Government e-Services through Citizen-Centric Process ViewsIFIP Advances in Information and Communication Technology, 2010, Vol.AICT-334, p.32-45Attribution ;DOI: 10.1007/978-3-642-15346-4_4Digital Resources/Online E-Resources |
|
15 |
Material Type: Conference Proceeding
|
Navigating in Bibliographic CataloguesLecture notes in computer science, 2002, Vol.2458, p.238-250 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540441786 ;ISBN: 9783540441786 ;EISSN: 1611-3349 ;EISBN: 354045747X ;EISBN: 9783540457473 ;DOI: 10.1007/3-540-45747-X_18Full text available |
|
16 |
Material Type: Conference Proceeding
|
Linking Information with Distributed ObjectsLecture notes in computer science, 2001, p.149-160 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2001 ;2002 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540425373 ;ISBN: 3540425373 ;EISSN: 1611-3349 ;EISBN: 9783540447962 ;EISBN: 3540447962 ;DOI: 10.1007/3-540-44796-2_14Full text available |
|
17 |
Material Type: Conference Proceeding
|
Low Complexity Architecture of N-Path Mixers for Low Power ApplicationPsyche, 2019 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1039-723X ;EISSN: 1039-723X ;DOI: 10.1109/newcas44328.2019.8961234Digital Resources/Online E-Resources |
|
18 |
Material Type: Conference Proceeding
|
SMIRT-9: seminar on probabilistic risk assessment of nuclear power plants for external events: selected papers, Innsbruck, August 24-25, 1987Nuclear engineering and design, 1988, Vol.110 (2) [Peer Reviewed Journal]1989 INIST-CNRS ;ISSN: 0029-5493 ;EISSN: 1872-759X ;CODEN: NEDEAUFull text available |
|
19 |
Material Type: Conference Proceeding
|
ON THE MEAN SEA SURFACE DATA IN THE GDR FILES OF THE TOPEX/POSEIDON, JASON-1, 2, AND 3 MISSIONSInternational archives of the photogrammetry, remote sensing and spatial information sciences., 2023, Vol.XLVIII-4/W2-2022, p.1-7 [Peer Reviewed Journal]2023. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 2194-9034 ;ISSN: 1682-1750 ;EISSN: 2194-9034 ;DOI: 10.5194/isprs-archives-XLVIII-4-W2-2022-1-2023Full text available |
|
20 |
Material Type: Conference Proceeding
|
Rubbish or resources: an investigation of converting municipal solid waste (MSW) to bio-ethanol productionWIT Transactions on Ecology and the Environment, 2008, Vol.I, p.115-1222008. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the associated terms available at https://www.witpress.com/elibrary . ;ISSN: 1746-448X ;ISBN: 1845641132 ;ISBN: 9781845641139 ;EISSN: 1743-3541 ;DOI: 10.2495/WM080131Full text available |