ค้นหาหนังสือ
หนังสือ
บริจาค
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท Telegram
ประวัติการดาวน์โหลด
ส่งไปยังอีเมล หรือ Kindle
จัดการรายการในบุ๊กลิสต์
บันทึกในรายการโปรด
ส่วนตัว
คำร้องขอเพิ่มหนังสือ
น่าสนใจ
Z-Recommend
รายชื่อหนังสือ
ได้รับความนิยมมากที่สุด
หมวดหมู่
การมีส่วนร่วม
บริจาค
รายการที่อัพโหลด
Litera Library
บริจาคหนังสือกระดาษ
เพิ่มหนังสือกระดาษ
Search paper books
จุด LITERA Point ของฉัน
ค้นหาคีย์เวิร์ด
Main
ค้นหาคีย์เวิร์ด
search
1
Real Homotopy of Configuration Spaces: Peccot Lecture, Collège de France, March & May 2020
Springer
Najib Idrissi
spaces
configuration
homotopy
manifolds
operad
confm
graph
differential
manifold
operads
vertices
boundary
theorem
graphs
proposition
cohomology
fmn
fmm
define
cdga
doi.org
duality
poincaré
degree
rational
homology
map
product
remark
internal
module
forms
issn
arxiv
dimension
sect
edges
algebraic
complex
defined
element
models
lambrechts
vertex
algebras
confrn
ωij
morphism
complexes
isomorphism
ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 5.52 MB
แท็กของคุณ:
0
/
0
english, 2022
2
Real Homotopy of Configuration Spaces
Springer
Najib Idrissi
spaces
configuration
homotopy
manifolds
operad
confm
graph
differential
manifold
operads
vertices
boundary
theorem
graphs
proposition
cohomology
fmn
fmm
define
cdga
doi.org
duality
poincaré
degree
rational
homology
map
product
remark
internal
module
forms
issn
arxiv
dimension
sect
edges
algebraic
complex
defined
element
models
lambrechts
vertex
algebras
confrn
morphism
ωij
complexes
isomorphism
ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 5.52 MB
แท็กของคุณ:
0
/
5.0
english, 2022
3
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Springer International Publishing
Xinyu Feng
,
Markus Müller-Olm
,
Zijiang Yang
safety
assurance
systems
approach
criticality
event
method
microservices
analysis
node
monitor
events
tasks
engineering
grained
programs
nodes
springer
verification
doi.org
linearizability
defined
testing
lncs
step
execution
function
robust
sect
task
acm
timing
constraints
programming
models
first
framework
probabilistic
specification
nontermination
response
algorithm
trace
runtime
termination
variables
definition
implementation
conf
checking
ปี:
2018
ภาษา:
english
ไฟล์:
PDF, 14.74 MB
แท็กของคุณ:
0
/
0
english, 2018
1
ติดตาม
ลิงก์นี้
หรือค้นหาบอท "@BotFather" บน Telegram
2
ส่งคำสั่ง /newbot
3
ระบุชื่อสำหรับแชทบอทของคุณ
4
เลือกชื่อผู้ใช้สำหรับบอท
5
คัดลอกข้อความล่าสุดทั้งหมดจาก BotFather แล้ววางที่นี่
×
×