Documents liés : [67 document(s)]

Documents (Mots clés)

• [MathOuvrage] Proof complexity / Krajicek, Jan. -Cambridge : Cambridge university Press, 2019. - xv, 516 p. ; 24 cm
  ISBN 9781108416849
  
• [MathOuvrage] Information geometry / Ay, Nihat ; Jost, Juergen ; Le, Hong Van ; Schwachhöfer, Lorenz. -Cham : Springer, 2017. - xi, 407 p. ; 24 cm
  ISBN 9783319564777
  
• [MathOuvrage] Experimental mathematics / Arnold, Vladimir I. ; Trad. Fuchs, Dmitrij B. ; Trad. Saul, Mark. -Providence RI : American mathematical Society, 2015. - vii, 158 p. ; 22 cm
  ISBN 9780821894163
  
• [MathOuvrage] Applications of automata theory and algebra / Rhodes, John ; Ed. Nehaniv, Chrystopher L. ; Préf. Hirsch, Morris W.. -Hackensack NJ : World Scientific, 2009. - xvii, 274 p. ; 24 cm
  ISBN 9789812836960
  
• [ElecOuvrage] A Panorama of discrepancy theory / Ed. Chen, William ; Ed. Srivastav, Anand ; Ed. Travaglini, Giancarlo. -Cham : Springer, 2014. - xvi, 695 p.
  ISBN 9783319046969
  https://dx.doi.org/10.1007/978-3-319-04696-9
  
• [MathOuvrage] Geometric complexity theory IV / Blasiak, Jonah ; Mulmuley, Ketan D. ; Sohoni, Milind. -Providence RI : American mathematical Society, 2015. - v, 160 p. ; 26 cm
  ISBN 9781470410117
  https://www.ams.org/books/memo/year/2015/
  
• [MathOuvrage] A Panorama of discrepancy theory / Ed. Chen, William ; Ed. Srivastav, Anand ; Ed. Travaglini, Giancarlo. -Cham : Springer, 2014. - xvi, 695 p. ; 24 cm
  ISBN 9783319046952
  https://link.springer.com/bookseries/304
  
• [MathOuvrage] Complexity science / Ed. Ball, Robin ; Ed. Kolokoltsov, Vassili N. ; Ed. Mackay, Robert S.. -Cambridge : Cambridge university Press, 2013. - xi, 445 p. ; 23 cm
  ISBN 9781107640566
  
• [MathOuvrage] Tensors: Geometry and applications / Landsberg, J. M.. -Providence RI : American mathematical Society, 2012. - xx, 439 p. ; 26 cm
  ISBN 9780821869079
  
• [MathOuvrage] Large scale geometry / Nowak, Piotr W. ; Yu, Guoliang. -Zürich : European mathematical Society, 2012. - xiv, 189 p. ; 24 cm
  ISBN 9783037191125
  https://ems.press/books/etb
  
• [MathOuvrage] Non-commutative cryptography and complexity of group-theoretic problems / Myasnikov, Alexei G. ; Shpilrain, Vladimir ; Ushakov, Alexander. -Providence RI : American mathematical Society, 2011. - xiv, 385 p. ; 26 cm
  ISBN 9780821853603
  
• [MathOuvrage] System control and rough paths / Lyons, Terry J. ; Qian, Zhongmin. -Oxford : Clarendon Press, 2002. - x, 253 p. ; 24 cm
  ISBN 9780198506485
  
• [MathOuvrage] A Graphic apology for symmetry and implicitness / Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press, 2000. - xvii, 501 p. ; 24 cm
  ISBN 9780198507291
  
• [MathOuvrage] Dependence logic / Väänänen, Jouko. -Cambridge : Cambridge university Press, 2007. - ix, 225 p. ; 23 cm
  ISBN 9780521876599
  
• [MathOuvrage] Graph structure and monadic second-order logic / Courcelle, Bruno ; Engelfriet, Joost. -Cambridge : Cambridge university Press, 2012. - xiv, 728 p. ; 24 cm
  ISBN 9780521898331
  
• [MathOuvrage] Homogeneous spaces and equivariant embeddings / Timashev, Dmitry A.. -Berlin : Springer, 2011. - xxi, 253 p. ; 24 cm
  ISBN 9783642183980
  https://link.springer.com/book/10.1007/978-3-642-18399-7
  
• [MathOuvrage] Algorithmic randomness and complexity / Downey, Rodney G. ; Hirschfeldt, Denis R.. -New York NY : Springer, 2010. - xxviii, 855 p. ; 24 cm
  ISBN 9780387955674
  https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=2190-619x/
  
• [MathOuvrage] Forcing with random variables and proof complexity / Krajicek, Jan. -Cambridge : Cambridge university Press, 2011. - xvi, 247 p. ; 23 cm
  ISBN 9780521154338
  
• [MathOuvrage] Algorithmic topology and classification of 3-manifolds / Matveev, Sergey V.. -Berlin : Springer, 2007. - xiv, 492 p. ; 24 cm
  ISBN 9783540458982
  https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1431-1550
  
• [IremOuvrage] Complexités / Delahaye, Jean-Paul. -Paris : Belin;Pour la Science, 2006. - 256 p. ; 24 cm
  ISBN 9782842450823
  
• [MathCongrès] Entropy / Ed. Greven, Andrew ; Ed. Keller, Gerhard ; Ed. Warnecke, Gerhard. -Princeton NJ : Princeton university Press, 2003. - xiv, 358 p. ; 24 cm
  ISBN 9780691113388
  
• [MathOuvrage] Séminaire Bourbaki. Vol. 2002-2003. Exposés 909-923 / Bilu, Yuri F. ; Fischler, Stéphane ; Métivier, Guy ; Schlenker, Jean-Marc ; Valette, Alain ; Chambert-Loir, Antoine ; Dehornoy, Patrick ; Ghys, Etienne ; Morain, François ; Rousset, Frédéric ; Colmez, Pierre ; Connes, Alain ; Itenberg, Ilia ; Paulin, Frédéric ; Szamuely, Tamas. -Paris : Société mathématique de France, 2004. - ix, 470 p. ; 24 cm
  ISBN 9782856291566
  http://www.numdam.org/journals/SB ; https://doi.org/10.24033/ast.621
  
• [MathOuvrage] Modern computer algebra / zur Gathen, Joachim von ; Gerhard, Jürgen. -Cambridge : Cambridge university Press, 2003. - xiii, 785 p. ; 26 cm
  ISBN 9780521826464
  
• [MathCongrès] Séminaire N. Bourbaki. Vol. 2002-03. Exposés 914 à 918. Mars 2003 / Chambert-Loir, Antoine ; Dehornoy, Patrick ; Ghys, Etienne ; Morain, François ; Rousset, Frédéric. -Paris : Bourbaki, 2003. - pag. mult. ; 29 cm
  http://www.numdam.org/journals/SB
  
• [MathOuvrage] Programmation linéaire, complexité / Maurras, Jean François. -Berlin, Heidelberg, Paris : Springer, 2002. - xiv, 221 p. ; 24 cm
  
• [MathOuvrage] Number theoretic methods in cryptography / Shparlinski, Igor E.. -Basel, Berlin, Boston MA : Birkhäuser, 2000. - viii, 180 p. ; 24 cm
  https://link.springer.com/bookseries/4814
  
• [IremOuvrage] Logique, informatique et paradoxes / Delahaye, Jean-Paul. -Paris : Pour la Science;Belin, 1993. - 158 p. ; 25 cm
  ISBN 9782902918942
  
• [MathOuvrage] Le Fascinant nombre pi / Delahaye, Jean-Paul. -Paris : Pour la Science, 1997. - 224 p. ; 25 cm
  
• [MathOuvrage] Selected papers on analysis of algorithms / Knuth, Donald E.. -Stanford CA : Center for the study of language and information, 2000. - xvi, 621 p. ; 23 cm
  
• [MathOuvrage] What is random ? / Beltrami, Edward J.. -New York NY : Copernicus, 1999. - xx, 201 p. ; 21 cm
  
• [MathOuvrage] Provability, complexity, grammars / Beklemishev, Lev ; Pentus, Mati ; Vereshchagin, Nikolai. -Providence RI : American mathematical Society, 1999. - ix, 172 p. ; 26 cm
  
• [MathOuvrage] Computational complexity and feasibility of data processing and interval computations / Kreinovich, Vladik ; Lakeyev, Anatoly ; Rohn, Jiri ; Kahl, Patrick. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 1998. - xii, 459 p. ; 25 cm
  https://link.springer.com/bookseries/5634
  
• [MathOuvrage] The Complexity of computing / Savage, John E.. -Malabar FL : Robert E. Krieger, 1987. - xiii, 391 p. ; 24 cm
  
• [MathOuvrage] Complexity and real computation / Blum, Lenore ; Cucker, Felipe ; Shub, Michael ; Smale, Stephen ; Préf. Karp, Richard M.. -New York NY : Springer, 1998. - xvi, 453 p. ; 24 cm
  
• [MathCongrès] The Emergence of complexity in mathematics, physics, chemistry and biology / Ed. Pullman, Bernard. -Vatican : Pontificia academia scientiarum, 1996. - xvi, 472 p. ; 24 cm
  
• [MathOuvrage] Elements of the theory of computation / Lewis, Harry R. ; Papadimitriou, Christos H.. -London, Sydney, Toronto : Prentice Hall, 1998. - 361 p. ; 24 cm
  
• [MathOuvrage] Logique, réduction, résolution / Lalement, René ; Préf. Demazure, Michel. -Barcelone, Milan, Paris : Masson, 1990. - xii, 370 p. ; 25 cm
  ISBN 9782225821042
  
• [MathOuvrage] Algebraic homogeneous spaces and invariant theory / Grosshans, Frank D.. -Berlin, Heidelberg, New York NY : Springer, 1997. - vi, 148 p. ; 24 cm
  https://link.springer.com/openurl.asp?genre=journal&issn=0075-8434
  
• [MathOuvrage] Bounded arithmetic, propositional logic, and complexity theory / Krajicek, Jan. -Cambridge : Cambridge university Press, 1995. - xiv, 343 p. ; 24 cm
  
• [MathOuvrage] Cellular automata and complexity / Wolfram, Stephen. -Menlo Park CA, New York NY, Reading MA : Addison-Wesley, 1994. - 596 p. ; 23 cm
  
• [MathThèse] Le Problème de l'identifiabilité structurelle globale / Ollivier, François. -Paris : Ecole Polytechnique, 1990. - x, 176 p. ; 30 cm
  
• [MathThèse] Performances numériques des algorithmes rapides pour les systèmes linéaires structures Toeplitz / Kazamarande, Evariste. -Grenoble : Institut National Polytechnique de Grenoble, 1993. - 217 p. ; 21 cm
  
• [MathOuvrage] Complexity : knots, colourings and counting / Welsh, D.J.A.. -Cambridge : Cambridge university Press, 1993. - viii, 163 p. ; 23 cm
  
• [MathOuvrage] Complexité et décidabilité / Dehornoy, Patrick. -Paris : Springer, 1993. - 200 p. ; 24 cm
  
• [MathCongrès] 1990 lectures in complex systems / Ed. Nadel, Lynn ; Ed. Stein, Daniel L.. -Menlo Park, Reading, Redwood City CA : Addison-Wesley, 1991. - xxi, 565 p. ; 24 cm
  
• [MathCongrès] Boolean function complexity / Ed. Paterson, M. S.. -Cambridge : Cambridge university Press, 1992. - 201 p. ; 23 cm
  
• [MathOuvrage] Arithmetic complexity of computations / Winograd, Shmuel. -Philadelphia PA : Society for industrial and applied mathematics, 1980. - 93 p. ; 24 cm
  
• [MathCongrès] Proceedings of the first italian conference on algorithms and complexity / Ed. Ausiello, Giorgio ; Ed. Bovet, Daniel P. ; Ed. Petreschi, Rosella. -Singapore, New Jersey, London : World Scientific, 1990. - viii, 217 p. ; 22 cm
  
• [MathCongrès] Advances in cryptology - Crypto '91 / Ed. Feigenbaum, J.. -Berlin, Heidelberg, New York NY : Springer, 1992. - x, 484 p. ; 25 cm
  https://link.springer.com/book/10.1007/3-540-46766-1
  
• [MathOuvrage] Analogies between analogies / Ulam, Stanislaw M. ; Ed. Bednarek, A.R. ; Ed. Ulam, Françoise. -Berkeley CA, Los Angeles, Oxford : University of California press, 1990. - xvii, 565 p. ; 24 cm
  
• [MathCongrès] Parallélisme : modèles et complexité / Ed. Brlek, Srecko ; Association canadienne-française pour l'avancement des sciences. -Montréal : Université du Québec;Département de Mathématiques et d'Informatique;Laboratoire de Combinatoire et d'Informatique Mathématique, 1990. - 144 p. ; 24 cm
  
• [MathOuvrage] The Theory of algorithms / Markov, A. A. ; Nagorny, N. M.. -Dordrecht : Kluwer Academic Publishers, 1988. - xxiv, 369 p. ; 24 cm
  https://link.springer.com/bookseries/6249
  
• [MathOuvrage] Handbook of theoretical computer science. Vol. A / Ed. Van Leeuwen, Jan. -Amsterdam, New York NY, Oxford, Tokyo : Elsevier, 1990. - ix, 996 p. ; 24 cm
  
• [MathOuvrage] The Complexity of boolean functions / Wegener, I.. -New York : John Wiley, 1987. - xi, 457
  
• [MathOuvrage] Introduction to automata theory, languages, and computation / Hopcroft, John E. ; Ullman, J.. -Reading : Addison-Wesley, 1979. - x-418
  
• [MathCongrès] Séminaire lotharingien de combinatoire. 10e session / Ed. Koenig, R.. -Strasbourg : Institut de recherche mathématique avancée;Université Louis Pasteur, 1984. - 173 p.
  https://emis.de/journals/SLC/
  
• [MathOuvrage] Discrete optimization / Parker, R. Gary ; Rardin, Ronald L.. -New York : Academic press, 1988. - xi, 472
  
• [MathOuvrage] Algebra for computer science / Garding, Lars ; Tambour, T.. -Berlin : Springer, 1988. - ix, 198
  https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
  
• [MathCongrès] Topology and computer science / Ed. Suzuki, S.. -Tokyo : Kinokuniya, 1987. - ix, 549 p. ; 24 cm
  
• [MathOuvrage] Information randomness and incompleteness / Chaitin, Gregory J.. -Singapore : World Scientific, 1987. - x-272
  
• [MathOuvrage] Computation and automata / Salomaa, Arto. -Cambridge : Cambridge university Press, 1985. - xiii, 284
  
• [MathPrépublication] Algebra universalis constructiva / Belaga, Edward G.. -Strasbourg : Institut de recherche mathématique avancée;Université Louis Pasteur, 1986. - 15 p. ; 29 cm
  
• [MathOuvrage] Computability, complexity, and languages / Davis, Martin ; Weyuker, Elaine J.. -New York : Academic press, 1983. - xix, 425
  
• [MathOuvrage] Exploring complexity / Nicolis, Gregoire ; Prigogine, Ilya. -New York : W. H. Freeman and co., 1989. - xi, 313
  
• [MathOuvrage] Computability, complexity, logic / Börger, Egon. -Amsterdam : North-Holland, 1989. - xx-592
  
• [MathOuvrage] Codes and cryptography / Welsh, Dominic. -Oxford : Clarendon Press, 1988. - ix, 257
  
• [MathOuvrage] Labyrinth problems / Hemmerling, A.. -Leipzig : Teubner, 1989. - 215