Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
Mathematical Foundations of Quantum Information and Computation and Its Applications to Nano- and Bio-systemsSpringer Science+Business Media B.V. 2011 ;ISSN: 1864-5879 ;ISBN: 9789400701717 ;ISBN: 9400701713 ;ISBN: 9789400701700 ;ISBN: 9400701705 ;EISSN: 1864-5887 ;EISBN: 9789400701717 ;EISBN: 9400701713 ;DOI: 10.1007/978-94-007-0171-7 ;OCLC: 701369628Full text available |
|
2 |
Material Type: Book
|
MEMS Linear and Nonlinear Statics and DynamicsSpringer Science+Business Media, LLC 2011 ;ISSN: 1389-2134 ;ISBN: 9781441960207 ;ISBN: 1441960201 ;ISBN: 9781441960191 ;ISBN: 1441960198 ;EISBN: 9781441960207 ;EISBN: 1441960201 ;DOI: 10.1007/978-1-4419-6020-7 ;OCLC: 748781430Full text available |
|
3 |
Material Type: Article
|
Non-generators in extensions of infinitary algebrasReports on mathematical logic, 2022 (57), p.31-43 [Peer Reviewed Journal]2022. 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: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.002.16659Full text available |
|
4 |
Material Type: Article
|
A Maximality Theorem for Continuous First Order TheoriesReports on mathematical logic, 2022 (57), p.61-93 [Peer Reviewed Journal]2022. 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: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.005.16662Full text available |
|
5 |
Material Type: Book
|
Control of Solar Energy SystemsSpringer-Verlag London Limited 2012 ;ISSN: 1430-9491 ;ISBN: 9780857299161 ;ISBN: 0857299166 ;ISBN: 9780857299154 ;ISBN: 0857299158 ;ISBN: 9781447161714 ;ISBN: 1447161718 ;EISSN: 2193-1577 ;EISBN: 9780857299161 ;EISBN: 0857299166 ;DOI: 10.1007/978-0-85729-916-1 ;OCLC: 772164243Full text available |
|
6 |
Material Type: Article
|
Electric cars: technical characteristics and environmental impactsEnvironmental sciences Europe, 2012, Vol.24 (1), p.14-14, Article 14 [Peer Reviewed Journal]Helmers and Marx; licensee Springer. 2012. This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License ( ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. ;ISSN: 2190-4707 ;ISSN: 2190-4715 ;EISSN: 2190-4715 ;DOI: 10.1186/2190-4715-24-14Full text available |
|
7 |
Material Type: Book
|
Inorganic and Metallic Nanotubular Materials: Recent Technologies and ApplicationsSpringer-Verlag Berlin Heidelberg 2010 ;ISSN: 0303-4216 ;ISBN: 3642036228 ;ISBN: 9783642036224 ;ISBN: 9783642036200 ;ISBN: 3642036201 ;EISSN: 1437-0859 ;EISBN: 3642036228 ;EISBN: 9783642036224 ;DOI: 10.1007/978-3-642-03622-4 ;OCLC: 654399059Full text available |
|
8 |
Material Type: Article
|
A Model Theory for the Potential InfiniteReports on mathematical logic, 2022-01, Vol.57 (57), p.3-30 [Peer Reviewed Journal]2022. 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: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.001.16658Full text available |
|
9 |
Material Type: Article
|
The two-variable fragment with counting and equivalenceMathematical logic quarterly, 2015-11, Vol.61 (6), p.474-515 [Peer Reviewed Journal]2015 The Authors. published by WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400102 ;CODEN: MLQUEFFull text available |
|
10 |
Material Type: Article
|
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equalityMathematical logic quarterly, 2015-11, Vol.61 (6), p.418-477 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201300064 ;CODEN: MLQUEFFull text available |
|
11 |
Material Type: Book
|
Nanotechnology Research Directions for Societal Needs in 2020: Retrospective and OutlookWTEC 2011 ;ISBN: 9789400711679 ;ISBN: 9400711670 ;EISBN: 9789400711686 ;EISBN: 9400711689 ;DOI: 10.1007/978-94-007-1168-6 ;OCLC: 777161980Full text available |
|
12 |
Material Type: Article
|
Maximal cofinitary groups revisitedMathematical logic quarterly, 2015-08, Vol.61 (4-5), p.367-379 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400070 ;CODEN: MLQUEFFull text available |
|
13 |
Material Type: Article
|
Notes on the decidability of addition and the Frobenius map for polynomials and rational functionsReports on mathematical logic, 2022 (57), p.53-60 [Peer Reviewed Journal]2022. 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: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.004.16661Full text available |
|
14 |
Material Type: Article
|
Generalized Silver and Miller measurabilityMathematical logic quarterly, 2015-02, Vol.61 (1-2), p.91-102 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400020 ;CODEN: MLQUEFFull text available |
|
15 |
Material Type: Article
|
Asymptotic density and the Ershov hierarchyMathematical logic quarterly, 2015-05, Vol.61 (3), p.189-195 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201300081 ;CODEN: MLQUEFFull text available |
|
16 |
Material Type: Book
|
Precision Nanometrology: Sensors and Measuring Systems for NanomanufacturingSpringer-Verlag London 2010 ;ISSN: 1860-5168 ;ISBN: 9781849962544 ;ISBN: 1849962545 ;ISBN: 9781849962537 ;ISBN: 1849962537 ;ISBN: 1447157435 ;ISBN: 9781447157434 ;EISBN: 9781849962544 ;EISBN: 1849962545 ;DOI: 10.1007/978-1-84996-254-4 ;OCLC: 654395562Full text available |
|
17 |
Material Type: Article
|
Definable topological dynamics and real Lie groupsMathematical logic quarterly, 2015-02, Vol.61 (1-2), p.45-55 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400033 ;CODEN: MLQUEFFull text available |
|
18 |
Material Type: Article
|
Continued fractions of primitive recursive real numbersMathematical logic quarterly, 2015-08, Vol.61 (4-5), p.288-306 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400013 ;CODEN: MLQUEFFull text available |
|
19 |
Material Type: Book
|
Carbon Nanowalls: Synthesis and emerging applicationsSpringer-Verlag/Wien 2010 ;ISBN: 9783211997178 ;ISBN: 3211997172 ;EISBN: 9783211997185 ;EISBN: 3211997180 ;DOI: 10.1007/978-3-211-99718-5 ;OCLC: 663096252Full text available |
|
20 |
Material Type: Article
|
Decomposing the real line into Borel sets closed under additionMathematical logic quarterly, 2015-11, Vol.61 (6), p.466-473 [Peer Reviewed Journal]2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400100 ;CODEN: MLQUEFFull text available |