Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9290 Publications
2003 | Book Review | LibreCat-ID: 18436 | 
Peckhaus, V. (2003). Köhler, E. u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Dokumente und historische Analysen, öbv & hpt: Wien 2002. In zbMATH Open, Zbl. 1014.01009 (Zbl. 1014.01009).
LibreCat
| Download (ext.)
2003 | Book | LibreCat-ID: 55201
Milkov, N. (2003). A Hundred Years of English Philosophy (Vol. 94). Dordrecht: Kluwer .
LibreCat
2002 | Report | LibreCat-ID: 2538
Karl, H., Mengesha, S., & Hollos, D. (2002). Relaying in Wireless Access Networks . London: Business Briefing: Wireless Technology 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
Köpke, A., Handziski, V., & Karl, H. (2002). Making sensor networks intelligent. In Proc. 7th Wireless World Research Forum (WWRF). Eindhoven/Netherlands.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
Miesmer, H., Sanneck, H., Aguier, A., & Karl, H. (2002). Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks. In Proc. of 6th Wireless World Forum. London / GB.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
Hollos, D., & Karl, H. (2002). A HiperLAN/2 simulation model in OMNeT++. In Proc. of 2nd Intl. OMNet Workshop. Berlin .
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 19727
Bonorden, O., Meyer auf der Heide, F., & Wanka, R. (2002). Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example. In Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA) (pp. 2202–2208).
LibreCat
2002 | Conference Paper | LibreCat-ID: 19850
Wanka, R. (2002). Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal. In Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG) (pp. 413–420). Berlin, Heidelberg. https://doi.org/10.1007/3-540-36379-3_36
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 19873
Klein, J., Krokowski, J., & Cuntz, N. (2002). Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In Proc. of 4. GI-Informatiktage (pp. 224–229).
LibreCat
2002 | Conference Paper | LibreCat-ID: 2423
Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., & Thiele, L. (2002). Reconfigurable Hardware in Wearable Computing Nodes. In Proc. Int. Symp. on Wearable Computers (ISWC) (pp. 215–222). IEEE Computer Society. https://doi.org/10.1109/ISWC.2002.1167250
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2424
Dyer, M., Plessl, C., & Platzner, M. (2002). Partially Reconfigurable Cores for Xilinx Virtex. In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL) (Vol. 2438, pp. 292–301). Springer. https://doi.org/10.1007/3-540-46117-5
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2425
Plessl, C., & Platzner, M. (2002). Custom Computing Machines for the Set Covering Problem. In Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM) (pp. 163–172). IEEE Computer Society. https://doi.org/10.1109/FPGA.2002.1106671
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 24336
Benczúr, A., Glässer, U., & Lukovszki, T. (2002). Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Proc. of 10th International Workshop on Abstract State Machines, LNCS.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 24338
Grünewald, M., Lukovszki, T., Schindelhauer, C., & Volbert, K. (2002). Distributed Maintenance of Resource Efficient Wireless Network Topologies. Proceedings of the 8th International Euro-Par Conference. https://doi.org/10.1007/3-540-45706-2_134
LibreCat
| DOI
2002 | Conference (Editor) | LibreCat-ID: 24594
Gausemeier, J. (Ed.). (2002). 1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 107). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2002 | Journal Article | LibreCat-ID: 26160
Schiel, A., Weber, A. P., Kasper, G., & Schmid, H.-J. (2002). In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle & Particle Systems Characterization, 19(6), 410–418. https://doi.org/10.1002/ppsc.200290004
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 26161
Schmid, H.-J., Veith, S., & Umhauer, H. (2002). In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase Flow. Particle & Particle Systems Characterization, 19(3), Article 203. https://doi.org/10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 26412
Volbert, K. (2002). A simulation environment for ad hoc networks using sector subdivision. Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing. https://doi.org/10.1109/empdp.2002.994324
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379). https://doi.org/10.1007/978-3-540-39656-7_15
LibreCat
| DOI