„Nichtdeterminismus“

Suchergebnisse

1.000+ Treffer

• Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
  Schulz, André 2026 Springer Vieweg
• Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
  Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David 2009 Univ.-Bibliothek Frankfurt am Main
• Monitoring paralleler Programme
  Treml, Thomas 1995 Diss.-Verl. NG-Kopierladen
• Nondeterminism in algebraic specifications and algebraic programs
  Hußmann, Heinrich 1993 Ludwig-Maximilians-Universität München
• Non-deterministic analysis of slope stability based on numerical simulation
  Shen, Hong ; Klapperich, Herbert ; Azzam, Rafig ; Wu, Wei 2012 Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola"
• Nondeterminism and language design in deep inference
  Kahramanoğulları, Ozan
• A non-deterministic call-by-need lambda calculus – proving similarity a precongruence by an extension of Howe's method to sharing
  Mann, Matthias
• Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice – operationale Semantik, Programmtransformationen und Anwendungen
  Kutzner, Arne
• Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten
  Seifert, Dirk 2007 Shaker
• Softwaretesten unter Berücksichtigung von nichtdeterministischen Verhalten
  Strehlau, Eduard ; Buth, Bettina ; Kossakowski, Klaus-Peter 2025 Hochschule für Angewandte Wissenschaften Hamburg
• Grundlagen der Theoretischen Informatik
  Schulz, André 2022 Springer Berlin Heidelberg
• Grundlagen der Theoretischen Informatik
  Schulz, André 2022 Springer Berlin
• Nondeterminism and Language Design in Deep Inference – A Proof Theoretic Approach to Logic Programming
  Kahramanoğulları, Ozan 2012 LAP LAMBERT Academic Publishing
• Nondeterminism and language design in deep inference
  Kahramanoğulları, Ozan
• Nondeterminism in algebraic specifications and algebraic programs
  Hußmann, Heinrich 1993 Birkhäuser
• Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice – operationale Semantik, Programmtransformationen und Anwendungen
  Kutzner, Arne
• Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen
  Weininger, Andreas
• Testunterstützung für verteilte und parallele nichtdeterministische Programme
  Beranek, Anton
• Die Rolle des Nichtdeterminismus in kontextfreien Sprachen
  Herzog, Christian 1999 dissertation.de
• Nichtdeterminismus in Programmiersprachen
  Habashi Malaty, Martha Seif