52,95 €
52,95 €
inkl. MwSt.
Sofort per Download lieferbar
26 °P sammeln
52,95 €
Als Download kaufen
52,95 €
inkl. MwSt.
Sofort per Download lieferbar
26 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
52,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
26 °P sammeln
Andere Kunden interessierten sich auch für
![Computational Methods in Engineering (eBook, ePUB)]( "Computational Methods in Engineering (eBook, ePUB)")
Computational Methods in Engineering (eBook, ePUB)56,95 €![Windows Registry Forensics (eBook, ePUB)]( "Windows Registry Forensics (eBook, ePUB)")
Windows Registry Forensics (eBook, ePUB)37,95 €![Artificial Intelligence for the Internet of Everything (eBook, ePUB)]( "Artificial Intelligence for the Internet of Everything (eBook, ePUB)")
Artificial Intelligence for the Internet of Everything (eBook, ePUB)80,95 €![Differential Transformation Method for Mechanical Engineering Problems (eBook, ePUB)]( "Differential Transformation Method for Mechanical Engineering Problems (eBook, ePUB)")
Differential Transformation Method for Mechanical Engineering Problems (eBook, ePUB)90,95 €![A Discipline of Software Engineering (eBook, ePUB)]( "A Discipline of Software Engineering (eBook, ePUB)")
A Discipline of Software Engineering (eBook, ePUB)40,95 €![Statistical Techniques for Transportation Engineering (eBook, ePUB)]( "Statistical Techniques for Transportation Engineering (eBook, ePUB)")
Statistical Techniques for Transportation Engineering (eBook, ePUB)101,95 €![Responsible Artificial Intelligence Re-engineering the Global Public Health Ecosystem (eBook, ePUB)]( "Responsible Artificial Intelligence Re-engineering the Global Public Health Ecosystem (eBook, ePUB)")
Responsible Artificial Intelligence Re-engineering the Global Public Health Ecosystem (eBook, ePUB)95,95 €
Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The ultimate goal of artificial intelligence applied to software engineering is automatic programming. Automatic programming would allow a user to simply say what is wanted and have a program produced completely automatically.
This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive synthesis, program transformations, program verification, and programming tutors. The opening parts provide an introduction to the key ideas to the deductive approach, namely the correspondence between theorems and specifications and between constructive proofs and programs. These parts also describes automatic theorem provers whose development has be designed for the programming domain. The subsequent parts present generalized program transformation systems, the problems involved in using natural language input, the features of very high level languages, and the advantages of the programming by example system. Other parts explore the intelligent assistant approach and the significance and relation of programming knowledge in other programming system. The concluding parts focus on the features of the domain knowledge system and the artificial intelligence programming.
Software engineers and designers and computer programmers, as well as researchers in the field of artificial intelligence will find this book invaluable.
This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive synthesis, program transformations, program verification, and programming tutors. The opening parts provide an introduction to the key ideas to the deductive approach, namely the correspondence between theorems and specifications and between constructive proofs and programs. These parts also describes automatic theorem provers whose development has be designed for the programming domain. The subsequent parts present generalized program transformation systems, the problems involved in using natural language input, the features of very high level languages, and the advantages of the programming by example system. Other parts explore the intelligent assistant approach and the significance and relation of programming knowledge in other programming system. The concluding parts focus on the features of the domain knowledge system and the artificial intelligence programming.
Software engineers and designers and computer programmers, as well as researchers in the field of artificial intelligence will find this book invaluable.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.