Benutzer:Thbonk/Bücher/Informatik
aus Wikipedia, der freien Enzyklopädie
|
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] |
Informatik
Eine Wikipedia Enzyklopädie
- Informatik
- Theoretische Informatik
- Abstiegsfunktion
- Account-Methode
- Additionskette
- Aggregat-Methode
- Akkumulatorrechner
- Amdahlsches Gesetz
- Amortisierte Laufzeitanalyse
- Atomar
- Attributsgewichtung
- Axiomatische Semantik
- Ban (Einheit)
- BCH-Code
- Bit
- Bitweise Verschiebung
- Bootstrapping (Informatik)
- Buddy-Verfahren
- Cantorsche Paarungsfunktion
- Chaitinsche Konstante
- Church-Rosser-Theorem
- Code
- Communicating Sequential Processes
- Cross Interleaved Reed-Solomon-Code
- Currying
- Datenabhängigkeit
- Datenintegrität
- Datenmenge
- Denotationale Semantik
- Diamond Lemma
- Effizienz (Informatik)
- Ehrenfeucht-Fraïssé-Spiele
- Endrekursion
- Entität (Informatik)
- Entscheidbar
- Entscheidungstabelle
- Erreichbarkeitsgraph
- Erzeugungssystem
- Faltungscode
- Formale Methode
- Formale Semantik
- Funktion höherer Ordnung
- Gödel, Escher, Bach
- Gustafsons Gesetz
- Happened-Before
- Infiniter Regress
- Informatische Modellierung
- Instanz (Informatik)
- Josephus-Problem
- Kachelproblem
- Kategorientheorie
- Stephen Cole Kleene
- Kolmogorow-Komplexität
- Konkatenation (Mengen)
- Konstruktive Mathematik
- Korrekt gestelltes Problem
- Korrektheit (Informatik)
- Kurzschlussauswertung
- Lebendigkeit
- Lexikographische Ordnung
- Logische Uhr
- Luhn-Algorithmus
- Markow-Algorithmus
- Markow-Entscheidungsproblem
- Maschinensemantik
- Maschinenzahl
- Mathematische Maschine
- Mautproblem
- Model Checking
- Moore-Nachbarschaft
- Nachbedingung (Informatik)
- Nichtdeterminismus
- Operationale Semantik
- Parallel Random Access Machine
- Partielle Funktion
- Petri-Netz
- Pi-Kalkül
- Post-Kalkül
- Potenzialfunktionmethode
- Produktionssystem (Informatik)
- Prozesskalkül
- Prüfsumme
- Pruning
- Quine (Computerprogramm)
- Rangfunktion (Informatik)
- Regulärer Ausdruck
- Relief-Algorithmus
- Schlüssel (Informatik)
- Schnittregel
- Standardnummerierung
- Strukturelle Induktion
- Suchproblem
- Symbolsequenz
- Syntaxdiagramm
- Termersetzungssystem
- Tupel (Informatik)
- Turtle-Grafik
- Union-Find-Struktur
- Universalrechner
- Vektoruhr
- Verfeinerung
- Verifizierung
- Von-Neumann-Nachbarschaft
- Vorbedingung (Informatik)
- Zahlenfunktion
- Zufallszahlengenerator
- Praktische Informatik
- Absturz (Informatik)
- Datenmanagement
- Engine
- Idle
- Angewandte Informatik
- Agrarinformatik
- Ambient Intelligence
- Architekturinformatik
- Automatisches Differenzieren
- Bauinformatik
- Bericht
- Betriebsinformatik
- Biodiversitätsinformatik
- Chemoinformatik
- CobiT
- Computer Output on Laserdisk
- Computerbetrug
- Computergenealogie
- Computerlinguistik
- Computermodell
- Computerphilologie
- Computervisualistik
- Datenbruch
- Datentechnik
- Datenverarbeitung
- Dhrystone
- Digital Sparks Award
- EDV-Benchmark
- Einsatzleitrechner
- End User Development
- Ereignisorientierte Simulation
- EVA-Prinzip
- Flottenmanagement
- Forum Bauinformatik
- Gestenerkennung
- Historische Fachinformatik
- Humanities Computing
- ICOMP Index
- IDMVU Infrastruktur Daten Management
- Information Systems Audit and Control Association
- Kontextsensitivität (Informatik)
- LINPACK
- Makrosimulation
- Medieninformatik
- Medienkunde
- Mikrosimulation
- Multi-Agenten-Simulation
- Multimediatechnik
- Ökometrie
- Opening
- Pervasive Computing
- Pflegeinformatik
- Physical Mock-Up
- Pose (Technik)
- Produktionsinformatik
- Programmabbruch
- Prozessinformatik
- Quantitative Struktur-Wirkungs-Beziehung
- Schnappschuss (Informationstechnologie)
- Schulnetzwerk (EDV)
- Schwarmverhalten
- Screen Scraping
- Simulationsbasierte Optimierung
- Software-Ergonomie
- Sozialinformatik
- Sozionik (Informatik)
- Sportinformatik
- Standard Interface For Multiple Platform Link Evaluation
- Standardregelungen Einheitlicher Datenaustauschsysteme
- Transaction Processing over XML
- Übersetzungsspeicher
- Umweltinformatik
- Unternehmensplanspiel
- Visual Computing
- Whetstone
- Wissenschaftliches Rechnen
- Technische Informatik
- Antwortzeit
- Arithmetischer Unterlauf
- Arithmetischer Überlauf
- Digital Prototyping
- Dreiecksnetz
- Dynamic Modeling
- Fault
- Generic Equipment Model
- Host-Brücke
- Industrielle Informationstechnik
- Instructions per cycle
- Kompatibilität (Technik)
- Longitudinal Redundancy Check
- Manikin (CAD-Modell)
- Meshing
- Modchip
- Modellierkern
- Multi-Sensor Data Fusion
- Open Application Group Integration Specification
- Postprocessing
- Registersatz
- Registerspeicher
- Response ratio
- Schaltsystem (Technische Informatik)
- SEMI Equipment Communication Standard
- Software Pipelining
- Timer
- Verfügbarkeit
- Vertikale Redundanzprüfung
- Y-Diagramm
- Zyklische Redundanzprüfung
- Quanteninformatik
- Atom-Chip
- BQP
- Deutsch-Jozsa-Algorithmus
- Lov Grover
- Grover-Algorithmus
- Liste der Quantengatter
- Seth Lloyd
- Margolus-Levitin-Theorem
- No-Cloning-Theorem
- Quanten-Fouriertransformation
- Quantencomputer
- Quantenfehlerkorrektur
- Quantengatter
- Quanteninformation
- Quantenkanal
- Quantenkryptografie
- Quantennetzwerk
- Quantenparallelismus
- Quantenverschränkung
- Qubit
- Separabilität (Quantenmechanik)
- Shor-Algorithmus
- Superpositionsprinzip (Quantentheorie)
- Überlagerungssatz
