Search Results: 'formal language'

Search

×
×
×
×
151 results for "formal language"
Computer-Aided Reasoning: An Approach By Matt Kaufmann et al.
Paperback: $22.12
Prints in 3-5 business days
(3 Ratings)
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
Resonant Renaissance M.Arch Thesis 2015-2016 By Tyler Beard
Paperback: $14.23
Prints in 3-5 business days
(1 Ratings)
Resonant Rebirth is an architectural exposition that formalizes sound by harmonizing the visual language of Chladni’s patterns with the language of the neoclassical, gothic and baroque... More > architecture they evoke. By exploring the western 12 note musical scale, 12 examples of this resonant rebirth are generated - an octave of architectural possibilities.< Less
The Madman: His Parables and Poems By Kahlil Gibran
Paperback: List Price: $12.96 $11.66 | You Save: 10%
Prints in 3-5 business days
Khalil Gibran was an artist, poet and writer. He was born in Lebanon and spent much of his productive life in the United States. As a result of his family's poverty, he did not receive any formal... More > schooling during his youth in Lebanon. However, priests visited him regularly and taught him about the Bible, as well as the Syriac and Arabic languages. During these early days, he began developing ideas that would later form some of his major works. In particular, he conceived of The Prophet (1923) at this time. The Madman was published in 1918.< Less
Ten Storyfied Yoruba Proverbs for Children By Tayo Solagbade
eBook (PDF): $2.99
Sub title: Ten popular Yoruba proverbs with contextual translations and story-based examples of their use, in daily life, for young children & and learners in general. This is the first in what... More > will be a series. My motivation to do this is MAINLY to empower my kids to communicate proficiently using Yoruba. It is also to enable them appreciate the beauty of the language – which can best be enjoyed when knows how to use and interpret proverbs and wise sayings appropriately. I did not have the benefit, during my youth, of deliberate effort being made by adults to FORMALLY expose me to Yoruba. It took years of painstaking effort to improve my proficiency. I want to help my kids have a better experience. And I know there will be other parents who also want the same thing, but may not have the time and/or training to create resources like this for them. That's why I've chosen to put up the book here. For interested buyers, details of how to get the Slideshow version with MP3 audio files are provided in this PDF< Less
Grammar and Vocabulary Games for Children By Kathi Wyldeck
eBook (PDF): $5.99
(4 Ratings)
This is the American edition of 'Grammar and Vocabulary Games for Children'. It is a resource book for teachers and home-schooling parents who want to make their children’s grammar and... More > vocabulary lessons fun. Grammar, punctuation, phonics, vocabulary and proverbs are all presented in the form of fifty active games. At the end of a formal lesson, these activities can be given as a reward for hard work, or to reinforce the topic just studied. For restless children who need to stretch their legs and let off steam before they knuckle down to further work, the games presented in this book provide the perfect solution. Several of the vocabulary games are designed to help ESL students to practice their new words, and all the games encourage children to listen, concentrate and stay focused on the topic of study. The activities are aimed at children between the ages of 7 and 13 years. Grammar lessons and vocabulary building will never be boring when children are offered the games in this book.< Less
Zombie Variations By George Pfau & Tom Comitta
Paperback: $25.00
Prints in 3-5 business days
“Zombie” is everywhere. There’s “zombie formalism,” “zombie technology,” “zombie debt,” “zombie poetry.” If something exists,... More > there’s a living dead version of it. Why is this? And to what effect? For years George has been exploring these questions and our culture’s fixation on zombie through painting, drawing, video and lecture. Starting with a collaborative video, also titled Zombie Variations, he began to work with Tom on a number of linguistic and poetic inquiries into zombie and the grotesque. This book brings together Tom’s sound and visual poetry and George’s zombie research to create works at the intersection of word and image. We have made drawings, paintings, poems, tongue twisters, temporary tattoos, graveyard rubbings, cartoons, xeroxes, xeroxes of xeroxes, an iOS app called BlabberLab and more. In many chapters notes and sketches introduce the works; the Appendix section provides thorough title and background information to individual works. -George Pfau & Tom Comitta< Less
Grammar and Vocabulary Games for Children By Kathi Wyldeck
eBook (ePub): $5.99
(1 Ratings)
This is the American edition of 'Grammar and Vocabulary Games for Children'. It is a resource book for teachers and home-schooling parents who want to make their children's grammar and vocabulary... More > lessons fun. Grammar, punctuation, phonics, vocabulary and proverbs are all presented in the form of fifty active games. At the end of a formal lesson, these activities can be given as a reward for hard work, or to reinforce the topic just studied. For restless children who need to stretch their legs and let off steam before they knuckle down to further work, the games presented in this book provide the perfect solution. Several of the vocabulary games are designed to help ESL students to practice their new words, and all the games encourage children to listen, concentrate and stay focused on the topic of study. The activities are aimed at children between the ages of 7 and 13 years. Grammar lessons and vocabulary building will never be boring when children are offered the games in this book.< Less
Grammar and Vocabulary Games for Children By Kathi Wyldeck
Paperback: $12.95
Prints in 3-5 business days
(4 Ratings)
This is the American edition of 'Grammar and Vocabulary Games for Children'. It is a resource book for teachers and home-schooling parents who want to make their children’s grammar and... More > vocabulary lessons fun. Grammar, punctuation, phonics, vocabulary and proverbs are all presented in the form of fifty active games. At the end of a formal lesson, these activities can be given as a reward for hard work, or to reinforce the topic just studied. For restless children who need to stretch their legs and let off steam before they knuckle down to further work, the games presented in this book provide the perfect solution. Several of the vocabulary games are designed to help ESL students to practice their new words, and all the games encourage children to listen, concentrate and stay focused on the topic of study. The activities are aimed at children between the ages of 7 and 13 years. Grammar lessons and vocabulary building will never be boring when children are offered the games in this book.< Less
Immigration to Canada By kansas overseas
eBook (PDF): $8.99
#immigrationtocanada One planning to immigrate to Canada needs to fulfill certain formalities and provide relevant documents endorsing of his age, skills, qualifications, language ability etc. Learn... More > more at http://www.kansasxpress.com/immigration-to-Canada< Less
Oddments By Henry Intili
Paperback: $9.95
Prints in 3-5 business days
ODDMENTS takes you on a journey through the strange and the interesting in Henry's life. Phony scientific papers written in formal language, dates from hell, skits where the main characters never... More > quite understand each other, odd photos that cover a lifetime, and much more.< Less

Top 10

see more >
 
3