m

Documents  93C60 | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 168 p.

Localisation : Fonds Russe réserve

opération non linéaire # système linéaire # méthode analytique # analyse numérique des systèmes avec des opérations algébriques # évolution des erreurs

47Hxx ; 47H15 ; 47G05 ; 49BXX ; 49GXX ; 93D15 ; 93B50 ; 93B28 ; 93C40 ; 93B25 ; 93C60 ; 93A20 ; 93-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 270 p.
ISBN 978-0-691-03436-2

Princeton series in computer science

Localisation : Ouvrage RdC (KURS)

COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction de la vérification # réduction homomorphique # structure algébrique # système de commande # système de vérification # temps continue # temps discret # théorème d'induction algorithmique # vérification assisté par ordinateur COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction ...

06Exx ; 68Q68 ; 68U07 ; 93Bxx ; 93C60

... Lire [+]

Z