A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
Saltar ao contenido
VuFind
A sua conta
Saír
Ingreso de sesión Institucional
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Todos os campos
Autor
Título
Título de Revista
Assunto
ISBN/ISSN
Tag
Buscar
Avanzado
Reset Filters
Assunto:
Computer logic
Reset Filters
Show filters (1)
Assunto:
Computer logic
Resultados de procura
A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
, tempo de consulta: 0.17s
Limitar resultados
Resultados por páxina
10
20
40
60
80
100
Ordenar
Relevancia
Data Descendente
Data Ascendente
Autor
Título
Lista
Cuadrícula
1
Cargando...
Computer Aided Verification
Publicado en
Lecture Notes in Computer Science
(2018)
Ligazón do recurso
Livro
Engadir a favoritos
Gardado en:
2
Cargando...
Computer Aided Verification
Publicado en
Lecture Notes in Computer Science
(2018)
Ligazón do recurso
Livro
Engadir a favoritos
Gardado en:
3
Cargando...
Computer Aided Verification
Publicado en
Lecture Notes in Computer Science
(2019)
Ligazón do recurso
Livro
Engadir a favoritos
Gardado en:
4
Cargando...
Tools and Algorithms for the Construction and Analysis of Systems
Publicado en
Lecture Notes in Computer Science
(2019)
Ligazón do recurso
Livro
Engadir a favoritos
Gardado en:
5
Cargando...
Tools and Algorithms for the Construction and Analysis of Systems
Publicado en
Lecture Notes in Computer Science
(2019)
Ligazón do recurso
Livro
Engadir a favoritos
Gardado en:
6
Cargando...
Tools and Algorithms for the Construction and Analysis of Systems
Publicado en
Lecture Notes in Computer Science
(2019)
Ligazón do recurso
Livro
Engadir a favoritos
Gardado en:
Ferramentas de procura:
RSS
—
Enviar por correo electrónico esta procura
—
Gardar procuras
Atrás
Resultados Agrupados
Institución
DOAB
6
[Excluír]
Colección
Directory of Open Access Books
6
[Excluír]
Formato
Livro
6
[Excluír]
Autor
Chockler, Hana
2
[Excluír]
Vojnar, Tomáš
2
[Excluír]
Weissenbacher, Georg
2
[Excluír]
Zhang, Lijun
2
[Excluír]
Beyer, Dirk
1
[Excluír]
Dillig, Isil
1
[Excluír]
Máis ...
Huisman, Marieke
1
[Excluír]
Kordon, Fabrice
1
[Excluír]
Steffen, Bernhard
1
[Excluír]
Tasiran, Serdar
1
[Excluír]
ver todos ...
menos ...
Assunto
Computer logic
Computer science
6
[Excluír]
Mathematical logic
6
[Excluír]
Software engineering
6
[Excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
6
[Excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
6
[Excluír]
Máis ...
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
6
[Excluír]
Artificial intelligence
5
[Excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
5
[Excluír]
Algorithms
3
[Excluír]
Computer simulation
3
[Excluír]
Computer system failures
3
[Excluír]
Computers
3
[Excluír]
thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
3
[Excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
[Excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
[Excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
3
[Excluír]
Logic design
1
[Excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
1
[Excluír]
ver todos ...
menos ...
Idioma
Inglês
6
[Excluír]
Ano de Publicación
De:
a:
Ano de Publicación
Limpar
×
Cargando...