Résultat(s)
41 - 46
résultats de
46
pour la requête '
"Formal methods."
'
Aller au contenu
UPFind
Panier de livres:
0
notices
(Plein)
Langue
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Rechercher
Recherche avancée
Résultats de la recherche - "Formal methods."
Résultat(s)
41 - 46
résultats de
46
pour la requête '
"Formal methods."
'
, Temps de recherche: 0,01s
Affiner les résultats
Trier
Pertinence
Newest to Oldest
Oldest to Newest
Auteur
Titre
Select Page
Courriel
Exporter
Imprimer
Ajouter au panier
Merci de choisir la recherche numéro 41
41
Heuristic-guided counterexample search in FLAVERS.
par
Tan, Jianbin
Publié dans
Software engineering notes.
Cote:
loading...
Localisé:
loading...
Article
loading...
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 42
42
The exterminators [software bugs].
par
Ross, P.E
Publié dans
IEEE spectrum
Cote:
loading...
Localisé:
loading...
Article
loading...
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 43
43
The exterminators [software bugs].
par
Ross, P.E
Publié dans
IEEE spectrum
Cote:
loading...
Localisé:
loading...
Article
loading...
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 44
44
The exterminators [software bugs].
par
Ross, P.E
Publié dans
IEEE spectrum
Cote:
loading...
Localisé:
loading...
Article
loading...
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 45
45
On lazy soundness of robustness diagram with loop and time controls
par
Afable, Mar Elden C.
Cote:
loading...
Localisé:
loading...
Thèse
loading...
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 46
46
A matrix representation for the verification of separability of robustness diagrams with loop and time controls
par
Amancio, Joenne Mied G.
Cote:
loading...
Localisé:
loading...
Thèse
loading...
Ajouter au panier
Retirer du panier
Select Page
Courriel
Exporter
Imprimer
Ajouter au panier
[1]
Précédent
1
2
3
4
5
Outils de recherche:
Envoyer cette recherche par courriel
Retour
Affiner les résultats
La page se rechargera quand un filtre de sélection ou d'exclusion aura été positionné.
CAMPUS
Diliman
31 résultats
31
Tacloban
2 résultats
2
Cebu
1 résultats
1
DATABASE
Union Catalog (Buklod)
46 résultats
46
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
20 résultats
20
College of Engineering Library II
11 résultats
11
UP Tacloban Library
2 résultats
2
Lahug Library
1 résultats
1
YEAR OF PUBLICATION
De:
À:
CLASSIFICATION
Q - Sciences
4 résultats
4
L - Éducation
2 résultats
2
SUBJECT
Formal methods (Computer science)
33 résultats
33
Electronic books
28 résultats
28
Computer software
11 résultats
11
Software engineering
10 résultats
10
Verification
8 résultats
8
Computer hardware description languages
5 résultats
5
Software architecture
5 résultats
5
Artificial intelligence
2 résultats
2
Computer science
2 résultats
2
Distributed processing
2 résultats
2
Electronic data processing
2 résultats
2
Intelligent agents (Computer software)
2 résultats
2
Mathematics
2 résultats
2
Object-oriented methods (Computer science)
2 résultats
2
Reliability
2 résultats
2
System analysis
2 résultats
2
System design
2 résultats
2
Automatic control
1 résultats
1
Computational linguistics
1 résultats
1
Computer Communication Networks
1 résultats
1
Computer logic
1 résultats
1
Computer networks
1 résultats
1
Computer programs
1 résultats
1
Computer security
1 résultats
1
Computer security -- Congresses
1 résultats
1
Computer simulation
1 résultats
1
Computer software -- Development
1 résultats
1
Computer systems
1 résultats
1
Computers
1 résultats
1
Congresses
1 résultats
1
voir tous les …
AUTHOR
SpringerLink (Online service)
25 résultats
25
FDL (Conference) Paris, France)
3 résultats
3
Ross, P.E
3 résultats
3
Dingel, Juergen
2 résultats
2
Dunin-Kȩplicz, Barbara
2 résultats
2
Malinao, Jasmine A.
2 résultats
2
Simao, Adenilso
2 résultats
2
Verbrugge, Rineke
2 résultats
2
Wille, Robert
2 résultats
2
Afable, Mar Elden C.
1 résultats
1
Agha, Gul
1 résultats
1
Alagar, Vangalur S. 1940-
1 résultats
1
Alexander, Michael 1970 Sept. 25-
1 résultats
1
Alur, Rajeev
1 résultats
1
Amancio, Joenne Mied G.
1 résultats
1
Armando, Alessandro
1 résultats
1
Barthe, Gilles
1 résultats
1
Basin, David
1 résultats
1
Beckert, Bernhard
1 résultats
1
Bennett, Simon
1 résultats
1
Bernardo, Marco
1 résultats
1
Bobaru, Mihaela
1 résultats
1
Bravetti, Mario
1 résultats
1
Brazilian Symposium on Formal Methods Natal, Brazil
1 résultats
1
Brazilian Symposium on Formal Methods Sâo Paulo, Brazil
1 résultats
1
Bruni, Roberto
1 résultats
1
Bultan, Tevfik
1 résultats
1
Butler, Michael
1 résultats
1
Coen-Porisini, Alberto
1 résultats
1
DCFS 2011 Limburg, Germany
1 résultats
1
voir tous les …
RESOURCE TYPE
Electronic Resource
29 résultats
29
Article
12 résultats
12
Livre
3 résultats
3
Thèse
2 résultats
2
LANGUAGE
English
46 résultats
46
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman