Temat: dual logic - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "dual logic" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: On the validity of the definition of a complement-classifier
Autorzy:: Stopa, Mariusz
Tematy:: category theory
topos theory
categorical logic
Heyting algebras
co-Heyting algebras
intuitionistic logic
dual to intuitionistic logic
complement-classifier; Pokaż więcej
Data publikacji:: 2020-12-29
Wydawca:: Copernicus Center Press
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Analysis of High-Performance Near-threshold Dual Mode Logic Design
Autorzy:: Bikki, Pavankumar
Tematy:: CMOS logic
dual mode logic
dynamic mode
high performance
minimum energy point
near-threshold; Pokaż więcej
Data publikacji:: 2019
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Some dual logic without tautologies
Autorzy:: Górnicka, A.
Bryll, A.
Tematy:: podwójna logika
tautologia
dual logic
tautology; Pokaż więcej
Data publikacji:: 2015
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A power-balanced sequential element for the delay-based dual-rail precharge logic style
Autorzy:: Bongiovanni, S
Olivieri, M
Scotti, G.
Trifiletti, A.
Tematy:: cryptography
delay-based dual-rail precharge logic
DDPL
dynamic flip-flop
dual-rail precharge logic
power analysis
PA
power-balanced circuits
sense ampliﬁer-based logic
SABL
VLSI design
VLSI
kryptografia
przerzutnik dynamiczny
analiza energetyczna; Pokaż więcej
Data publikacji:: 2013
Wydawca:: Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Tematy:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies