Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
ISBN: 9783642391750 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing...
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA...
|
|
cena:
194,08 zł |
Acts of the Progamme Sematics and Syntax
ISBN: 9781848900806 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January - 6 July 2012, was one of the central activities of the Alan Turing Year 2012, the world-wide celebration of the life and work of the exceptional scientist Alan Mathison Turing (1912-1954). It had almost 200 visiting fellows and programme participants, as well as several hundred additional workshop participants, and was organised by Arnold Beckmann (Swansea), S. Barry Cooper (Leeds), Benedikt Lowe (Amsterdam & Hamburg), Elvira...
The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, U...
|
|
cena:
117,26 zł |
Implementing Domain-Specific Languages with Xtext and Xtend
ISBN: 9781782160304 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Xtext is an open source Eclipse framework for implementing domain-specific languages together with its IDE functionalities. It lets you implement languages really quickly, and, most of all, it covers all aspects of a complete language infrastructure, starting from the parser, code generator, interpreter, and more. "Implementing Domain-Specific Languages with Xtext and Xtend" will teach you how to develop a DSL with Xtext, an Eclipse framework for implementing domain-specific languages. The chapters are like tutorials that describe the main concepts of Xtext such as grammar definition,...
Xtext is an open source Eclipse framework for implementing domain-specific languages together with its IDE functionalities. It lets you implement lang...
|
|
cena:
263,20 zł |
Learning Java Through Games
ISBN: 9781466593312 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learning Java Through Games teaches students how to use the different features of the Java language as well as how to program. Suitable for self-study or as part of a two-course introduction to programming, the book covers as much material as possible from the latest Java standard while requiring no previous programming experience. Taking an application-motivated approach, the text presents an abundance of games. Students must read through the whole chapter to understand all the features that are needed to implement the game. Most chapters start with a... Learning Java Through Games teaches students how to use the different features of the Java language as well as how to program. Sui... |
|
cena:
428,98 zł |
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ISBN: 9783642396106 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N...
|
|
cena:
178,59 zł |
Schaum's Outline of Programming with FORTRAN 77
ISBN: 9780070411555 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Confusing Textbooks? Missed Lectures? Not Enough Time? Fortunately for you, there's Schaum's Outlines. More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. This Schaum's Outline gives you
Confusing Textbooks? Missed Lectures? Not Enough Time? Fortunately for you, there's Schaum's Outlines. More than 40 million students ... |
|
cena:
115,38 zł |
Microsoft Visual Studio 2008 Programming
ISBN: 9780071604086 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Take your Microsoft Visual Studio 2008 programming skills to the top tier "A must-read for experienced developers who want to dive deeply into Visual Studio 2008. The authors provide practical guidance combined with real-world applicability. The best of Visual Studio 2008 uncovered-buy this book " --Michelle Clarke, Program Manager, Microsoft Ireland Maximize every powerful programming feature available in Visual Studio 2008 with expert instruction from two Microsoft MVPs. Through clear explanations and real-world code samples, Microsoft Visual Studio 2008... Take your Microsoft Visual Studio 2008 programming skills to the top tier "A must-read for experienced developers who want to di... |
|
cena:
235,04 zł |
Microsoft Visual Studio 2010: A Beginner's Guide
ISBN: 9780071668958 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Essential Skills--Made Easy
Written by a Microsoft MVP and Visual Studio expert, this hands-on guide gets you started with the latest release of Microsoft's flagship Integrated Development Environment (IDE). Microsoft Visual Studio 2010: A Beginner's Guide shows you how to build applications from the ground up, covering C#, VB.NET, ASP.NET, Silverlight, Windows Presentation Foundation (WPF), and Windows Communication Foundation (WCF). You'll also learn how to customize the IDE, adding your own tools that integrate with Visual Studio 2010, and edit and debug your applications.... Essential Skills--Made Easy
Written by a Microsoft MVP and Visual Studio expert, this hands-on guide gets you started with the latest release of M... |
|
cena:
188,03 zł |
Practice Makes Perfect: Intermediate French Grammar: With 145 Exercises
ISBN: 9780071775380 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Master French grammar through hands-on exercises and practice, practice, practice
Practice Makes Perfect: Intermediate French Grammar helps you take your grammar skills to a higher level and gives you the confidence to speak and write in your new language. This workbook leads you through French grammar using concise, easy-to-understand language, keeping you focused on achieving your goal of total fluency. Practice Makes Perfect: Intermediate French Grammar is packed with:
Master French grammar through hands-on exercises and practice, practice, practice
Practice Makes Perfect: Intermediate French Grammar helps... |
|
cena:
94,02 zł |
Usability Engineering
ISBN: 9780125184069 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The book provides the tools needed to avoid usability surprises and improve product quality. Step-by-step information on which method to use at various stages during the development lifecycle are included, along with detailed information on how to run a usability test and the unique issues relating to international usability. * Emphasizes cost-effective methods that developers can implement immediately
* Instructs readers about which methods... Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The...
|
|
cena:
267,46 zł |
Types and Programming Languages
ISBN: 9780262162098 / Angielski / Twarda / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept... A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according ... |
|
cena:
436,77 zł |
Iran: Political Culture in the Islamic Republic
ISBN: 9780415031424 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the Islamic revolutionary movement overthrew the "Peacock Throne" (the Shah) in 1979 the Islamic Republic has maintained its credibility and the loyalty of the people of Iran. It has survived an extremely destructive war with Iraq, isolation from the West and the rest of the Middle East except Syria, and the death of the Ayaltollah Khomeini. This book explores the social transformation of Iran in this period stressing the importance of political culture and ideology. It argues that the systematic building of a legitimate Islamic political culture is the key to the success of... Since the Islamic revolutionary movement overthrew the "Peacock Throne" (the Shah) in 1979 the Islamic Republic has maintained its credibility and ... |
|
cena:
731,87 zł |
Introduction to C++ for Financial Engineers: An Object-Oriented Approach [With CDROM]
ISBN: 9780470015384 / Angielski / Twarda / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the reader to the C++ programming language and how to use it to write applications in quantitative finance (QF) and related areas. No previous knowledge of C or C++ is required -- experience with VBA, Matlab or other programming language is sufficient. The book adopts an incremental approach; starting from basic principles then moving on to advanced complex techniques and then to real-life applications in financial engineering. There are five major parts in the book:
This book introduces the reader to the C++ programming language and how to use it to write applications in quantitative finance (QF) and related areas...
|
|
cena:
414,36 zł |
The Description Logic Handbook: Theory, Implementation and Applications
ISBN: 9780521150118 / Angielski / Miękka / 601 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge representation systems based on description logics. As well as general revision throughout the book,...
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Descr...
|
|
cena:
312,89 zł |
Categories and Computer Science
ISBN: 9780521422260 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theo...
|
|
cena:
191,75 zł |
Memory as a Programming Concept in C and C++
ISBN: 9780521520430 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective memory usage. The overwhelming majority of "bugs" and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are notoriously difficult to resolve. Moreover, the role that memory plays in C and C++ programming is a subject often overlooked in courses and in books. Most professional programmers learn about it entirely through actual experience of the problems it causes.
Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective m...
|
|
cena:
206,89 zł |
Modal Logic
ISBN: 9780521527149 / Angielski / Miękka / 578 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is m...
|
|
cena:
418,88 zł |
Modern Compiler Implementation in C
ISBN: 9780521607650 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.
Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-orien...
|
|
cena:
322,98 zł |
Purely Functional Data Structures
ISBN: 9780521663502 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages....
Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate wel...
|
|
cena:
216,98 zł |
Data Analysis and Graphics Using R
ISBN: 9780521762939 / Angielski / Twarda / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discover what you can do with R Introducing the R system, covering standard regression methods, then tackling more advanced topics, this book guides users through the practical, powerful tools that the R system provides. The emphasis is on hands-on analysis, graphical display, and interpretation of data. The many worked examples, from real-world research, are accompanied by commentary on what is done and why. The companion website has code and datasets, allowing readers to reproduce all analyses, along with solutions to selected exercises and updates. Assuming basic statistical...
Discover what you can do with R Introducing the R system, covering standard regression methods, then tackling more advanced topics, this book ...
|
|
cena:
439,07 zł |