Dov M. Gabbay,
S. Abramsky,
T. S. E. Maibaum,
Dov M. Gabbay,
S. Abramsky,
T. S. E. Maibaum
e.a.
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Gebonden Engels 1992 9780198537359Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered.
Specificaties
ISBN13:9780198537359
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:840
Uitgever:Clarendon Press
Hoofdrubriek:Wetenschap en techniek, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
M. Ryan & M. Sadler: Valuation systems and consequence relations; I.C.C. Phillips: Recursion theory; K. Meinke & J.V. Tucker: Universal algebra; A.K. Poigne: Basic category theory; M.B. Smyth: Topology; J. Makovsky: Model theory.
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