Java Foundations: Introduction to Program Design and Data Structures, Lewis John, DePasquale Peter, Chase Joe
Автор: Malhotra D., Malhotra N. Название: Data Structures and Program Design Using C++ ISBN: 1683923707 ISBN-13(EAN): 9781683923701 Издательство: Неизвестно Цена: 73520.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Data structures provide a means to managing large amounts of information such as large databases, using SEO effectively, and creating Internet/Web indexing services. This book is designed to present fundamentals of data structures for beginners using the C++ programming language in a friendly, self-teaching, format.
Автор: Rubio-Sanchez Название: Introduction to Recursive Programming ISBN: 113810521X ISBN-13(EAN): 9781138105218 Издательство: Taylor&Francis Рейтинг: Цена: 153120.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Recursion is an important problem-solving skill that is considered to be one of the most difficult topics to master by CS1/2 students. This book helps students assimilate its fundamental concepts by analyzing a large number of problems of different nature, covering classical problems found in the literature, as well as richer related problems.
Автор: Luca de Alfaro Название: Foundations of Software Science and Computational Structures ISBN: 3642005950 ISBN-13(EAN): 9783642005954 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Автор: Malhotra D., Malhotra N. Название: Data Structures and Program Design Using Java: A Self-Teaching Introduction ISBN: 1683924649 ISBN-13(EAN): 9781683924647 Издательство: Неизвестно Цена: 73520.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Data structures provide a means to manage large amounts of information, such as large databases, using SEO, and create Internet/Web indexing services. This book presents the fundamentals of data structures for beginners using the Java programming language in a friendly, self-teaching format.
Автор: Tamassia Название: Data Structures in Java: A Visual Introduction ISBN: 0471478083 ISBN-13(EAN): 9780471478089 Издательство: Wiley Рейтинг: Цена: 74450.00 T Наличие на складе: Поставка под заказ. Описание: Data Structures in Java embraces the experiences and expectations of a new generation of learners. It emphasizes fundamental data structures using a visual approach by explaining concepts with graphs, media, and illustrations while also providing modern applications.
Автор: Johnson, Mark J. Название: Concise introduction to programming in python, second edition ISBN: 1138082589 ISBN-13(EAN): 9781138082588 Издательство: Taylor&Francis Рейтинг: Цена: 51030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text provides a hands-on introduction to writing software in Python, with no prior programming experience required. It offers sections designed for approximately one class period each, and proceeds gradually from procedural to object-oriented design. Examples, exercises, and projects are included from diverse application domains.
Автор: Johnson Название: A Concise Introduction to Programming in Python ISBN: 1138082554 ISBN-13(EAN): 9781138082557 Издательство: Taylor&Francis Рейтинг: Цена: 163330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text provides a hands-on introduction to writing software in Python, with no prior programming experience required. It offers sections designed for approximately one class period each, and proceeds gradually from procedural to object-oriented design. Examples, exercises, and projects are included from diverse application domains.
Автор: Robillard Martin P. Название: Introduction to Software Design with Java ISBN: 3030240932 ISBN-13(EAN): 9783030240936 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Невозможна поставка. Описание:
This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by discovering the experience of the design process. To this end, a narrative is used that introduces each element of design know-how in context, and explores alternative solutions in that context. The narrative is supported by hundreds of code fragments and design diagrams.
The first chapter is a general introduction to software design. The subsequent chapters cover design concepts and techniques, which are presented as a continuous narrative anchored in specific design problems. The design concepts and techniques covered include effective use of types and interfaces, encapsulation, composition, inheritance, design patterns, unit testing, and many more. A major emphasis is placed on coding and experimentation as a necessary complement to reading the text. To support this aspect of the learning process, a companion website with practice problems is provided, and three sample applications that capture numerous design decisions are included. Guidance on these sample applications is provided in a section called “Code Exploration” at the end of each chapter. Although the Java language is used as a means of conveying design-related ideas, the book’s main goal is to address concepts and techniques that are applicable in a host of technologies.
This book is intended for readers who have a minimum of programming experience and want to move from writing small programs and scripts to tackling the development of larger systems. This audience naturally includes students in university-level computer science and software engineering programs. As the prerequisites to specific computing concepts are kept to a minimum, the content is also accessible to programmers without a primary training in computing. In a similar vein, understanding the code fragments requires only a minimal grasp of the language, such as would be taught in an introductory programming course.
This book is designed primarily for use as a textbook in a one-semester course on compiler design for undergraduate students and beginning graduate students. The only prerequisites for this book are familiarity with basic algorithms and data structures (lists, maps, recursion, etc.), a rudimentary knowledge of computer architecture and assembly language, and some experience with the Java programming language.
A complete study of compilers could easily fill several graduate-level courses, and therefore some simplifications and compromises are necessary for a one-semester course that is accessible to undergraduate students. Following are some of the decisions made in order to accommodate the goals of this book.
The book has a narrow focus as a project-oriented course on compilers. Compiler theory is kept to a minimum, but the project orientation retains the "fun" part of studying compilers.
The source language being compiled is relatively simple, but it is powerful enough to be interesting and challenging. It has basic data types, arrays, procedures, functions, and parameters, but it relegates many other interesting language features to the project exercises.
The target language is assembly language for a virtual machine with a stack-based architecture, similar to but much simpler than the Java Virtual Machine (JVM). This approach greatly simplifies code generation. Both an assembler and an emulator for the virtual machine are provided on the course web site.
No special compiler-related tools are required or used within the book. Students require access only to a Java compiler and a text editor, but most students will want to use Java with an Integrated Development Environment (IDE).
One very important component of a compiler is the parser, which verifies that a source program conforms to the language syntax and produces an intermediate representation of the program that is suitable for additional analysis and code generation. There are several different approaches to parsing, but in keeping with the focus on a one-semester course, this book emphasizes only one approach, recursive descent parsing with one symbol lookahead.
Автор: Luke Ong Название: Foundations of Software Science and Computational Structures ISBN: 3642120318 ISBN-13(EAN): 9783642120312 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Javier Esparza; Andrzej S. Murawski Название: Foundations of Software Science and Computation Structures ISBN: 3662544571 ISBN-13(EAN): 9783662544570 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Coherence Spaces and Higher-Order Computation.- Coherence Spaces and Uniform Continuity.- The Free Exponential Modality of Probabilistic Coherence Spaces.- From Qualitative to Quantitative Semantics by Change of Base.- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra.- Algebra, coalgebra, and minimization in polynomial differential equations.- Equational Theories of Abnormal Termination Based on Kleene Algebra.- Companions, Codensity and Causality.- Nominal Automata with Name Binding.- Games and Automata.- On the existence of weak subgame perfect equilibria.- Optimal Reachability in Divergent Weighted Timed Games.- Bounding Average-energy Games.- Logics of repeating values on data trees and branching counter systems.- Automata, Logic and Formal Languages.- Degree of sequentiality of weighted automata.- Emptiness under isolation and the value problem for hierarchical probabilistic automata.- Partial Derivatives for Context-Free Languages.- Dynamic Complexity of the Dyck Reachability.- Proof Theory.- Cyclic Arithmetic is Equivalent to Peano Arithmetic.- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs.- Probability.- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.- Computing continuous time Markov chains as transformers of unbounded observation functions.- Pointless Learning.- On Higher-Order Probabilistic Subrecursion. - Concurrency.- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus.- Local Model Checking in a Logic for True Concurrency.- The Paths to Choreography Extraction.- On the Undecidability of Asynchronous Session Subtyping.- Lambda Calculus and Constructive Proof.- A Lambda-Free Higher-Order Recursive Path Order.- Automated Constructivization of Proofs.- Semantics and Category Theory.- A Light Modality for Recursion.- Unifying Guarded and Unguarded Iteration.- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type.- On the Semantics of Intensionality.
Автор: Anca Muscholl Название: Foundations of Software Science and Computation Structures ISBN: 3642548296 ISBN-13(EAN): 9783642548291 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
