skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations for programming languages.
Material Type:
Livre
Ajouter à Mon espace

Foundations for programming languages.

Mitchell, John C.

Cambridge MA : The MIT Press, 1996

Voir les exemplaires

2
Material Type:
Versions multiples

Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

Hagiya, Masami. ; Mitchell, John C.

Plusieurs versions trouvées
Il y a 2 versions

3
Concepts in programming languages
Material Type:
Livre
Ajouter à Mon espace

Concepts in programming languages

Mitchell, John C.

Cambridge New York N. Y. : Cambridge University Press, 2002

Voir les exemplaires

4
Theoretical aspects of object-oriented programming : types, semantics, and language design
Material Type:
Livre
Ajouter à Mon espace

Theoretical aspects of object-oriented programming : types, semantics, and language design

Gunter, Carl A. ; Mitchell, John C.

Cambridge MA London : The MIT Press, 1994

Voir les exemplaires

5
Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Material Type:
Livre
Ajouter à Mon espace

Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Basin, David ; Mitchell, John C.

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

Accessible en ligne

6
Theoretical aspects of computer software : TACS '94... proceedings
Material Type:
Livre
Ajouter à Mon espace

Theoretical aspects of computer software : TACS '94... proceedings

International Symposium on Theoretical Aspects of Computer Software 002 Sendai 1994. ; Hagiya, Masami ; Mitchell, John C.

Berlin New York NY Paris : Springer, 1994

Voir les exemplaires

7
Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 proceedings
Material Type:
Livre
Ajouter à Mon espace

Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 proceedings

International symposium on Theoretical aspects of computer software International symposium on Theoretical aspects of computer software 1994 Sendai, Japan ; Hagiya, Masami (1957-....) ; Mitchell, John C.

Berlin New York : Springer-Verl., 1994

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

Manual of practical assaying, intended for the use of metallurgists, captains of mines and assayers in general, with a copious table,...

Mitchell, John, F. C. S

London : H. Bailliere, 1846

Voir les exemplaires

9
Theoretical Aspects of Computer Software
Theoretical Aspects of Computer Software
Theoretical Aspects of Computer Software
Material Type:
Livre
Ajouter à Mon espace

Theoretical Aspects of Computer Software

International Symposium TACS ; Masami Hagiya; John C Mitchell

Springer Berlin Heidelberg, 1994

Accessible en ligne

10
Trust Management II
Material Type:
Livre
Ajouter à Mon espace

Trust Management II

Yücel Karabulut ; Peter Herrmann; Christian Damsgaard Jensen; Yucel Karabulut; John Mitchell; John C Mitchell

Springer US, 2008

Accessible en ligne

11
The Cambridge atlas of the Middle East & North Africa
Material Type:
Carte
Ajouter à Mon espace

The Cambridge atlas of the Middle East & North Africa

Blake, Gerald Henry ; Dewdney, John C. ; Mitchell, Jonathan (1959-....)

Cambridge New York Melbourne : Cambridge University press, 1987

Voir les exemplaires

12
Encoding Synchronous Interactions Using Labelled Petri Nets
Material Type:
Autre
Ajouter à Mon espace

Encoding Synchronous Interactions Using Labelled Petri Nets

Baldan , Paolo ; Bonchi , Filippo ; Gadducci , Fabio ; Monreale , Giacoma , ; Universita degli Studi di Padova ; Laboratoire de l'Informatique du Parallélisme ( LIP ) ; École normale supérieure - Lyon ( ENS Lyon ) -Université Claude Bernard Lyon 1 ( UCBL ) ; Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) ; Università di Pisa ; David Hutchison ; Takeo Kanade ; Bernhard Steffen ; Demetri Terzopoulos ; Doug Tygar ; Gerhard Weikum ; Eva Kühn ; Rosario Pugliese ; Josef Kittler ; Jon M. Kleinberg ; Alfred Kobsa ; Friedemann Mattern ; John C. Mitchell ; Moni Naor ; Oscar Nierstrasz ; C. Pandu Rangan ; TC 6 ; WG 6.1

Lecture Notes in Computer Science

HAL CCSD;Springer, 2014

Accessible en ligne

13
Treatise on analytical chemistry. 2 Vol. 14. Analytical chemistry of inorganic and organic compounds
Material Type:
Livre
Ajouter à Mon espace

Treatise on analytical chemistry. 2 Vol. 14. Analytical chemistry of inorganic and organic compounds

Kolthoff, Izaak Maurits (1894-1993) ; Elving, Philip Juliber (1913-1984) ; Huffman, Edward W. D. ; Mitchell, John (1913-1996) ; Inglis, Adam S. ; Olson, Edward C. ; Hirozawa, Stanley T.

New York London Sydney etc. : Wiley-Interscience, 1971

Voir les exemplaires

14
Reinventing the automobile : personal urban mobility for the 21st century
Reinventing the automobile : personal urban mobility for the 21st century
Reinventing the automobile : personal urban mobility for the 21st century
Material Type:
Livre
Ajouter à Mon espace

Reinventing the automobile : personal urban mobility for the 21st century

William John Mitchell ; Chris Borroni-Bird; Christopher E Borroni-Bird; Lawrence D Burns; William J Mitchell

MIT Press, 2010

Accessible en ligne

15
Material Type:
Article
Ajouter à Mon espace

Verifying the fully “Laplacianised” posterior Naïve Bayesian approach and more

Mussa, Hamse ; Marcus, David ; Mitchell, John ; Glen, Robert

Journal of Cheminformatics, 2015, Vol.7(1), pp.1-11 [Revue évaluée par les pairs]

Texte intégral disponible

Voir toutes les versions
16
Topological analysis of metabolic networks integrating co-segregating transcriptomes and metabolomes in type 2 diabetic rat congenic series
Material Type:
Autre
Ajouter à Mon espace

Topological analysis of metabolic networks integrating co-segregating transcriptomes and metabolomes in type 2 diabetic rat congenic series

Dumas , Marc-Emmanuel ; Domange , Céline ; Calderari , Sophie ; Martínez , Andrea Rodríguez ; Ayala , Rafael ; Wilder , Steven P. ; Suárez-Zamorano , Nicolas ; Collins , Stephan C. ; Wallis , Robert H. ; Gu , Quan ; Wang , Yulan ; Hue , Christophe ; Otto , Georg W. ; Argoud , Karène ; Navratil , Vincent ; Mitchell , Steve C. ; Lindon , John C. ; Holmes , Elaine ; Cazier , Jean-Baptiste ; Nicholson , Jeremy K. ; Gauguier , Dominique ; Department of Surgery & Cancer ; Imperial College London ; Modélisation Systémique Appliquée aux Ruminants ( MoSAR ) ; Institut National de la Recherche Agronomique ( INRA ) -AgroParisTech ; Centre de Recherche des Cordeliers ( CRC ) ; Institut National de la Santé et de la Recherche Médicale ( INSERM ) -Université Paris Descartes - Paris 5 ( UPD5 ) -Université Pierre et Marie Curie - Paris 6 ( UPMC ) -École pratique des hautes études ( EPHE ) -Université Paris Diderot - Paris 7 ( UPD7 ) ; Wellcome Trust Centre for Human Genetics ; University of Oxford [Oxford] ; Centre Européen de Résonance Magnétique Nucléaire à Très Hauts Champs ( CERMNTHC ) ; École normale supérieure - Lyon ( ENS Lyon ) -Université Claude Bernard Lyon 1 ( UCBL ) ; Université de Lyon-Université de Lyon ; Metabometrix Ltd ; Imperial Incubator ; University of Birmingham [Birmingham] ; Wellcome Trust; European Commission [LSHG-CT-2006-037683]; Fondation pour le Recherche Medicale (FRM); Agence Nationale pour la Recherche [ANR-08-GENOPAT-030];UK Medical Research Council (MRC) [MR/M501797/1, MR/K501281/1]; ANR [ANR-07-JCJC-0042]; Wellcome Trust senior fellowship [057733]

ISSN: 1756-994X

HAL CCSD;BioMed Central, 2016

Accessible en ligne

17
Material Type:
Article
Ajouter à Mon espace

Intramolecular alkylation of peroxides and hydroperoxides; peroxide transfer via peroxonium intermediates

Porter, Ned A. ; Mitchell, John C.

Tetrahedron Letters, 1983, Vol.24(6), pp.543-546 [Revue évaluée par les pairs]

Texte intégral disponible

18
Material Type:
Article
Ajouter à Mon espace

Vibrational spectra and crystal structure of the di‐amino acid peptide cyclo( L ‐Met‐ L ‐Met): comparison of experimental data and DFT calculations

Mendham, Andrew P. ; Potter, Brian S. ; Palmer, Rex A. ; Dines, Trevor J. ; Mitchell, John C. ; Withnall, Robert ; Chowdhry, Babur Z.

Journal of Raman Spectroscopy, February 2010, Vol.41(2), pp.148-159 [Revue évaluée par les pairs]

Texte intégral disponible

Voir toutes les versions
19
Material Type:
Article
Ajouter à Mon espace

Solid state reactions studied by isothermal microcalorimetry; The solid state oxidation of ascorbic acid

Willson, Richard J. ; Beezer, Anthony E. ; Mitchell, John C.

International Journal of Pharmaceutics, 1996, Vol.132(1), pp.45-51 [Revue évaluée par les pairs]

Texte intégral disponible

20
Material Type:
Article
Ajouter à Mon espace

The synthesis of chiral dendritic molecules based on the repeat unit L-glutamic acid

Twyman, Lance J. ; Beezer, Anthony E. ; Mitchell, John C.

Tetrahedron Letters, 1994, Vol.35(25), pp.4423-4424 [Revue évaluée par les pairs]

Texte intégral disponible

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Articles  (601)
  2. Autres  (12)
  3. Cartes  (1)
  4. Livres  (13)
  5. Ressources textuelles  (2)
  6. Revues critiques  (13)
  7. Plus d’options open sub menu

Auteur 

  1. Mitchell, John C.  (84)
  2. Wilson, Ian A.  (68)
  3. Deacon, Ashley M.  (68)
  4. Wooley, John  (67)
  5. Godzik, Adam  (67)
  6. Jaroszewski, Lukasz  (67)
  7. Mcmullan, Daniel  (66)
  8. Van Den Bedem, Henry  (65)
  9. Elsliger, Marc-André  (60)
  10. Xu, Qingping  (58)
  11. Abdubek, Polat  (53)
  12. Chiu, Hsiu-Ju  (51)
  13. Reyes, Ron  (47)
  14. Kreusch, Andreas  (43)
  15. Wolf, Guenter  (43)
  16. Nigoghossian, Edward  (43)
  17. Spraggon, Glen  (43)
  18. Han, Gye Won  (41)
  19. Okach, Linda  (30)
  20. Duan, Lian  (28)
  21. Institut de Physique Nucléaire d'Orsay ( IPNO ) ; Université Paris-Sud - Paris 11 ( UP11 ) -Institut National de Physique Nucléaire et de Physique des Particules du CNRS ( IN2P3 ) -Centre National de la Recherche Scientifique ( CNRS )  (5)
  22. Endres , Matthias  (4)
  23. Laboratoire Leprince-Ringuet ( LLR ) ; Institut National de Physique Nucléaire et de Physique des Particules du CNRS ( IN2P3 ) -École polytechnique ( X ) -Centre National de la Recherche Scientifique ( CNRS )  (4)
  24. Sreeramareddy , Chandrashekhar T  (3)
  25. Bohensky , Megan A  (3)
  26. Forouzanfar , Mohammad H  (3)
  27. Montico , Marcella  (3)
  28. Badawi , Alaa  (3)
  29. Husseini , Abdullatif  (3)
  30. Ruhago , George M  (3)
  31. Mayosi , Bongani M  (3)
  32. Te Ao , Braden J  (3)
  33. Institut Jacques Monod ( IJM ) ; Université Paris Diderot - Paris 7 ( UPD7 ) -Centre National de la Recherche Scientifique ( CNRS )  (3)
  34. Satpathy , Maheswar  (3)
  35. Lawrence Berkeley National Laboratory [Berkeley] ( LBNL )  (3)
  36. Gibney , Katherine B  (3)
  37. Chadha , Vineet K  (3)
  38. Sindi , Shireen  (3)
  39. Uzun , Selen B  (3)
  40. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1966  (54)
  2. 1966 à 1978  (43)
  3. 1979 à 1991  (77)
  4. 1992 à 2005  (249)
  5. Après 2005  (249)
  6. Plus d’options open sub menu

Langue 

  1. Anglais  (634)
  2. Chinois  (1)
  3. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Mitchell, John C.
  2. Wilson, Ian A.
  3. Deacon, Ashley M.
  4. Wooley, John
  5. Godzik, Adam

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

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré