Darowizna 15 września 2024 – 1 października 2024
O zbieraniu funduszy
wyszukiwanie książek
książki
Darowizna:
65.9% wykorzystano
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings
Springer-Verlag Berlin Heidelberg
Colin Stirling (auth.)
,
B. Banieqbal
,
H. Barringer
,
A. Pnueli (eds.)
temporal
specification
formula
automaton
formulas
path
lift
defined
systems
programs
verification
automata
interval
linear
variables
equivalent
finite
operators
processes
consider
specifications
transition
events
branching
ctl
computation
theorem
event
define
axioms
insert
partial
axiom
getmin
telephone
approach
programming
execution
assume
models
satisfy
logics
fixed
infinite
concurrent
global
parallel
function
fairness
permitted
Rok:
1989
Język:
english
Plik:
DJVU, 4.48 MB
Twoje tagi:
0
/
0
english, 1989
2
Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Springer-Verlag Berlin Heidelberg
Job Zwiers (auth.)
hoare
variables
processes
tnp
assertion
specification
formulae
specifications
completeness
assertions
invariant
lemma
consequence
assume
parallel
trace
getmin
composition
formula
insert
inv
systems
spec
prove
valid
prefix
channels
adaptation
define
defined
construct
kern
sequential
compositional
correctness
logical
programs
abase
shown
arbitrary
operations
semantic
recursion
hchan
introduction
corresponding
operation
pvar
computations
dnp
Rok:
1989
Język:
english
Plik:
DJVU, 1.95 MB
Twoje tagi:
0
/
0
english, 1989
3
Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Springer-Verlag Berlin Heidelberg
Job Zwiers (auth.)
variables
hoare
processes
assertion
specification
formulae
specifications
insert
completeness
assertions
consequence
parallel
trace
formula
assume
inv
composition
invariant
obs
prove
valid
prefix
channels
defined
define
adaptation
spec
systems
rnl
sequential
construct
getmin
abase
kern
programs
lemma
logical
compositional
shown
arbitrary
operations
semantic
recursion
corresponding
operation
correctness
implies
pvar
getrnin
hlc
Rok:
1989
Język:
english
Plik:
PDF, 5.18 MB
Twoje tagi:
0
/
0
english, 1989
4
スラスラわかるC++ 第3版
翔泳社
矢沢 久雄
クラス
プログラム
値
メンバ
データ
リスト
処
bmi
cout
納
オブジェクト
コンストラクタ
endl
ファイル
ptr
ポインタ
オーバーロード
cpp
キー
height
ア
繰
obj2
obj1
インスタンス
healthchecker
継
複
std
イ
exe
weight
iostream
プログラミング
namespace
プロトタイプ
ヘッダファイル
ウ
エラー
const
getbmi
換
サンプルプログラム
コンパイル
順
カウンタ
コピーコンストラクタ
氏
デストラクタ
ベクトル
Rok:
2022
Język:
japanese
Plik:
EPUB, 9.59 MB
Twoje tagi:
4.0
/
5.0
japanese, 2022
5
Data structures and algorithms with object-oriented design patterns in Python CD
Preiss B.R.
preiss
python
txt
algorithms
contains
opus7
oriented
p.eng
programs
reserved
src
structures
www.brpreiss.com
__init__
_array
_count
abstractmethod
xrange
raise
fget
lambda
visitor
_key
assert
ptr
array
_universesize
item
_list
_head
_subtree
offset
isinstance
self.isempty
args
_next
container
containerempty
probe
_tail
elif
queue
tmp
_right
_parent
linkedlist
sorter
diff
distance
orderedlist
Rok:
2003
Język:
english
Plik:
RAR, 130 KB
Twoje tagi:
0
/
0
english, 2003
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×