Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
(
'
Μετάβαση στο περιεχόμενο
Ο λογαριασμός μου
Έξοδος
Ιδρυματικός λογαριασμός
Γλώσσα
English
Te Reo Māori
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
Λέξη-Κλειδί
Μάθημα
Τίτλος
Τίτλος περιοδικού
Συγγραφέας
Θέμα
ISBN/ISSN
Ταξιθετικός Αριθμός
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Ραβδοκώδικας
Σειρά
Περιήγηση αλφαβητικά: ανά Τίτλο
Περιήγηση αλφαβητικά: ανά συγγραφέα
Περιήγηση αλφαβητικά: ανά Θέμα
Περιήγηση αλφαβητικά: By LC Call Number
Περιήγηση αλφαβητικά: By Dewey Call Number
Αναζήτηση
Σύνθετη
Η σελίδα θα φορτωθεί εκ νέου όταν αφαιρεθεί ένα φίλτρο
Φίλτρα που έχουν εφαρμοστεί:
Συγγραφέας:
Αφαίρεση Φίλτρου
SpringerLink (Online service)
Προτεινόμενα θέματα:
Αφαίρεση Φίλτρου
Formal methods (Computer science)
KAI
Αφαίρεση Φίλτρου
Testing
Η σελίδα θα φορτωθεί εκ νέου όταν αφαιρεθεί ένα φίλτρο
Εμφάνιση φίλτρων (3)
Συγγραφέας:
Αφαίρεση Φίλτρου
SpringerLink (Online service)
Προτεινόμενα θέματα:
Αφαίρεση Φίλτρου
Formal methods (Computer science)
KAI
Αφαίρεση Φίλτρου
Testing
UC Library
Αναζήτηση στον κατάλογο της βιβλιοθήκης
Αποτελέσματα αναζήτησης - (
Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
(
'
Περιορισμός αποτελεσμάτων
Αποτελέσματα ανά σελίδα
10
20
40
60
80
100
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
Επιλογή όλων των εγγραφών στη σελίδα
Email
Εξαγωγή
Εκτύπωση
Αποθήκευση
Επιλογή αποτελέσματος με αριθμό 1
1
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
Έκδοση 2005
Βρίσκεται σε
Φορτώνει...
Ταξιθετικός Αριθμός
Φορτώνει...
Connect to electronic resource
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Επιλογή αποτελέσματος με αριθμό 2
2
Formal methods and testing an outcome of the FORTEST network : revised selected papers /
Έκδοση 2008
Βρίσκεται σε
Φορτώνει...
Ταξιθετικός Αριθμός
Φορτώνει...
Connect to electronic resource
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Επιλογή αποτελέσματος με αριθμό 3
3
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
Έκδοση 2006
Βρίσκεται σε
Φορτώνει...
Ταξιθετικός Αριθμός
Φορτώνει...
Connect to electronic resource
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Επιλογή αποτελέσματος με αριθμό 4
4
Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Έκδοση 2007
Βρίσκεται σε
Φορτώνει...
Ταξιθετικός Αριθμός
Φορτώνει...
Connect to electronic resource
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Επιλογή όλων των εγγραφών στη σελίδα
Email
Εξαγωγή
Εκτύπωση
Αποθήκευση
Εργαλεία αναζήτησης:
Λήψη RSS
Αποστολή αναζήτησης με email
Αποθήκευση αναζήτησης
Πίσω
Περιορισμός αποτελεσμάτων
Η σελίδα θα φορτωθεί εκ νέου όταν επιλεγεί ή αποεπιλεγεί κάποιο φίλτρο.
Μορφή
Ηλεκτρονική πηγή
4 αποτελέσματα
4
Πρακτικό Συνεδρίου
3 αποτελέσματα
3
Ηλ. βιβλίο
3 αποτελέσματα
3
Βιβλίο
1 αποτελέσματα
1
Έτος έκδοσης
από:
έως:
Προτεινόμενα θέματα
Computer software
4 αποτελέσματα
4
Formal methods (Computer science)
Testing
Είδος
Congresses
3 αποτελέσματα
3
Γλώσσα
English
4 αποτελέσματα
4
Συγγραφέας
SpringerLink (Online service)
Bowen, J. P. (Jonathan Peter), 1956-
1 αποτελέσματα
1
FATES 2004 Linz, Austria
1 αποτελέσματα
1
FATES 2005 Edinburgh, Scotland
1 αποτελέσματα
1
Grabowski, Jens
1 αποτελέσματα
1
Grieskamp, Wolfgang, 1960-
1 αποτελέσματα
1
Harman, Mark
1 αποτελέσματα
1
Hierons, Robert M.
1 αποτελέσματα
1
Nielsen, Brian, Ph. D.
1 αποτελέσματα
1
RV 2007 Vancouver (B.C.)
1 αποτελέσματα
1
Sokolsky, Oleg
1 αποτελέσματα
1
Taşıran, Serdar
1 αποτελέσματα
1
Weise, Carsten
1 αποτελέσματα
1
Προβολή όλων…
Ταξιθετικός Αριθμός
Q - Επιστήμες
4 αποτελέσματα
4
Φορτώνει...