Mostrar
1 - 20
resultats de
35
per cerca '
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
'
Anar al contingut
VuFind
El teu compte
Tancar la sessió
Autenticació 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
हिंदी
Tots els camps
Autor
Títol
Títol de la revista
Matèria
ISBN/ISSN
Etiqueta
Trobar
Avançada
Resultats de la cerca - Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Alternatives de cerca
:
notes »
noted
(Ampliar cerca)
Mostrar
1 - 20
resultats de
35
per cerca '
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
'
, hora de la petició: 0.52sec
Refinar resultats
Resultats per pàgina
10
20
40
60
80
100
Ordenar
Rellevància
Data Descendent
Data Ascendent
Autor
Títol
Llistat
Quadrícula
Carregant...
Transactions on
computational
science
XIV special
issue
on voronoi diagrams and delaunay triangulation /
Obtenir text complet
Carregant...
Foundations of Software
Science
and
Computation
Structures
Obtenir text complet
Carregant...
Foundations of Software
Science
and
Computation
Structures
Obtenir text complet
Carregant...
Reversible
Computation
: Extending Horizons of
Computing
Obtenir text complet
Carregant...
Computer
Aided Verification
Obtenir text complet
Carregant...
Brain-Inspired
Computing
Obtenir text complet
Carregant...
Software for Exascale
Computing
- SPPEXA 2016-2019
Obtenir text complet
Carregant...
Computer
Aided Verification
Obtenir text complet
Carregant...
Computer
Aided Verification
Obtenir text complet
Carregant...
Computer
Aided Verification
Obtenir text complet
Carregant...
Computer
science
logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
Obtenir text complet
Carregant...
Theoretical
aspects of
computing
-- ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
Obtenir text complet
Carregant...
Computational
geometry XIV Spanish Meeting on
Computational
Geometry, EGC 2011, Dedicated to Ferran...
Obtenir text complet
Carregant...
Computing
and combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, proceedings /
Obtenir text complet
Carregant...
Evolutionary
computation
in combinatorial optimization 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
Obtenir text complet
Carregant...
Tools and Algorithms for the Construction and Analysis of Systems
Obtenir text complet
Carregant...
Information visualization human-centered
issues
and perspectives /
Obtenir text complet
Carregant...
Programming Languages and Systems
Obtenir text complet
Carregant...
Tools and Algorithms for the Construction and Analysis of Systems
Obtenir text complet
Carregant...
Tools and Algorithms for the Construction and Analysis of Systems
Obtenir text complet
1
2
Següent
[2]
Eines de cerca:
Obtenir subscripció RSS
—
Enviar per correu electrònic aquesta cerca
—
Guardar cerca
Back
Afineu la vostra cerca
Institution
DOAB
18
[excloure]
UFRJ
17
[excloure]
Col·lecció
Directory of Open Access Books
18
[excloure]
Minerva
17
[excloure]
Format
Livro
35
[excloure]
Autor
Biere, Armin
2
[excloure]
Groote, Jan Friso
2
[excloure]
Lahiri, Shuvendu K.
2
[excloure]
Larsen, Kim Guldstrand
2
[excloure]
Leino, K. Rustan M.
2
[excloure]
Parker, David
2
[excloure]
més ...
Silva, Alexandra
2
[excloure]
Wang, Chao
2
[excloure]
AINTEC 2005 (Conferência)
1
[excloure]
Abran, Alain,
1
[excloure]
Amunts, Katrin
1
[excloure]
Bungartz, Hans-Joachim
1
[excloure]
COCOON (Conferência)
1
[excloure]
Cabot, Jordi
1
[excloure]
Central European Functional Programming School
1
[excloure]
Cho, Kenjiro
1
[excloure]
EvoCOP 2011 (Conferência)
1
[excloure]
Ferreira, Carla
1
[excloure]
Gavrilova, Marina L.
1
[excloure]
Goubault-Larrecq, Jean
1
[excloure]
Grandinetti, Lucio
1
[excloure]
Gudmundsson, Joachim
1
[excloure]
Guerra, Esther
1
[excloure]
Hao, J.-K.
1
[excloure]
Hong, Hoon
1
[excloure]
Horváth, Zoltán
1
[excloure]
ICTAC 2009
1
[excloure]
International Conference on Formal Concept Analysis
1
[excloure]
International Workshop
1
[excloure]
International Workshop on Automated Deduction in Geometry
1
[excloure]
veure tots ...
menys ...
Matèria
embedded systems
12
[excloure]
formal logic
11
[excloure]
software architecture
11
[excloure]
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
11
[excloure]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
11
[excloure]
Computer networking & communications
10
[excloure]
més ...
model checking
10
[excloure]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
10
[excloure]
Mathematical theory of computation
9
[excloure]
artificial intelligence
9
[excloure]
distributed computer systems
9
[excloure]
software design
9
[excloure]
Algorithms & data structures
8
[excloure]
Computer Systems Organization and Communication Networks
8
[excloure]
Computer science
8
[excloure]
Software Engineering
8
[excloure]
Theory of Computation
8
[excloure]
linguistics
8
[excloure]
software engineering
8
[excloure]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
8
[excloure]
thema EDItEUR::U Computing and Information Technology::UY Computer science
8
[excloure]
Control Structures and Microprogramming
7
[excloure]
automata theory
7
[excloure]
computer programming
7
[excloure]
mathematics
7
[excloure]
open access
7
[excloure]
parallel processing systems
7
[excloure]
Computer Engineering and Networks
6
[excloure]
computer networks
6
[excloure]
computer systems
6
[excloure]
veure tots ...
menys ...
Idioma
Inglês
35
[excloure]
Any de publicació
Des de:
A:
Any de publicació
Netejar
×
Carregant...