도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Computational Geometry: XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
Oswin Aichholzer
,
Thomas Hackl
,
Birgit Vogtenhuber (auth.)
,
Alberto Márquez
,
Pedro Ramos
,
Jorge Urrutia (eds.)
convex
vertices
edges
edge
vertex
graph
lemma
theorem
plane
path
figure
triangulation
triangle
polygon
triangles
sets
graphs
consider
crossing
degree
distance
contains
planar
assume
holes
algorithm
segment
segments
drawing
weight
geometry
matching
highway
paths
hull
geometric
computational
grid
first
prove
denote
colored
different
drawings
unfolding
radial
separating
triangulations
angle
adjacent
년:
2012
언어:
english
파일:
PDF, 3.02 MB
개인 태그:
0
/
0
english, 2012
2
Computational Geometry.
Springer.
Alberto Márquez
,
Pedro Ramos
,
Jorge Urrutia
convex
vertices
edges
edge
vertex
graph
lemma
theorem
plane
path
figure
triangulation
triangle
polygon
triangles
sets
graphs
consider
crossing
degree
distance
contains
planar
assume
holes
algorithm
segment
segments
drawing
weight
geometry
matching
highway
paths
hull
geometric
computational
grid
first
prove
denote
colored
different
drawings
unfolding
radial
separating
triangulations
angle
adjacent
년:
2012
언어:
english
파일:
PDF, 11.00 MB
개인 태그:
0
/
0
english, 2012
3
Rainbow of Computer Science: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Springer-Verlag Berlin Heidelberg
Hans-Joachim Böckenhauer
,
Juraj Hromkovič
,
Tobias Mömke (auth.)
,
Cristian S. Calude
,
Grzegorz Rozenberg
,
Arto Salomaa (eds.)
algorithm
automata
theorem
approximation
entities
first
informatics
edge
abelian
uncertainty
automaton
edges
finite
function
systems
springer
defined
solution
lattice
computing
different
processing
semiring
technology
algorithms
input
parameter
vertices
heidelberg
decomposition
salomaa
consider
approach
flippable
confidence
covering
lemma
protocol
assume
graph
complexity
engineering
gml
trajectories
values
define
models
unique
packing
polynomial
년:
2011
언어:
english
파일:
PDF, 4.84 MB
개인 태그:
0
/
0
english, 2011
4
Rainbow of Computer Science: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Springer-Verlag Berlin Heidelberg
Hans-Joachim Böckenhauer
,
Juraj Hromkovič
,
Tobias Mömke (auth.)
,
Cristian S. Calude
,
Grzegorz Rozenberg
,
Arto Salomaa (eds.)
algorithm
automata
theorem
approximation
entities
first
informatics
edge
abelian
uncertainty
automaton
edges
finite
function
systems
springer
defined
solution
lattice
computing
different
processing
semiring
technology
algorithms
input
parameter
vertices
heidelberg
decomposition
salomaa
consider
approach
flippable
confidence
covering
lemma
protocol
assume
graph
complexity
engineering
gml
trajectories
values
define
models
unique
packing
polynomial
년:
2011
언어:
english
파일:
PDF, 5.00 MB
개인 태그:
0
/
0
english, 2011
5
Space in Weak Propositional Proof Systems
Springer International Publishing
Ilario Bonacina (auth.)
theorem
polynomial
boolean
cnf
refutation
variables
width
complexity
bounds
formulas
calculus
exists
formula
clause
matching
total
graph
prove
unsatisfiable
lemma
systems
bipartite
propositional
random
assignment
semantic
αi
degree
polynomials
clauses
proofs
sect
matchings
definition
monomial
refutations
frege
suppose
pigeonhole
vertex
depth
principle
covering
flippable
abrw02
consider
moreover
first
field
graphs
년:
2017
언어:
english
파일:
PDF, 1.13 MB
개인 태그:
0
/
0
english, 2017
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×