thumbnail

Lecture Notes in Computer Science

SCOPUS (1973-2025)

  0302-9743

  1611-3349

  Đức

 

Cơ quản chủ quản:  Springer Verlag

Lĩnh vực:
Computer Science (miscellaneous)Theoretical Computer Science

Phân tích ảnh hưởng

Các bài báo tiêu biểu

Cryptographic Hardware and Embedded Systems - CHES 2002
- 2003
Burt Kaliski, K ̧etin, Christof Koç, Gerhard Goos, Yuliang Zheng, Çetin Kaya Koç, Christof Paar
Cryptographic Hardware and Embedded Systems - CHES 2007
- 2007
Pascal Paillier, Ingrid Verbauwhede
Object Constraint Language (OCL): A Definitive Guide
- Trang 58-90 - 2012
Cabot, Jordi, Gogolla, Martin
On Formalizing the UML Object Constraint Language OCL
- Trang 449-464 - 1998
Richters, Mark, Gogolla, Martin
Evolution of Parallel Cellular Machines
- 1997
Moshe Sipper
Conditionals in Nonmonotonic Reasoning and Belief Revision
- 2001
Gabriele Kern-Isberner
Building Tightly Integrated Software Development Environments: The IPSEN Approach
- 1996
Manfred Nagl
Verification of ATL Transformations Using Transformation Models and Model Finders
- Trang 198-213 - 2012
Büttner, Fabian, Egea, Marina, Cabot, Jordi, Gogolla, Martin
OCL Extended with Temporal Logic
- Trang 351-357 - 2004
Ziemann, Paul, Gogolla, Martin
Consistency, Independence and Consequences in UML and OCL Models
- Trang 90-104 - 2009
Gogolla, Martin, Kuhlmann, Mirco, Hamann, Lars
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 1973-2025

Xem chi tiết

Các tạp chí khác
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Y Dược học Cần Thơ
Tạp chí Khoa học và Công nghệ nhiệt đới
VNU Journal of Science: Earth and Environmental Sciences
Tạp chí Nghiên cứu Chính sách và Quản lý
Tạp chí Tai Mũi Họng Việt Nam
Tạp chí Y - Dược học quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Da liễu học Việt Nam
Tạp chí Khoa học Sức khoẻ Đại học Quốc gia Thành phố Hồ Chí Minh