Search alternatives:
logic programmer » logic programming (Expand search), logic programs (Expand search), logic program (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder order » modern order (Expand search), conter order (Expand search), lower order (Expand search)
logic programmer » logic programming (Expand search), logic programs (Expand search), logic program (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder order » modern order (Expand search), conter order (Expand search), lower order (Expand search)
1
2
3
4
5
6
7
8
9
“...Este trabalho investiga criticamente a prática do live coding, uma arte performática que envolve...”
Access document
Access document
Bachelor thesis
10
11
“... to insights and bridge communication between life scientists and computer scientists. Python is a programming...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Article
12
Subjects:
“...Least fixed-point logic, finite model theory, proof theory, infinitary natural deduction system....”
Access document
Access document
Master thesis
13
“... checking of Electrum specifications. Electrum is an extension of Alloy that enriches its relational logic...”
Access document
Access document
14
“...) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados...”
Access document
Access document
Master thesis
15
16
17
18
19
20