skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

Résultats 1 - 10 sur 158  pour Tout le catalogue

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Théorie des ensembles
Material Type:
ebook
Ajouter au Panier

Théorie des ensembles

Bourbaki, Nicolas

Fait partie de l'ensemble : Éléments de mathématique

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2006

2
Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10–21, 1987
Material Type:
ebook
Ajouter au Panier

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10–21, 1987

Watson, Stephen (1956-...) (Ed.) ; Steprāns, Juris (1953-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 1401, ISSN 1617-9692

Berlin [etc.]. Springer, 201. ?

3
Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983
Material Type:
ebook
Ajouter au Panier

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983

Di Prisco, Carlos Augusto (19..-...) (Ed.)

Lecture Notes in Mathematics ; 1130

Berlin [etc.]. Springer, 201. ?

4
Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980
Material Type:
ebook
Ajouter au Panier

Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980

Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Takeuchi, Gaishi (1926-2017) (Ed.) ; Tugué, Tosiyuki (1926-...) (Ed.)

Lecture Notes in Mathematics ; 891

Berlin [etc.]. Springer, 201. ?

5
Cylindric Set Algebras
Material Type:
ebook
Ajouter au Panier

Cylindric Set Algebras

Henkin, Leon (1921-2006) ; Andréka, Hajnal (1947-...) ; Németi, István (1942-...) ; Tarski, Alfred (1901-1983) ; Monk, J. Donald

Lecture Notes in Mathematics ; 883

Berlin [etc.]. Springer, 201. ?

6
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988
Material Type:
ebook
Ajouter au Panier

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Homer, Steven ; Platek, Richard A (19..-...) ; Scedrov, Andre ; Nerode, Anil (1932-...) ; Sacks, Gerald Enoch (1933-...) ; Odifreddi, Piergiorgio (1950-...) (Ed.) ; Centro internazionale matematico estivo (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 1429, ISSN 1617-9692 Appartient à la collection : CIME foundation subseries

Berlin [etc.]. Springer, 201. ?

7
Logic Year 1979–80 : The University of Connecticut, USA
Material Type:
ebook
Ajouter au Panier

Logic Year 1979–80 : The University of Connecticut, USA

Soare, Robert Irving (1940-...) (Ed.) ; Lerman, Manuel (1943-...) (Ed.) ; Schmerl, James Henry (1940-...) (Ed.)

Lecture Notes in Mathematics ; 859

Berlin [etc.]. Springer, 201. ?

8
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Material Type:
ebook
Ajouter au Panier

Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

van der Hoek, Wiebe (Ed.) ; Holliday, Wesley H (Ed.) ; Wang, Wen-fang (Ed.)

Appartient à la collection : Lecture notes in computer science, 9394, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2015

9
Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
Material Type:
ebook
Ajouter au Panier

Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions

Bekkali, Mohamed (1956-...)

Appartient à la collection : Lecture notes in mathematics (Internet), 1476, ISSN 1617-9692

Berlin [etc.]. Springer, 201. ?

10
Lectures on Formally Real Fields
Material Type:
ebook
Ajouter au Panier

Lectures on Formally Real Fields

Prestel, Alexander (1941-...)

Lecture Notes in Mathematics ; 1093

Berlin [etc.]. Springer, 201. ?

Résultats 1 - 10 sur 158  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (157)

Affiner vos résultats

Type de ressource 

  1. ebooks  (157)
  2. Livres  (1)
  3. Autres open sub menu

Sujet 

  1. Logic, Symbolic and mathematical  (152)
  2. Logique mathématique  (146)
  3. Computer Science  (116)
  4. Informatique  (108)
  5. Mathematical Logic and Formal Languages  (103)
  6. Artificial intelligence  (71)
  7. Artificial Intelligence (incl. Robotics)  (70)
  8. Intelligence artificielle  (68)
  9. Logics and Meanings of Programs  (63)
  10. Logic design  (60)
  11. Mathematics  (43)
  12. Mathématiques  (34)
  13. Théorèmes. Démonstration automatique  (27)
  14. Ordinateurs. Programmation  (22)
  15. Programming Languages, Compilers, Interpreters  (18)
  16. Langages de programmation  (17)
  17. Software engineering  (16)
  18. Computation by Abstract Devices  (15)
  19. Programming Techniques  (14)
  20. Programmation logique  (13)
  21. Algorithm Analysis and Problem Complexity  (12)
  22. Algorithmes  (12)
  23. Computer software  (12)
  24. Génie logiciel  (12)
  25. Mathematical logic  (12)
  26. Logique informatique  (11)
  27. Théorie des modèles  (10)
  28. Théorie de la démonstration  (10)
  29. Algèbre  (10)
  30. Informatique. Mathématiques  (9)
  31. Algebra  (8)
  32. Catégories (mathématiques)  (7)
  33. Computer logic  (7)
  34. Computer science. Mathematics  (7)
  35. Symbolic and Algebraic Manipulation  (7)
  36. Théorie des ensembles  (6)
  37. Topology  (6)
  38. Complexité de calcul (informatique)  (6)
  39. Analyse combinatoire  (5)
  40. Réseaux d'ordinateurs  (5)
  41. Combinatorics  (5)
  42. Topologie  (5)
  43. Réécriture, Systèmes de (informatique)  (5)
  44. Computer Communication Networks  (5)
  45. Lambda-calcul  (5)
  46. Parallélisme (informatique)  (4)
  47. Analyse fonctionnelle  (4)
  48. Raisonnement  (4)
  49. Programming languages (Electronic computers)  (4)
  50. Ordinateurs  (4)
  51. Algebra. Data processing  (4)
  52. K-théorie  (4)
  53. Functional analysis  (4)
  54. K-theory  (4)
  55. Discrete Mathematics in Computer Science  (4)
  56. Structure logique  (3)
  57. Data structures (Computer science)  (3)
  58. Structures de données (informatique)  (3)
  59. Récursivité, Théorie de la  (3)
  60. Mathematics of Computing  (3)
  61. Langages de programmation. Sémantique  (3)
  62. Programming languages (Electronic computers)--Semantics  (3)
  63. Natural language processing (Computer science)  (3)
  64. Géométrie algébrique  (3)
  65. General Algebraic Systems  (3)
  66. Logique mathématique non classique  (3)
  67. Data Structures  (3)
  68. inférence  (2)
  69. Analyse mathématique non standard  (2)
  70. Logique mathématique. Actes de congrès  (2)
  71. Fonctions d'une variable réelle  (2)
  72. Systèmes experts (informatique)  (2)
  73. Computers, Special purpose  (2)
  74. Database management  (2)
  75. Modalité (logique)  (2)
  76. Logique  (2)
  77. Logique algébrique  (2)
  78. Number theory  (2)
  79. Information theory  (2)
  80. Autres open sub menu

Auteur 

  1. Nerode, Anil  (5)
  2. Leitsch, Alexander  (4)
  3. Rydeheard, David E  (4)
  4. Voronkov, Andrei  (3)
  5. Mundici, Daniele  (3)
  6. Börger, Egon  (3)
  7. Gottlob, Georg  (3)
  8. Richter, Michael M  (3)
  9. Jantke, Klaus Peter  (3)
  10. Nipkow, Tobias  (3)
  11. Pitt, David H  (3)
  12. Poigné, Axel  (3)
  13. Meinke, Karl  (3)
  14. Dybjer, Peter  (3)
  15. Prestel, Alexander  (3)
  16. Pacholski, Leszek  (3)
  17. Nordström, Bengt  (2)
  18. Rozenberg, Grzegorz  (2)
  19. Smith, Jan  (2)
  20. Schmitt, Peter H  (2)
  21. Pearce, David A  (2)
  22. Müller, Gert H  (2)
  23. Hartmanis, Juris  (2)
  24. Wansing, Heinrich  (2)
  25. Dowek, Gilles  (2)
  26. Goos, Gerhard  (2)
  27. Schmidt, David  (2)
  28. Abramsky, Samson  (2)
  29. Sacks, Gerald Enoch  (2)
  30. Pitts, Andrew M  (2)
  31. Wagner, Gerd  (2)
  32. Müller, Gert Heinz. mathématicien  (2)
  33. Thomas, Wolfgang  (2)
  34. Gabbay, Dov M  (2)
  35. Dix, Jürgen  (2)
  36. Heering, Jan  (2)
  37. Ohlbach, Hans Jürgen  (2)
  38. Brookes, Stephen  (2)
  39. Taitslin, Mikhail A  (2)
  40. Baumgartner, Peter  (2)
  41. Main, Michael  (2)
  42. Pitt, David  (2)
  43. Möller, Bernhard  (2)
  44. Wilkie, Alex J  (2)
  45. Melton, Austin  (2)
  46. Flum, Jörg  (2)
  47. Mislove, Michael W  (2)
  48. Väänänen, Jouko  (1)
  49. Melham, Thomas F  (1)
  50. Tiuryn, Jerzy  (1)
  51. Väth, Martin  (1)
  52. Grandjean, Etienne. mathématicien  (1)
  53. Giunchiglia, Enrico  (1)
  54. Leeuwen, Jan van  (1)
  55. Gunter, Elsa L  (1)
  56. Macpherson, Dugald  (1)
  57. Hindley, James Roger  (1)
  58. Wehrung, Friedrich  (1)
  59. Ressayre, Jean-Pierre  (1)
  60. Slaney, J. K  (1)
  61. Meyer, Albert R  (1)
  62. Pfenning, Frank  (1)
  63. Seligman, Jeremy  (1)
  64. Johnstone, Peter T  (1)
  65. Van den Dries, Lou  (1)
  66. Lerman, Manuel  (1)
  67. Di Prisco, Carlos Augusto  (1)
  68. Feferman, Solomon  (1)
  69. Jones, Neil D  (1)
  70. Centro internazionale matematico estivo  (1)
  71. Clarke, Edmund M  (1)
  72. Bekkali, Mohamed  (1)
  73. Fisher, Michael  (1)
  74. Weber, Matthias  (1)
  75. Schulz, K. U  (1)
  76. Royer, James S  (1)
  77. Benninghofen, Benjamin  (1)
  78. Devlin, Keith J  (1)
  79. Andréka, Hajnal  (1)
  80. Chong, Chi-Tat  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2001  (5)
  2. 2001 à 2003  (11)
  3. 2004 à 2006  (89)
  4. 2007 à 2011  (43)
  5. Après 2011  (10)
  6. Autres open sub menu

Langue 

  1. Anglais  (157)
  2. Français  (2)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.