Filteren
1
Sorteren
128 resultaten
Serie: Texts in computer science
paperbackEngels9783030542580
3e druk
7-10-2021
"My absolute favorite for this kind of interview preparation is Steven Skiena’s The Algorithm Design Manual. More than any other book it helped me understand just how astonishingly commonplace … graph problems are -- they should be part of every working programmer’s toolkit. Meer
paperbackEngels607 blz.9783319843247
2e druk
13-5-2018
This textbook provides a comprehensive and reader-friendly introduction to the field of computational social science (CSS). Meer
paperbackEngels9783030455767
2e druk
8-8-2021
Making use of data is not anymore a niche project but central to almost every project. With access to massive compute resources and vast amounts of data, it seems at least in principle possible to solve any problem. Meer
gebondenEngels716 blz.9783319994192
4e druk
1-1-2019
This fully updated and greatly enhanced fourth edition covers the key developments introduced in Java 8, including material on JavaFX, lambda expressions and the Stream API. Meer
gebondenEngels9783319501307
2e druk
10-7-2017
This effective introduction to the key concepts in computational social science includes formal definitions and a glossary, covers topics such as information extraction, social networks and complexity theory, and discusses a range of methodological tools. Meer
gebondenEngels9780387952116
14-1-2003
A new advanced textbook/reference providing a comprehensive survey of hardware and software architectural principles and methods of computer systems organization and design. Meer
gebondenEngels9780387943329
14-10-1994
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Meer
paperbackEngels9780387984179
13-4-1998
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? Meer
gebondenEngels9780387987170
6-7-2001
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. Meer
gebondenEngels9780387987293
8-1-2002
Differing from other books on the subject, this one uses the framework of constraint databases to provide a natural and powerful generalization of relational databases. Meer
gebondenEngels9780387948935
17-1-1997
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Meer
gebondenEngels9780387949420
6-5-1997
Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. Meer
gebondenEngels9780387951065
26-6-2001
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. Meer
gebondenEngels9780387208817
12-10-2005
Details the different activities of software development with a case-study approach whereby a project is developed through the course of the book
The sequence of chapters is essentially the same as the sequence of activities performed during a typical software project. Meer
paperbackEngels9780387001630
12-5-2003
There are many distinct pleasures associated with computer programming. Craftsmanship has its quiet rewards, the satisfaction that comes from building a useful object and making it work. Meer
gebondenEngels9780387206363
5-11-2004
This updated textbook introduces readers to assembly and its evolving role in computer programming and design. The author concentrates the revised edition on protected-mode Pentium programming, MIPS assembly language programming, and use of the NASM and SPIM assemblers for a Linux orientation. Meer
gebondenEngels9780387986005
20-11-1998
By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes. Meer
gebondenEngels9780857292766
28-3-2011
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Meer
gebondenEngels9780857298850
6-10-2011
This book presents a broad overview of computer graphics (CG), its history, and the hardware tools it employs. Covering a substantial number of concepts and algorithms, the text describes the techniques, approaches, and algorithms at the core of this field. Meer
gebondenEngels9781071608418
20-10-2021
This textbook provides a hands-on treatment of the subject of optimization. A comprehensive set of problems and exercises makes it suitable for use in one or two semesters of an advanced undergraduate course or a first-year graduate course. Meer