New Trends in Formal Languages, Gheorghe Paun; Arto Salomaa
Автор: Mernik Marjan Название: Formal and Practical Aspects of Domain-Specific Languages ISBN: 1466620927 ISBN-13(EAN): 9781466620926 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments is a collection of academic works containing current research on all aspects of domain-specific language. This book is a comprehensive overview in the computer language field and aims to be essential for scholars and practitioners in the software engineering fields by providing new results and answers to open problems in DSL research.
Автор: Orna Grumberg; Michael Kaminski; Shmuel Katz; Shul Название: Languages: From Formal to Natural ISBN: 3642017479 ISBN-13(EAN): 9783642017476 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Celebrating 65th birthday of Nissim Francez, this title contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.
Автор: Michel Rigo Название: Formal Languages, Automata and Numeration Systems ISBN: 1848216157 ISBN-13(EAN): 9781848216150 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).
Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.
Автор: Carlos Martin-Vide; Victor Mitrana; Gheorghe P?un Название: Formal Languages and Applications ISBN: 3642535542 ISBN-13(EAN): 9783642535543 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers.
Автор: Stefano Crespi Reghizzi Название: Formal Languages and Compilation ISBN: 1849968179 ISBN-13(EAN): 9781849968171 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This comprehensive book covers the fundamental concepts of formal languages and compilation. It presents the subject in a minimalist way, using illustrated examples throughout and providing pedagogical tools, such as slides for lecturers via website.
Автор: Grzegorz Rozenberg; Arto Salomaa Название: Handbook of Formal Languages ISBN: 3642082300 ISBN-13(EAN): 9783642082306 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years.
Автор: Grzegorz Rozenberg; Arto Salomaa Название: Handbook of Formal Languages ISBN: 3642638597 ISBN-13(EAN): 9783642638596 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. the book Formal Languages by the second- mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest.
Автор: Grzegorz Rozenberg; Arto Salomaa Название: Handbook of Formal Languages ISBN: 3642638635 ISBN-13(EAN): 9783642638633 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This uniquely authoritative and comprehensive handbook is the first to cover the vast field of formal languages, as well as its traditional and most recent applications to such diverse areas as linguistics, developmental biology, computer graphics, cryptology, molecular genetics, and programming languages.
Автор: Dieter Hutter; Werner Stephan; Paolo Traverso; Mar Название: Applied Formal Methods - FM-Trends 98 ISBN: 3540664629 ISBN-13(EAN): 9783540664628 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the refereed proceedings of the 1998 International Workshop on Current Trends in Applied Formal Methods. The papers address a range of developments in the use of formal methods during the different design stages of software systems for use in various application fields.
Автор: Fajfar Название: Start Programming Using HTML, CSS, and JavaScript ISBN: 1498731449 ISBN-13(EAN): 9781498731447 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A Beginner's Guide to Computer Programming
Start Programming Using HTML, CSS, and JavaScript is a manual for undergraduate students in engineering and the natural sciences to discover how computer programming works. Using a dialog format between two students and a professor, the text teaches students how the mainstream web languages HTML, CSS, and JavaScript interact and how to harness their capabilities in practical settings.
Each chapter focuses on a specific theme supported by a gradual development of engaging worked examples of live web documents and applications using the three languages. Students can follow most of the examples and experiments using any modern browser and plain text editor. A practical homework problem is included at the end of every chapter and then is discussed at the beginning of the next chapter. In addition, a related keywords list helps students review key topics.
By focusing on important established principles and concrete examples, this introductory book shows students how to write cleaner and more easily maintainable code. It augments the basic language syntax and rules with contents and structure while keeping the material simple and manageable.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
