052613348
2000-09-12
2023-06-13T06:33:02
13568741
Fonctions calculables -- Informatique
Edinburgh LCF (système informatique)
Mathématiques -- Informatique
621
510
Minimisation de fonctions de perte calibrée pour la classification des images / Wafa Bel Haj Ali ; sous la direction de Michel Barlaud / , 2013
Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension / Nicolas Bacquey ; [sous la direction de] Etienne Grandjean et Véronique Terrier / [Lieu de publication inconnu] : [éditeur inconnu] , 2015
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones / Corentin Travers ; [sous la direction de] Michel Raynal / Lille : Atelier national de reproduction des thèses , 2007
Higher computability and randomnes / Benoit Monin ; sous la direction de Laurent Bienvenu / Lille : Atelier national de reproduction des thèses , 2014
Caractérisations de l’aléatoire par les jeux : imprédictibilité et stochasticité / par Laurent Bienvenu ; sous la direction de M. Alexander Shen / [S.l.] : [s.n.] , 2008.
Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. / Berlin, Heidelberg : Springer Berlin Heidelberg
Symbolic-Numeric Computation / [International workshop on Symbolic-Numeric Computation] ; Dongming Wang, Lihong Zhi, editors / 1st ed. 2007. / Basel : Birkhäuser Basel
Models of computation / Roberto Bruni, Ugo Montanari / Cham : Springer
Caractérisations de l'aléatoire par les jeux : imprédictibilité et stochasticité / par Laurent Bienvenu ; sous la direction de M. Alexander Shen / Lille : Atelier national de reproduction des thèses , 2008
Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension / Nicolas Bacquey ; [sous la direction de] Etienne Grandjean et Véronique Terrier / Lille : Atelier national de reproduction des thèses , 2015
Computability and logic / George Boolos, Richard Jeffrey / Cambridge : University Press , 1974
Computability and complexity / Hubie Chen / Cambridge, Massachusetts : The MIT Press
Parity games and reachability in infinite-state systems with parameters / Mathieu Hilaire ; sous la direction de Stefan Göller et de Benedikt Bollig / , 2022
Computability : 1973-1974 / Martin Davis ; notes by Barry Jacobs / New York : Courant Institute of Mathematical Sciences, New York University , cop. 1974
Computability and complexity theory / Steven Homer, Alan L. Selman / 2nd ed. / New York : Springer , cop. 2011
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor / Providence (R.I.) : American Mathematical Society
Higher computability and randomnes / Benoit Monin ; sous la direction de Laurent Bienvenu / [S.l.] : [s.n.] , 2014
Edinburgh LCF : A Mechanised Logic of Computation / by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. / Berlin [etc.] : Springer
Modèles de calcul sur les réels : résultats de comparaisons / par Emmanuel Hainry ; sous la direction de Jean-Yves Marion / , 2006
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by M.M. Richter, E. Börger, W. Oberschelp... [et al.] / Berlin [etc.] : Springer
Autour du lambda-calcul partiel / Christian Even ; sous la direction de Gérard Jacob / [S.l.] : [s.n.] , 1993
Etude de classes de fonctions de coût régulières / Denis Kuperberg ; sous la direction de Thomas Colcombet / [S.l.] : [s.n.] , 2012
Caractérisations de l’aléatoire par les jeux : imprédictibilité et stochasticité / par Laurent Bienvenu / Villeurbanne : [CCSD] , 2009
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones / Corentin Travers ; [sous la dir. de] Michel Raynal / [S.l.] : [s.n.] , 2007
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter, E. Börger, W. Oberschelp... [et al.] / Berlin [etc.] : Springer-Verlag , 1984
Symbolic-numeric computation / Dongming Wang, Lihong Zhi, editors / Basel : Birkhauser
Etude de classes de fonctions de coût régulières / Denis Kuperberg ; sous la direction de Thomas Colcombet / Lille : Atelier national de reproduction des thèses , 2012
Minimisation du risque empirique avec des fonctions de perte nonmodulaires / Jiaqian Yu ; sous la direction de Matthew B. Blaschko / , 2017
Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings / Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.) / Berlin : Springer , cop. 2009
Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension / Nicolas Bacquey / Villeurbanne : [CCSD] , 2016
Reachability games with counters : decidability and algorithms / Julien Reichert ; sous la direction de Dietmar Berwanger et de Laurent Doyen / , 2015
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones / Corentin Travers / Villeurbanne : [CCSD] , 2010
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor / Providence (R.I.) : American Mathematical Society , 2012
Computability and complexity theory / Steven Homer, Alan L. Selman / New York : Springer , cop. 2001
Etude de classes de fonctions de coût régulières / Denis Kuperberg le 2012 [ Paris 7 ]
Minimisation de fonctions de perte calibrée pour la classification des images / Wafa Bel Haj Ali le 2013 [ Nice ]
Reachability games with counters : decidability and algorithms / Julien Reichert le 2015 [ Cachan, Ecole normale supérieure ]
Minimisation du risque empirique avec des fonctions de perte nonmodulaires / Jiaqian Yu le 2017 [ Université Paris-Saclay (ComUE) ]
Parity games and reachability in infinite-state systems with parameters / Mathieu Hilaire le 2022 [ université Paris-Saclay ]
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones / Corentin Travers le 2007 [ Rennes 1 ]
Caractérisations de l’aléatoire par les jeux : imprédictibilité et stochasticité / Laurent Bienvenu le 2008 [ Aix-Marseille 1 ]
Higher computability and randomnes / Benoît Monin le 2014 [ Paris 7 ]
Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension / Nicolas Bacquey le 2015 [ Caen ]
Autour du lambda-calcul partiel / Christian Even le 1993 [ Lille 1 ]