Mostra
1 - 1
risultati di
1
ricerca '
'
Salta al contenuto
UPFind
0
elementi
(Pieno)
Lingua
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
हिंदी
Tutti i Campi
Titolo
Autore
Soggetto
Collocazione
ISBN/ISSN
Cerca
Avanzata
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
AND
Logic design
AND
Computer science
AUTHOR:
Abdulla, Parosh Azi
Mostra i filtri (5)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
AND
Logic design
AND
Computer science
AUTHOR:
Abdulla, Parosh Azi
Risultati della ricerca
Mostra
1 - 1
risultati di
1
ricerca '
'
, tempo di risposta: 0,01s
Raffina i risultati
Ordina
Rilevanza
Newest to Oldest
Oldest to Newest
Autore
Titolo
Seleziona la pagina | con i selezionati:
Email
Esporta
Stampa
Aggiungi al carrello
Seleziona il risultato numero 1
1
Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice o...
Pubblicazione 2011
Collocazione:
Caricamento...
Localizzazione:
Caricamento...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Aggiungi al carrello
Rimuovi dal carrello
Seleziona la pagina | con i selezionati:
Email
Esporta
Stampa
Aggiungi al carrello
Strumenti per la ricerca:
Feed RSS
—
Invia questa ricerca per email
Indietro
Restringi la ricerca
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
1
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
Da:
A:
SUBJECT
Artificial intelligence
Artificial intelligence (incl. Robotics)
1
Computer communication networks
1
Computer science
Electronic books
1
Logic design
Logics and meanings of programs
1
Programming languages, compilers, interpreters
1
Programming techniques
1
Software engineering
1
vedi tutto ...
AUTHOR
Abdulla, Parosh Azi
Leino, K. Rustan M.
1
SpringerLink (Online service
1
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Caricamento...