2 résultat(s) recherche sur le mot-clé 'model checking'

Generalized linear models / McCullagh, P.

Public ISBD Titre : Generalized linear models Type de document : texte imprimé Auteurs : McCullagh, P., Auteur ; Nelder, J.A., Auteur Mention d'édition : 2nd ed. Editeur : Boca Raton, FL : Chapman & Hall/CRC Press Année de publication : 1999 Collection : Monographs on Statistics and Applied Probability num. 37 Importance : xix - 511 p. ISBN/ISSN/EAN : 978-0-412-31760-6 Langues : Anglais Catégories : 62-XX Statistics:62-01 Instructional exposition (textbooks, tutorial papers, etc.) 62-XX Statistics:62-02 Research exposition (monographs, survey articles) 62-XX Statistics:62JXX Linear inference, regression:62J12 Generalized linear models Mots-clés : linear prediction  link function  weights  residuals  Gaussian linear models  aliasing  binary data  polytomous data  loglinear models  gamma distribution  log likelihood functions  asymptotic results  quasi- likelihood function  survival data  nonlinear parameters  model checking Index. décimale : 62C Monographie Generalized linear models [texte imprimé] / McCullagh, P., Auteur ; Nelder, J.A., Auteur  . -  2nd ed. . - Boca Raton, FL : Chapman & Hall/CRC Press, 1999 . - xix - 511 p.. - (Monographs on Statistics and Applied Probability; 37) . ISBN : 978-0-412-31760-6 Langues : Anglais Catégories : 62-XX Statistics:62-01 Instructional exposition (textbooks, tutorial papers, etc.) 62-XX Statistics:62-02 Research exposition (monographs, survey articles) 62-XX Statistics:62JXX Linear inference, regression:62J12 Generalized linear models Mots-clés : linear prediction  link function  weights  residuals  Gaussian linear models  aliasing  binary data  polytomous data  loglinear models  gamma distribution  log likelihood functions  asymptotic results  quasi- likelihood function  survival data  nonlinear parameters  model checking Index. décimale : 62C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17118	62C285	imprimé / autre	CRDM	62/STATISTIQUES	Disponible
20490	62C285	imprimé / autre	CRDM	62/STATISTIQUES	Disponible

Logic in computer science. Modelling and reasoning about systems / Michael Huth

Public ISBD Titre : Logic in computer science. Modelling and reasoning about systems Type de document : texte imprimé Auteurs : Michael Huth, Auteur ; Mark Ryan, Auteur Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2004 Importance : xiv - 427 p. ISBN/ISSN/EAN : 978-0-521-54310-1 Note générale : commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : contract-programming paradigm  program verification  model checking  object modeling  predicate logic  propositional logic  sat solver  natural deduction Index. décimale : 68C Monographie Logic in computer science. Modelling and reasoning about systems [texte imprimé] / Michael Huth, Auteur ; Mark Ryan, Auteur  . -  2nd ed. . - Cambridge : Cambridge University Press, 2004 . - xiv - 427 p. ISBN : 978-0-521-54310-1 commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : contract-programming paradigm  program verification  model checking  object modeling  predicate logic  propositional logic  sat solver  natural deduction Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17769	68C340	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible