A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Catégories
> 68-XX Computer science > 68NXX Software > 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Affiner la rechercheInformation systems / Sernadas, A. Ed.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15820 68B28 imprimé / autre CRDM 68/INFORMATIQUE Disponible 15819 68B28 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Mathematica for physics Type de document : texte imprimé Auteurs : Zimmerman, Robert L. ; Wolfram, Stephen Préf. ; Olness, Fredrick I. Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : xxiii - 436 p. ISBN/ISSN/EAN : 978-0-201-53796-3 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : physics analysis mathematical software Index. décimale : 68C Monographie Mathematica for physics [texte imprimé] / Zimmerman, Robert L. ; Wolfram, Stephen Préf. ; Olness, Fredrick I. . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1995 . - xxiii - 436 p.
ISBN : 978-0-201-53796-3
Langues : Anglais
Catégories : 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : physics analysis mathematical software Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11959 68C257 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Mathematica. T. I : TM pour classes préparatoires et DEUG scientifiques Type de document : texte imprimé Auteurs : Jacqueline Zizi, Auteur Editeur : Berln : Springer Année de publication : 1997 Importance : xviii, 461 p. ISBN/ISSN/EAN : 978-3-540-62736-4 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)Mots-clés : computer algebra computer graphics mathematica mathematical software Index. décimale : 104I Mathematica. T. I : TM pour classes préparatoires et DEUG scientifiques [texte imprimé] / Jacqueline Zizi, Auteur . - Berln : Springer, 1997 . - xviii, 461 p.
ISBN : 978-3-540-62736-4
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)Mots-clés : computer algebra computer graphics mathematica mathematical software Index. décimale : 104I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18913 104I15 imprimé / autre CRDM 104/LICENCE ET MAITRISE Disponible
Titre : Software engineering 3 : domains, requirements, and software design Type de document : texte imprimé Auteurs : Dines Bjørner (1937-....), Auteur Editeur : Springer-Verlag Année de publication : 2006 Collection : Texts in Theoretical Computer Science. An EATCS Series Importance : xxx - 766 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-642-05941-4 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)Mots-clés : software Computer science Index. décimale : 68C Monographie Software engineering 3 : domains, requirements, and software design [texte imprimé] / Dines Bjørner (1937-....), Auteur . - [S.l.] : Springer-Verlag, 2006 . - xxx - 766 p. ; 24 cm. - (Texts in Theoretical Computer Science. An EATCS Series) .
ISBN : 978-3-642-05941-4
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)Mots-clés : software Computer science Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21229 LINA/68C407 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Structures de données et méthodes formelles Type de document : texte imprimé Auteurs : Marc Guyomard, Auteur Editeur : Paris : Springer Année de publication : 2011 Collection : Collection Télécom Importance : xvi - 438 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0199-5 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68-XX Computer science :68PXX Theory of data:68P05 Data structuresMots-clés : sets theory lists queues heaps trees complexity of algorithms Index. décimale : 68C Monographie Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - Paris : Springer, 2011 . - xvi - 438 p. ; 24 cm. - (Collection Télécom) .
ISBN : 978-2-8178-0199-5
Langues : Français
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68-XX Computer science :68PXX Theory of data:68P05 Data structuresMots-clés : sets theory lists queues heaps trees complexity of algorithms Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21222 LINA/68C405 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Permalink
