Mathematics\\Algorithms and Data StructuresRSS

Random Sequences [PhD Thesis]

نویسندهM. van Lambalgen
زبانEnglish
Generation of Program Analysis Tools [PhD Thesis]

نویسندهFrank Tip
زبانEnglish
Random Sequences [PhD Thesis]

نویسندهM. van Lambalgen
زبانEnglish

نویسندهLenore Blum, Felipe Cucker, Michael Shub, Steve Smale
زبانEnglish
String-Rewriting Systems

نویسندهRonald V. Book, Friedrich Otto
زبانEnglish
String-Rewriting Systems

نویسندهRonald V. Book, Friedrich Otto
زبانEnglish
Computable Models

نویسندهRaymond Turner
زبانEnglish
Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

نویسندهJan van Leeuwen (ed.)
زبانEnglish
Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity

نویسندهJan van Leeuwen (ed.)
زبانEnglish
The Complexity Theory Companion

نویسندهLane A. Hemaspaandra, Mitsunori Ogihara
زبانEnglish
Concurrency Verification: Introduction to Compositional and Non-compositional Methods

نویسندهWillem-Paul de Roever, Frank de Boer, Ulrich Hanneman, ...
زبانEnglish
Companion to the Papers of Donald Knuth

نویسندهDonald E. Knuth
زبانEnglish
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

نویسندهHartmut Ehrig, Bernd Mahr
زبانEnglish
Data Networks

Что такое атом? Как применяется энергия атомного ядра в народном хозяйстве и медицине? — На эти и многие другие вопросы читатель найдет ответы в предлагаемой книге, написанной увлекательно и ярко иллюстрированной. Что такое атом? Как применяется эне ...

نویسندهDimitri Bertsekas, Robert Gallager
زبانEnglish
Automata and Computability

“This book gives thorough, scholarly coverage of an area of growing importance in computer security and is a ‘must have’ for every researcher, student, and practicing professional in software protection.”     —Mikhail Atallah, Distinguished Professor of ...

نویسندهDexter C. Kozen
زبانEnglish
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

"The secret behind France's astonishingly well-behaved children. When American journalist Pamela Druckerman has a baby in Paris, she doesn't aspire to become a "French parent." French parenting isn't a known thing, like French fashion or French cheese. Ev ...

نویسندهKurt Jensen
زبانEnglish
Structural Complexity I

نویسندهJosé Luis Balcázar, Josep Díaz, Joaquim Gabarró
زبانEnglish
Data Structures and Algorithms 1: Sorting and Searching

An intimate, surprising look at man’s best friend and what the leading philosophies of dog training teach us about ourselves.Years back, Melissa Holbrook Pierson brought home a border collie named Mercy, without a clue of how to get her to behave. Stunned ...

نویسندهKurt Mehlhorn
زبانEnglish
Fundamentals of Parameterized Complexity

Written in 1595, Richard II occupies a significant place in the Shakespeare canon. It marks the transition from the earlier history plays dominated by civil war and stark power to a more nuanced representation of the political conflicts of England's past ...

نویسندهRodney G. Downey, Michael R. Fellows
زبانEnglish
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

v. 1. A-L -- v. 2. M-Z v. 1. A-L -- v. 2. M-Z

نویسندهKurt Jensen
زبانEnglish