Suche in der Hochschulbibliografie

Treffer 71-72 von 72

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 8 von 8

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 71
  49GBVUOB_ALMA2123677867000350149GBVUOB_ALMA21236778670003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236778670003501
  Artikel
  Bounded model checking and inductive verification of hybrid discrete-continuous systems

  von Bernd Becker ; Markus Behle ; Fritz Eisenbrand ; Martin Fränzle ; Marc Herbstritt ; Christian Herde ; Joerg Hoffmann ; Daniel Kröning ; Bernhard Nebel ; Ilia Polian ; Ralf Wimmer

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, Christian

  Enthalten in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Aachen, 2004 S. 65 - 75

  Sprache: Englisch

  >> Volltext
• 72
  49GBVUOB_ALMA2115858130000350149GBVUOB_ALMA21158581300003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21158581300003501
  Buch
  IPN-Arbeitsberichte: Die Wirkung einstellungsverändernder Maßnahmen im naturwissenschaftlichen Unterricht auf das Verhalten von Schülern im Problemfeld Technik, Energie und Umweltschutz : theoretische Grundlagen und Versuchsplanung

  1973

  Details anzeigen

  Verlag: Kiel: Inst. für die Pädag. der Naturwiss. an d. Univ. Kiel

  Umfang: IV, 217 S. graph. Darst 4°.

  Weitere Angaben:

  Literaturverz. Bl. 198 - 209. - Mit e. engl. Zsfassung

  Schlagwörter: Naturwissenschaftlicher Unterricht; Techniker und Technikerinnen; Schülerverhalten; Einstellungsmessung; Einstellungsänderung; Empirische Sozialforschung

  Übergeordnetes Werk: IPN-Arbeitsberichte

  Verknüpfte Titel: IPN-Arbeitsberichte ; 1

  Notation: nat 336

  Sprache: Deutsch