Εμφανίζονται
1 - 4
Αποτελέσματα από
4
Μετάβαση στο περιεχόμενο
UPFind
Χαρτοφύλακας:
0
τεκμήρια
(Γεμάτος χαρτοφύλακας)
Γλώσσα
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
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξινομικός Αριθμός
ISBN/ISSN
Αναζήτηση
Σύνθετη
Αποτελέσματα αναζήτησης - "Fault-tolerant computing Congresses."
Αποτελέσματα αναζήτησης - "Fault-tolerant computing Congresses."
Εμφανίζονται
1 - 4
Αποτελέσματα από
4
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Με σχετικότητα
Με Ημερομηνία (φθιν.)
Newest to Oldest
Oldest to Newest
Με συγγραφέα
Με Τίτλο
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στον χαρτοφύλακα
Επιλογή αποτελέσματος με αριθμό 1
1
Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany,...
Έκδοση 1994
Ταξινομικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
Προσθήκη στον χαρτοφύλακα
Αφαίρεση από τον χαρτοφύλακα
Μεμονωμένη Εγγραφή
Επιλογή αποτελέσματος με αριθμό 2
2
Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
Εκδόθηκε σε
Springer eBooks.
(2011)
Ταξινομικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Available for University of the Philippine Diliman via Springerlink. Click here to access
Electronic Resource
Προσθήκη στον χαρτοφύλακα
Αφαίρεση από τον χαρτοφύλακα
Μεμονωμένη Εγγραφή
Επιλογή αποτελέσματος με αριθμό 3
3
Spectral techniques and fault detection
Έκδοση 1985
Ταξινομικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy
Electronic Resource
Προσθήκη στον χαρτοφύλακα
Αφαίρεση από τον χαρτοφύλακα
Μεμονωμένη Εγγραφή
Επιλογή αποτελέσματος με αριθμό 4
4
NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Έκδοση 2011
Ταξινομικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Προσθήκη στον χαρτοφύλακα
Αφαίρεση από τον χαρτοφύλακα
Μεμονωμένη Εγγραφή
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στον χαρτοφύλακα
Εργαλεία αναζήτησης:
Λήψη RSS
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Η σελίδα θα φορτωθεί εκ νέου όταν επιλεγεί ή αποεπιλεγεί κάποιο φίλτρο.
CAMPUS
Diliman
4 αποτελέσματα
4
DATABASE
Union Catalog (Buklod)
4 αποτελέσματα
4
UNIT LIBRARY
College of Engineering Library II
2 αποτελέσματα
2
Diliman Main Library: Info. Services & Instruction Section
2 αποτελέσματα
2
RESOURCE TYPE
Electronic Resource
3 αποτελέσματα
3
Βιβλίο
1 αποτελέσματα
1
YEAR OF PUBLICATION
από:
έως:
CLASSIFICATION
Q - Επιστήμες
1 αποτελέσματα
1
SUBJECT
Fault-tolerant computing
4 αποτελέσματα
4
Congresses
2 αποτελέσματα
2
Electronic books
2 αποτελέσματα
2
Computer software
1 αποτελέσματα
1
Data processing
1 αποτελέσματα
1
Digital techniques
1 αποτελέσματα
1
Electronic book
1 αποτελέσματα
1
Fault tolerance (Engineering)
1 αποτελέσματα
1
Formal methods (Computer science)
1 αποτελέσματα
1
Logic design
1 αποτελέσματα
1
Real-time data processing
1 αποτελέσματα
1
Signal processing
1 αποτελέσματα
1
Software engineering
1 αποτελέσματα
1
Spectral theory (Mathematics)
1 αποτελέσματα
1
System analysis
1 αποτελέσματα
1
Verification
1 αποτελέσματα
1
Προβολή όλων…
AUTHOR
SpringerLink (Online service)
2 αποτελέσματα
2
Bobaru, Mihaela
1 αποτελέσματα
1
International Symposium Provably Correct Systems - ProCoS (3rd : 1994 : Germany)
1 αποτελέσματα
1
Karpovsky, Mark G.
1 αποτελέσματα
1
Troubitsyna, Elena A.
1 αποτελέσματα
1
LANGUAGE
English
4 αποτελέσματα
4
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman