Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Knowledge and Systems Engineering
The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspired many applications in the world of information technology during the last decade. The KSE conference aims at providing an open international forum for presentation, discussion and exchange of the latest advances and challenges in research of the field. These proceedings contain papers presented at the Fifth International Conference on Knowledge and Systems Engineering (KSE 2013), which was held in Hanoi, Vietnam, during 17–19 October, 2013. Besides the main track of contributed papers, which are compiled into the first volume, the conference also featured several special sessions focusing on specific topics of interest as well as included one workshop, of which the papers form the second volume of these proceedings. The book gathers a total of 68 papers describing recent advances and development on various topics including knowledge discovery and data mining, natural language processing, expert systems, intelligent decision making, computational biology, computational modeling, optimization algorithms, and industrial applications.
A Vietnamese Royal Exile in Japan
This book traces the life of Cuong De, pretender to the Vietnamese throne and provides many fascinating insights on a wide range of historical developments in Asia from the perspective of an interesting and undeservedly neglected figure.
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
Studies on Vietnamese Language and Literature
This work contains over 2,500 entries to guide students and scholars interested in the languages and literature of Vietnam. The books, monographs, and journal articles considered are those written in the Western languages (especially French and English). Meticulously researched and indexed, this bibliography is both the first of its kind and an invaluable reference tool.
Quan Khí
Một nhân vật không hề có bối cảnh hùng mạnh với người thân là quan chức cao cấp trong chính phủ như trong Sĩ Đồ Phong Lưu, phải lăn lộn từ vị trí nhân viên hạng bét trong một xã nông thôn, thậm chí còn có nguy cơ bị giảm biên chế, phải đấu tranh với từng đồng nghiệp trong phòng để không bị mất việc. Nhân vật chính trong Quan Khí của chúng ta không hề có ai đưa đường chỉ lối mà hoàn toàn phải dựa vào năng lực bản thân để vươn lên trên con đường chính trị. Đến với Quan Khí, bạn sẽ gặp những mưu mô, thủ đoạn ngay từ những chươ...
Theoretical Aspects of Computing – ICTAC 2017
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
Automated Technology for Verification and Analysis
Annotation. This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010. The book includes 3 invited talks, 21 regular papers and 9 tool papers.
Ngày ấy vì ai mà đổi thay
“Đừng vội, vì tình yêu, vì cuộc sống còn dài …” Khi bạn mở cuốn sách ra và đọc những dòng này, bạn có đang vội vã không? Là sống vội vã Là yêu vội vã Hay là mở cuốn sách này ra vội vã? Nếu bạn đang vội, có thể bình tâm trở lại không? Hãy để tâm hồn mình được “chậm” một chút rồi mở tiếp những trang sau đó. Câu chuyện trong cuốn sách này sẽ kể cho bạn nghe một cuộc sống rất vội, một tình yêu rất vội và một đổi thay rất vội. Một câu chuyện chẳng đầy bi thương nhưng tràn đầy tiếc nuối. Vì họ đều vội vã nên vô tì...
Lý thuyết về thế giới lưỡng cực
Công trình học thuật này, kế thừa và phát triển những nguyên lý cơ bản của chủ nghĩa Mác, phân tích cấu trúc lịch sử thế giới bằng phép biện chứng duy vật và dự báo hướng đi của phong trào xã hội chủ nghĩa và con đường hiện thực hóa chủ nghĩa cộng sản. Nó không chỉ tạo nên phần động ngang của học thuyết Mác mà còn vạch ra con đường hợp lý cho sự phát triển của xã hội loài người. Hơn nữa, nó dự đoán đề xuất và thực hành "Sáng kiến Vành đai và Con đường" của Trung Quốc từ nhiều khía cạnh khác nhau và cung cấp cơ sở l...
AIDS và cộng đồng
None
