Martin Leucker,
Camilo Rueda,
Frank D. Valencia
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Paperback Engels 2015 9783319251493
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the refereed proceedings of the
12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,
held in Cali, Colombia, in October 2015.
The 25 revised full papers presented together
with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed
and selected from 93 submissions. The papers cover various topics such as
algebra and category theory; automata and formal languages; concurrency;
constraints, logic and semantic; software architecture and component-based
design; and verification.
Specificaties
ISBN13:9783319251493
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan