๐ Library
๐ English
โฆ LIBER โฆ
๐
lecture notes in computer science
- Tongue
- English
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Issues in Agent Communication (Lecture N
โ Frank Dignum (editor), Mark Greaves (editor)
๐ Library
๐
2000
๐ Springer
๐ English
<span>A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there seems to be little consensus on the basics of agent communication and there
Computational Discrete Mathematics: Adva
๐
Computational Discrete Mathematics: Advanced Lectures (Lecture Notes in Computer Science, 2122)
โ Helmut Alt (editor)
๐ Library
๐
2001
๐ Springer
๐ English
<span>This book is based on a graduate education program on computational discrete mathematics run for several years in Berlin, Germany, as a joint effort of theoretical computer scientists and mathematicians in order to support doctoral students and advanced ongoing education in the field of discre
Software Verification (Lecture Notes in
โ Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha
๐ Library
๐
2022
๐ Springer
๐ English
<span>This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14</span><span><sup>th</sup></span><span> International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pande
Advances in Electrical and Electronic En
โ Zahriladha Zakaria (editor), Seyed Sattar Emamian (editor)
๐ Library
๐
2021
๐ Springer
๐ English
This book highlights the recent research works on computer science, electrical and electronic engineering which was presented virtually during the 2nd International Conference on Computer Science, Electrical & Electronic Engineering (ICCEE 2020) on 17th and 18th August 2020.ย Written by leading rese
Advances in Electrical and Electronic En
โ Zahriladha Zakaria (editor), Seyed Sattar Emamian (editor)
๐ Library
๐
2021
๐ Springer
๐ English
This book highlights the recent research works on computer science, electrical and electronic engineering which was presented virtually during the 2nd International Conference on Computer Science, Electrical & Electronic Engineering (ICCEE 2020) on 17th and 18th August 2020.ย Written by leading rese