Karlsruhe

Results: 4737



#Item
311

Universität Karlsruhe (TH) Forschungsuniversität Weiterentwicklung des Karlsruher Lehrmodells für Produktentwicklung KaLeP Die Lehre am Institut ist geprägt durch KaLeP, dem Karlsruher Lehrmodell für

Add to Reading List

Source URL: www.ipek.kit.edu

Language: German - Date: 2009-01-05 08:56:14
    312

    Continuum mechanical modelling of deformation and failure mechanisms in thermoplastic multilayer composites Thomas Seelig Institute of Mechanics, Karlsruhe University, Germany, Introduction

    Add to Reading List

    Source URL: www.ifm.kit.edu

    Language: English - Date: 2011-11-22 05:33:54
      313

      PDF Document

      Add to Reading List

      Source URL: technologieregion-karlsruhe.de

      Language: French - Date: 2017-09-23 14:28:56
        314

        Anton Guhl M.A. KIT Karlsruhe, Institut für Geschichte Entnazifizierung an der Universität Hamburg Nach der Entrechtung vieler Wissenschaftler im Nationalsozialismus brachte die

        Add to Reading List

        Source URL: www.uni-stuttgart.edu

        Language: German - Date: 2018-05-02 17:06:53
          315

          Model Checking DSL-Generated C Source Code Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Abstract. We report on the application of SPIN for model-che

          Add to Reading List

          Source URL: www.home.hs-karlsruhe.de

          - Date: 2013-03-29 18:25:55
            316

            The Incredible Proof Machine Invited Talk Paper Joachim Breitner Karlsruhe Institute of Technology Karlsruhe, Germany

            Add to Reading List

            Source URL: www.joachim-breitner.de

            - Date: 2016-07-01 09:50:13
              317

              pepm13-edsl-traceability-evidence-extended.dvi

              Add to Reading List

              Source URL: www.home.hs-karlsruhe.de

              - Date: 2013-03-29 18:26:48
                318

                Visual theorem proving with the Incredible Proof Machine Joachim Breitner Karlsruhe Institute of Technology,

                Add to Reading List

                Source URL: www.joachim-breitner.de

                - Date: 2016-05-20 10:43:05
                  319

                  Derivatives and Partial Derivatives for Regular Shuffle Expressions Martin Sulzmanna , Peter Thiemannb a Faculty of Computer Science and Business Information Systems, Karlsruhe University of

                  Add to Reading List

                  Source URL: www.home.hs-karlsruhe.de

                  - Date: 2015-06-25 08:49:42
                    320

                    Specifying and Executing Application Behaviour with Condition-Request Rules∗ Andreas Harth Tobias K¨afer Institute AIFB Karlsruhe Institute of Technology (KIT)

                    Add to Reading List

                    Source URL: harth.org

                    - Date: 2017-09-13 04:54:05
                      UPDATE