Lernkarten Bibliothek Aktivierungscode eingeben
Informatik
SC Chapter 2 Propositional Logic
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 2 Propositional Logic
Informatik
SC Chapter 3 SAT Solving
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 3 SAT Solving
Informatik
SC Chapter 4 First Order Logic
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 4 First Order Logic
Informatik
SC Chapter 5 SMT Solving
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 5 SMT Solving
Informatik
SC Chapter 6 Bit Vectors
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 6 Bit Vectors
Informatik
SC Chapter 7 Linear Real Arithmetic
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 7 Linear Real Arithmetic
Informatik
SC Chapter 8 Quantifier-free Non-linear Real Arithmetic
Questions about the lecture 'Satisfiability Checking' of the RWTH Aachen Chapter 8 Quantifier-free Non-linear Real Arithmetic
Informatik
Scientific methodology
Imt4110
Informatik
ServiceNow Certified System Administrator (CSA)
Exam questions are based on official ServiceNow training materials, the ServiceNow documentation site, and the ServiceNow developer site. It should not be considered the official study or exam materials and should only be used to practice for the mainline exam.
Informatik
Social and Ethical Issues
Software Design and Development
Informatik
Software Architecture
Questions about general software architecture.
Informatik
Software Engineering and Architecture
TSM_SoftwEngweek 1 to week 7 (technical aspects)
Informatik
SRaI
@LMU
Informatik
SWAR
SWAR Fragen 1-100
Informatik
System modeling - L3
– Behavioral Modeling (Chapters 6 & 7) > Use cases > Use case diagrams > CASE Tools – Structural Modeling (Chapter 8) > Class diagrams
Informatik
Tech Learn Nr. 5
My Cards for Tech Learn Nr. 5
Informatik
WebEngineering
Basics
Informatik
Conversion between bases
Decimal to octal & hexadecimal, 0 - 32
Informatik
Databases and Data Warehousing
This is an introduction to databases with emphasis on data warehousing.
Informatik
DataMgmt
Data Mgmt Chärtli
Informatik
Dobin 0x02_Intro-Technical.pdf
Dobin 0x02_Intro-Technical.pdf
Informatik
Dobin 0x44_RemoteExploit.pdf
Dobin 0x44_RemoteExploit.pdf
Informatik
HTML5
Learn more about the most common and some of the rare occurring tags. Including semantics.
Informatik
ITIT2
Exam preparation
Informatik
Kai 2-API-Basics.pdf
Kai 2-API-Basics.pdf
Informatik
OAG
OAG
Informatik
Octal Alphabet
Octal Alphabet
Informatik
Oracle Fachvokabular
Begriffe und Erklärungen (Oracle Fachvokabular)
Informatik
Informatik
طراحی و پیاده سازی ۲
دانشگاه