Browse by Subject 004 Datenverarbeitung; Informatik

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 173 to 192 of 585
PreviewIssue DateTitleAuthor(s)Editor(s)
Dokument_41.pdf.jpg17-Jul-2009Fairness in Überlastsituationen mittels Proof-Of-Work FunktionenGolze, Sebastian-
schwenk_guido.pdf.jpg2019Features and machine learning systems for structured and sequential dataSchwenk, Guido-
c4lc00145a.pdf.jpg2014Feedback control of inertial microfluidics using axial control forcesProhm, Christopher; Stark, Holger-
algorithms-08-00810.pdf.jpg9-Oct-2015Finding Supported Paths in Heterogeneous NetworksFertin, Guillaume; Komusiewicz, Christian; Mohamed-Babou, Hafedh; Rusu, Irena-
2018Fine-grained complexity analysis of some combinatorial data science problemsFroese, Vincent-
finitary_mathcalmadhesive_categories.pdf.jpg2014Finitary M-adhesive categoriesGabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike-
bevern_rene_van.pdf.jpg2-Oct-2014Fixed-parameter linear-time algorithms for NP-hard graph and hypergraph problems arising in industrial applicationsBevern, René van-
Dokument_28.pdf.jpg16-Dec-2009Flow-Based Routing in Community NetworksManilici, Vlad-
formal_analysis_of_model_transformations.pdf.jpg2014Formal analysis of model transformations based on triple graph grammarsHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
Dokument_32.pdf.jpg4-Dec-2006Formal Approach and Applications of Algebraic Higher-Order NetsHoffmann, Kathrin-
Dokument_21.pdf.jpg15-Nov-2012Formal Modeling, Simulation, and Validation of Communication PlatformsModica, Tony-
Dokument_27.pdf.jpg24-Aug-2006Formal Specification and Rule-Based Refinement of Software ComponentsPadberg, Julia-
c5lc00392j.pdf.jpg2015A four-organ-chip for interconnected long-term co-culture of human intestine, liver, skin and kidney equivalentsMaschmeyer, Ilka; Lorenz, Alexandra K.; Schimek, Katharina; Hasenberg, Tobias; Ramme, Anja P.; Hübner, Juliane; Lindner, Marcus; Drewell, Christopher; Bauer, Sophie; Thomas, Alexander; Sambo, Naomia Sisoli; Sonntag, Frank; Lauster, Roland; Marx, Uwe-
Dokument_32.pdf.jpg20-Jan-2004Eine FPGA/DSP-Entwicklungsplattform für eingebettete audiosignalverarbeitende EchtzeitsystemeBeyer, Marco-
Dokument_8.pdf.jpg29-Apr-2010A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed AutomataHerber, Paula-
pik-2012-0005.pdf.jpg2012A framework for automated identification of attack scenarios on it infrastructuresCamtepe, Seyit Ahmet; Bsufka, Karsten; Hennig, Leonhard; Simsek, Cihan; Albayrak, Sahin-
Dokument_36.pdf.jpg28-Jul-2011Framework for Building Situation-Aware Ubiquitous Services in Smart Home EnvironmentsRieger, Andreas-
2015A Framework for Handling Heterogeneous M2M TrafficElmangoush, Asma; Corici, Andreea Ancuta; Steinke, Ronald; Corici, Marius; Magedanz, Thomas-
Dokument_49.pdf.jpg30-Sep-2009A Framework for Intelligent Speculative Compiler Optimizations and its Application to Memory AccessesAlvincz, Lars-
full_abstraction_for_expressiveness_history_myths_and_facts.pdf.jpg2014Full abstraction for expressiveness: history, myths and factsGorla, Daniele; Nestmann, Uwe-