SOFSEM 2009: Theory and Practice of Computer Science SOFSEM 2009: Theory and Practice of Computer Science

SOFSEM 2009: Theory and Practice of Computer Science

Mogens Nielsen và các tác giả khác
    • 119,99 US$
    • 119,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.

The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2009
23 tháng 1
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
687
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
9,5
Mb
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
2011
Automata, Languages and Programming Automata, Languages and Programming
2010
Reachability Problems Reachability Problems
2011
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
2009
Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
2022
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
2009