hh.se
Publications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20929
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:588239
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
The Trouble with Real Numbers
Taha, Walid
Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
ORCID iD:
0000-0003-3160-9188
Cartwright, Robert
Rice University, Houston, Texas, USA.
2011 (English)
In:
INFORMATIK 2011: Informatik schafft Communities: Proceedings der 41. GI-Jahrestagun: 4.-7. Oktober 2011: Berlin / [ed] Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider, Bonn: Bonner Köllen Verlag , 2011, p. 325-
Conference paper, Published paper (Other academic)
Place, publisher, year, edition, pages
Bonn: Bonner Köllen Verlag , 2011. p. 325-
Series
GI-Edition : Lecture notes in informatics, ISSN 1617-5468 ; P192
National Category
Computer Systems
Identifiers
URN:
urn:nbn:se:hh:diva-20929
ISBN:
978-3-88579-286-4
OAI: oai:DiVA.org:hh-20929
DiVA, id:
diva2:588239
Conference
INFORMATIK 2011 - Informatik schafft Communities 41. Jahrestagung der Gesellschaft für Informatik, Berlin, Germany, 4-7 October
Available from:
2013-01-15
Created:
2013-01-14
Last updated:
2021-05-11
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Taha, Walid
Search in DiVA
By author/editor
Taha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
On the subject
Computer Systems
Search outside of DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric score
isbn
urn-nbn
Total: 247 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20929
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:588239
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.44.0
|
WCAG
|
Halmstad University Library
|
Info for students
|
Info for researchers
|
Log in
DiVA
Logotyp