Búsqueda

Buscaste por: Empezar de nuevo Materia Computer Science Eliminar filtro Materia: Computer Science Materia Mathematics Eliminar filtro Materia: Mathematics
« Anterior | Resultados 1 - 100 de 219 |
Número de resultados a mostrar por páginas

Resultados de búsquedas

1. The Student's Introduction to <I>Mathematica</I> and the Wolfram Language
Torrence; Torrence
Cambridge University Press
E-ISBN: 9781108290937 ISBN: 9781108406369
2. Proof Complexity
Krajíček
Cambridge University Press
E-ISBN: 9781108242066; 9781108416849 ISBN:
3. Design and Analysis of Algorithms
Sen; Kumar
Cambridge University Press
E-ISBN: 9781108654937; 9781108496827 ISBN: 9781108721998
4. Forbidden Configurations in Discrete Geometry
Eppstein
Cambridge University Press
E-ISBN: 9781108539180; 9781108423915 ISBN: 9781108439138
5. Geometric and Topological Inference
Boissonnat; Chazal; Yvinec
Cambridge University Press
E-ISBN: 9781108297806; 9781108419390 ISBN: 9781108410892
6. Multivariate Approximation
Temlyakov
Cambridge University Press
E-ISBN: 9781108689687; 9781108428750 ISBN:
7. Abstract Recursion and Intrinsic Complexity
Moschovakis
Cambridge University Press
E-ISBN: 9781108234238; 9781108415583 ISBN:
8. Knowledge Driven Development
Lal
Cambridge University Press
E-ISBN: 9781108566551; 9781108475211 ISBN:
9. Bounded Variable Logics and Counting
Otto
Cambridge University Press
E-ISBN: 9781316716878; 9781107167940 ISBN:
10. Essential Stability Theory
Buechler
Cambridge University Press
E-ISBN: 9781316717257; 9781107168398 ISBN:
11. Geometry and Complexity Theory
Landsberg
Cambridge University Press
E-ISBN: 9781108183192; 9781107199231 ISBN:
12. Surveys in Combinatorics 2017
Claesson et al
Cambridge University Press
E-ISBN: 9781108332699 ISBN: 9781108413138
13. Fundamentals of Stability Theory
Baldwin
Cambridge University Press
E-ISBN: 9781316717035; 9781107168091 ISBN:
14. Constructibility
Devlin
Cambridge University Press
E-ISBN: 9781316717219; 9781107168350 ISBN:
15. Fine Structure and Iteration Trees
Mitchell; Steel
Cambridge University Press
E-ISBN: 9781316718315; 9781107169098 ISBN:
16. Gödel '96
Hájek
Cambridge University Press
E-ISBN: 9781316716939; 9781107168022 ISBN:
17. Finite Elements
Ganesan; Tobiska
Cambridge University Press
E-ISBN: 9781108235013; 9781108415705 ISBN:
18. Model Theory of Fields
Marker; Messmer; Pillay
Cambridge University Press
E-ISBN: 9781316716991; 9781107168077 ISBN:
19. Topics in Computational Number Theory Inspired by Peter L. Montgomery
Bos; Lenstra
Cambridge University Press
E-ISBN: 9781316271575; 9781107109353 ISBN:
20. Codes, Cryptology and Curves with Computer Algebra
Pellikaan et al
Cambridge University Press
E-ISBN: 9780511982170; 9780521817110 ISBN: 9780521520362
21. Admissible Sets and Structures
Barwise
Cambridge University Press
E-ISBN: 9781316717196; 9781107168336 ISBN:
22. Complexity Dichotomies for Counting Problems
Cai; Chen
Cambridge University Press
E-ISBN: 9781107477063; 9781107062375 ISBN:
23. Logic Colloquium '95
Makowsky; Ravve
Cambridge University Press
E-ISBN: 9781316716830; 9781107167902 ISBN:
24. General Recursion Theory
Fenstad
Cambridge University Press
E-ISBN: 9781316717073; 9781107168169 ISBN:
25. Higher Recursion Theory
Sacks
Cambridge University Press
E-ISBN: 9781316717301; 9781107168435 ISBN:
26. Model-Theoretic Logics
Barwise; Feferman
Cambridge University Press
E-ISBN: 9781316717158; 9781107168251 ISBN:
27. Aspects of Incompleteness
Lindström
Cambridge University Press
E-ISBN: 9781316716854; 9781107167926 ISBN:
28. Proper and Improper Forcing
Shelah
Cambridge University Press
E-ISBN: 9781316717233; 9781107168367 ISBN:
29. The Core Model Iterability Problem
Steel
Cambridge University Press
E-ISBN: 9781316716892; 9781107167964 ISBN:
30. Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Grohe
Cambridge University Press
E-ISBN: 9781139028868; 9781107014527 ISBN:
31. Descriptive Set Theory and Forcing
Miller
Cambridge University Press
E-ISBN: 9781316716977; 9781107168060 ISBN:
32. Logic Colloquium '96
Larrazabal; Lascar; Mints
Cambridge University Press
E-ISBN: 9781316716816; 9781107166080 ISBN:
33. Logic Colloquium '90
Oikkonen; Väänänen
Cambridge University Press
E-ISBN: 9781316718254; 9781107169029 ISBN:
34. Recursion Theory
Shoenfield
Cambridge University Press
E-ISBN: 9781316717011; 9781107168084 ISBN:
35. Degrees of Unsolvability
Lerman
Cambridge University Press
E-ISBN: 9781316717059; 9781107168138 ISBN:
36. Groups, Languages and Automata
Holt; Rees; Röver
Cambridge University Press
E-ISBN: 9781316588246; 9781107152359 ISBN: 9781316606520
37. Recursion-Theoretic Hierarchies
Hinman
Cambridge University Press
E-ISBN: 9781316717110; 9781107168244 ISBN:
38. Computability in Analysis and Physics
Pour-El; Richards
Cambridge University Press
E-ISBN: 9781316717325; 9781107168442 ISBN:
39. Metamathematics of First-Order Arithmetic
Hájek; Pudlák
Cambridge University Press
E-ISBN: 9781316717271; 9781107168411 ISBN:
40. A General Algebraic Semantics for Sentential Logics
Font; Jansana
Cambridge University Press
E-ISBN: 9781316716915; 9781107167971 ISBN:
41. Introduction to Coalgebra
Jacobs
Cambridge University Press
E-ISBN: 9781316823187; 9781107177895 ISBN:
42. Lectures on Infinitary Model Theory
Marker
Cambridge University Press
E-ISBN: 9781316855560; 9781107181939 ISBN:
43. Ordinal Definability and Recursion Theory
Kechris; Löwe; Steel
Cambridge University Press
E-ISBN: 9781139519694; 9781107033405 ISBN:
44. Basic Concepts in Data Structures
Klein
Cambridge University Press
E-ISBN: 9781316676226; 9781107161276 ISBN: 9781316613849
45. Logic and Algebraic Structures in Quantum Computing
Chubb; Eskandarian; Harizanov
Cambridge University Press
E-ISBN: 9781139519687; 9781107033399 ISBN:
46. The Once and Future Turing
Cooper; Hodges
Cambridge University Press
E-ISBN: 9780511863196; 9781107010833 ISBN:
47. Solving Polynomial Equation Systems IV
Mora
Cambridge University Press
E-ISBN: 9781316271902; 9781107109636 ISBN:
48. Combinatorics, Words and Symbolic Dynamics
Berthé; Rigo
Cambridge University Press
E-ISBN: 9781139924733; 9781107077027 ISBN:
49. Inequalities for Graph Eigenvalues
Stanić
Cambridge University Press
E-ISBN: 9781316341308 ISBN: 9781107545977
50. Surveys in Combinatorics 2015
Czumaj et al
Cambridge University Press
E-ISBN: 9781316106853 ISBN: 9781107462502
51. Introduction to Random Graphs
Frieze; Karoński
Cambridge University Press
E-ISBN: 9781316339831; 9781107118508 ISBN:
52. Pure Inductive Logic
Paris; Vencovská
Cambridge University Press
E-ISBN: 9781107326194; 9781107042308 ISBN:
53. Computation, Proof, Machine
Dowek; Guillot; Roman
Cambridge University Press
E-ISBN: 9781139026581; 9780521118019 ISBN: 9780521133777
54. Essentials of Programming in <I>Mathematica</I>®
Wellin
Cambridge University Press
E-ISBN: 9781316337738; 9781107116665 ISBN:
55. A Guide to NIP Theories
Simon
Cambridge University Press
E-ISBN: 9781107415133; 9781107057753 ISBN:
56. Solving Polynomial Equation Systems III
Mora
Cambridge University Press
E-ISBN: 9781139015998; 9780521811552 ISBN:
57. Partial Differential Equation Methods for Image Inpainting
Schönlieb
Cambridge University Press
E-ISBN: 9780511734304; 9781107001008 ISBN:
58. Type Theory and Formal Proof
Nederpelt; Geuvers
Cambridge University Press
E-ISBN: 9781139567725; 9781107036505 ISBN:
59. Tractability
Bordeaux; Hamadi; Kohli
Cambridge University Press
E-ISBN: 9781139177801; 9781107025196 ISBN:
60. Applied Algebra and Number Theory
Larcher et al
Cambridge University Press
E-ISBN: 9781139696456; 9781107074002 ISBN:
61. Turing's Legacy
Downey
Cambridge University Press
E-ISBN: 9781107338579; 9781107043480 ISBN:
62. A Cryptography Primer
Klein
Cambridge University Press
E-ISBN: 9781139084772; 9781107017887 ISBN: 9781107603455
63. Noise Sensitivity of Boolean Functions and Percolation
Garban; Steif
Cambridge University Press
E-ISBN: 9781139924160; 9781107076433 ISBN: 9781107432550
64. Basic Category Theory
Leinster
Cambridge University Press
E-ISBN: 9781107360068; 9781107044241 ISBN:
65. Effective Mathematics of the Uncountable
Greenberg et al
Cambridge University Press
E-ISBN: 9781139028592; 9781107014510 ISBN:
66. Information Theory and Coding by Example
Kelbert; Suhov
Cambridge University Press
E-ISBN: 9781139028448; 9780521769358 ISBN: 9780521139885
67. Non-Hausdorff Topology and Domain Theory
Goubault-Larrecq
Cambridge University Press
E-ISBN: 9781139524438; 9781107034136 ISBN:
68. Lambda Calculus with Types
Barendregt; Dekkers; Statman
Cambridge University Press
E-ISBN: 9781139032636; 9780521766142 ISBN:
69. Modern Computer Algebra
von zur Gathen; Gerhard
Cambridge University Press
E-ISBN: 9781139856065; 9781107039032 ISBN:
70. Surveys in Combinatorics 2013
Blackburn; Gerke; Wildon
Cambridge University Press
E-ISBN: 9781139506748 ISBN: 9781107651951
71. Dense Sphere Packings
Hales
Cambridge University Press
E-ISBN: 9781139193894 ISBN: 9780521617703
72. Graph Structure and Monadic Second-Order Logic
Courcelle; Engelfriet
Cambridge University Press
E-ISBN: 9780511977619; 9780521898331 ISBN:
73. A Course in Model Theory
Tent; Ziegler
Cambridge University Press
E-ISBN: 9781139015417; 9780521763240 ISBN:
74. Programming with Higher-Order Logic
Miller; Nadathur
Cambridge University Press
E-ISBN: 9781139021326; 9780521879408 ISBN:
75. Foundations of Computational Mathematics, Budapest 2011
Cucker et al
Cambridge University Press
E-ISBN: 9781139095402 ISBN: 9781107604070
76. Alan M. Turing
Turing et al
Cambridge University Press
E-ISBN: 9781139105736; 9781107020580 ISBN: 9781107524224
77. Modern Fortran in Practice
Markus
Cambridge University Press
E-ISBN: 9781139084796; 9781107017900 ISBN: 9781107603479
78. Mathematics of Public Key Cryptography
Galbraith
Cambridge University Press
E-ISBN: 9781139012843; 9781107013926 ISBN:
79. Proofs and Computations
Schwichtenberg; Wainer
Cambridge University Press
E-ISBN: 9781139031905; 9780521517690 ISBN:
80. Wadge Degrees and Projective Ordinals
Kechris; Löwe; Steel
Cambridge University Press
E-ISBN: 9781139028073; 9780521762038 ISBN:
81. Simple Theories and Hyperimaginaries
Casanovas
Cambridge University Press
E-ISBN: 9781139003728; 9780521119559 ISBN:
82. Enumerative Combinatorics
Stanley
Cambridge University Press
E-ISBN: 9781139058520; 9781107015425 ISBN: 9781107602625
83. An Introduction to Category Theory
Simmons
Cambridge University Press
E-ISBN: 9780511863226; 9781107010871 ISBN: 9780521283045
84. Finite and Algorithmic Model Theory
Esparza; Michaux; Steinhorn
Cambridge University Press
E-ISBN: 9780511974960 ISBN: 9780521718202
85. Iterative Methods in Combinatorial Optimization
Lau; Ravi; Singh
Cambridge University Press
E-ISBN: 9780511977152; 9781107007512 ISBN: 9780521189439
86. The Design of Approximation Algorithms
Williamson; Shmoys
Cambridge University Press
E-ISBN: 9780511921735; 9780521195270 ISBN:
87. Quantifiers, Propositions and Identity
Goldblatt
Cambridge University Press
E-ISBN: 9780511862359; 9781107010529 ISBN:
88. Set Theory, Arithmetic, and Foundations of Mathematics
Kennedy; Kossak
Cambridge University Press
E-ISBN: 9780511910616; 9781107008045 ISBN:
89. Basic Phylogenetic Combinatorics
Dress et al
Cambridge University Press
E-ISBN: 9781139019767; 9780521768320 ISBN:
90. Kurt Gödel
Feferman; Parsons; Simpson
Cambridge University Press
E-ISBN: 9780511750762; 9780521115148 ISBN: 9781107683464
91. Logical Foundations of Proof Complexity
Cook; Nguyen
Cambridge University Press
E-ISBN: 9780511676277; 9780521517294 ISBN: 9781107694118
92. Graphs, Surfaces and Homology
Giblin
Cambridge University Press
E-ISBN: 9780511779534; 9780521766654 ISBN: 9780521154055
93. Finite Precision Number Systems and Arithmetic
Kornerup; Matula
Cambridge University Press
E-ISBN: 9780511778568; 9780521761352 ISBN:
94. Relational Mathematics
Schmidt
Cambridge University Press
E-ISBN: 9780511778810; 9780521762687 ISBN:
95. Digital Nets and Sequences
Dick; Pillichshammer
Cambridge University Press
E-ISBN: 9780511761188; 9780521191593 ISBN:
96. Modern Computer Arithmetic
Brent; Zimmermann
Cambridge University Press
E-ISBN: 9780511921698; 9780521194693 ISBN:
97. Logic Colloquium 2007
Delon et al
Cambridge University Press
E-ISBN: 9780511778421; 9780521760652 ISBN: 9781107696778
98. Boolean Models and Methods in Mathematics, Computer Science, and Engineering
Crama; Hammer
Cambridge University Press
E-ISBN: 9780511780448; 9780521847520 ISBN:
99. Noncommutative Rational Series with Applications
Berstel; Reutenauer
Cambridge University Press
E-ISBN: 9780511760860; 9780521190220 ISBN:
100. A Framework for Priority Arguments
Lerman
Cambridge University Press
E-ISBN: 9780511750779; 9780521119696 ISBN: