Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
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
हिंदी
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Αναζήτηση
Σύνθετη
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
Εμφάνιση φίλτρων (1)
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Newest to Oldest
Oldest to Newest
Ανά συγγραφέα
Ανά Τίτλο
Επιλογή σελίδας | με τα επιλεγμένα:
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Επιλογή αποτελέσματος με αριθμό 1
1
HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
Έκδοση 2014
Ταξιθετικός Αριθμός:
Φορτώνει......
Βρίσκεται σε:
Φορτώνει......
Βιβλίο
Φορτώνει......
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Επιλογή αποτελέσματος με αριθμό 2
2
HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
Έκδοση 2013
Ταξιθετικός Αριθμός:
Φορτώνει......
Βρίσκεται σε:
Φορτώνει......
Βιβλίο
Φορτώνει......
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Επιλογή αποτελέσματος με αριθμό 3
3
HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει......
Βρίσκεται σε:
Φορτώνει......
Βιβλίο
Φορτώνει......
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Επιλογή σελίδας | με τα επιλεγμένα:
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Εργαλεία αναζήτησης:
Λήψη RSS
—
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αναζήτησης
CAMPUS
Diliman
3
DATABASE
Union Catalog (Buklod)
3
UNIT LIBRARY
College of Engineering Library II
3
YEAR OF PUBLICATION
από:
έως:
CLASSIFICATION
Q - Επιστήμες
3
SUBJECT
Computer software
3
Verification
3
Ada (Computer program language)
2
Reliability
2
AUTHOR
ACM Special Interest Group on Programming Languages
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
Association for Computing Machinery. Special Interest Group on Computers and Society
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3
SIGAPP
3
SIGAda
3
ACM Sigsoft
2
Ada-Europe International Conference on Reliable Software Technologies
1
Προβολή όλων ...
RESOURCE TYPE
Βιβλίο
3
LANGUAGE
English
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Φορτώνει......