Tags

setvalue ist ein ambivalentes Tag, das die Fragesteller verwenden, um anzuzeigen, dass sie ein Problem haben, wenn sie "etwas" einen Wert zuweisen.
Theorembeweis, derzeit das am besten entwickelte Teilgebiet des automatisierten Schließens, ist das Erproben mathematischer Sätze durch ein Computerprogramm.
Isabelle ist eine generische Proof-Assistentin mit Isabelle / HOL als Hauptinstanz.
hilf uns dieses Wiki zu bearbeiten
Ein komponentenbasiertes, ereignisgesteuertes Programmier- und ASP.NET-Syntax-ähnliches Framework für die Entwicklung von Webanwendungen in PHP 5.
Ein Compiler ist ein Computerprogramm (oder eine Menge von Programmen), das in einer Programmiersprache (der Ausgangssprache) geschriebenen Quellcode in eine andere Computersprache (die Zielsprache, o...
Die Double-Brace-Initialisierung von Java erstellt Objekte mit anonymen Klassen.
Ein Toolkit und eine Laufzeitumgebung zum Erstellen hochgradig gleichzeitiger, verteilter und fehlertoleranter ereignisgesteuerter Anwendungen unter .NET und Mono.
Eine rekursive Datenstruktur ist eine Datenstruktur (z. B. eine Struktur oder Klasse), die eine oder mehrere Referenzen auf Instanzen derselben Datenstruktur als Element enthält.
Lockless-Operationen garantieren den gleichzeitigen Zugriff auf Datenstrukturen ohne die Verwendung herkömmlicher Locks, die im Allgemeinen langsame Operationen wie kritische Abschnitte, Mutexe usw. s...
Verknüpft einen Namen mit tatsächlichen Daten (Datei). Hard-Linking ermöglicht der Datei mehrere Namen (Handles). Präsentieren Sie in POSIX-konformen Systemen (auch nur teilweise!): GNU / Linux, Andro...
hilf uns dieses Wiki zu bearbeiten
hilf uns dieses Wiki zu bearbeiten
Bezieht sich auf die Computerarchitektur mit Adressen und anderen Dateneinheiten mit einer Breite von 128 Bits.
jBPM ist eine flexible Business Process Management (BPM) Suite. jBPM ist eine Open-Source-Workflow-Engine, die in Java geschrieben ist und die in BPMN 2.0 beschriebenen Geschäftsprozesse ausführen kan...
Verwenden Sie dieses Tag für Fragen zum Spring Integration-Projekt. Es ist nicht für allgemeine Fragen zur Integration anderer Spring-Projekte mit anderen Technologien gedacht.
Strategien zum Schutz einer Anwendung / Software vor dem Kopieren oder der Verwendung ohne Erlaubnis.
hilf uns dieses Wiki zu bearbeiten
Terminator ist ein GPL-Terminalemulator.
Die drawImage () -Methode zeichnet ein Bild, eine Leinwand oder ein Video auf die Leinwand. Es kann auch Teile eines Bildes zeichnen und / oder die Bildgröße vergrößern / verkleinern.
Spacebars ist eine von Lenker inspirierte Meteor-Template-Sprache. Es teilt etwas von der Geist und Syntax von Lenker, aber es wurde maßgeschneidert, um reaktive Meteor-Vorlagen zu erstellen, wenn sie...
hikaricp ist eine leistungsstarke JDBC-Verbindungspool-Bibliothek.
___ qstnhdr ___ Spark-Streaming benutzerdefinierte Metriken ___ qstntxt ___ Ich arbeite an einem Spark-Streaming-Programm, das einen Kafka-Stream abruft, sehr grundlegende Transformation im Strea...
Für Probleme bei der Bereitstellung mit dem WiX-Toolset, Version 3.8.
Intel Edison ist eine Elektronik-Prototyping-Plattform, die mit einem Mikrocontroller (Intel® Quark ™) und einer Dual-Core-CPU (Intel® Atom ™) sowie BLE und WiFi für das Produkt-Prototyping von (IoT)...
apktool ist ein Tool zum Reverse Engineering von geschlossenen, binären Android-Apps von Drittanbietern.
Sortieren ist der Vorgang, bei dem eine Reihenfolge auf eine Objektgruppe angewendet wird.
hilf uns dieses Wiki zu bearbeiten
HTTP PUT Lädt eine Repräsentation der angegebenen Ressource hoch.
Virtual PC ist ein Virtualisierungsprogramm, das eine Hardwareumgebung mithilfe von Software simuliert. Es wird derzeit von Microsoft entwickelt und ist für den Einsatz unter Windows gedacht.