Resultados de 1 a 10 de 42 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
L'espace théâtral immersif: entre intégration, immersion et indistinctionBouko, Catherine Toudoire-Surlapierre, Frédérique ; Fix, FlorenceEditions universitaires de Dijon 2014Texto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
La citation postdramatique du Roi Lear et de La Tempête de William Shakespeare: vers un modèle de la citation intersémiotiqueBouko, Catherine Toudoire-Surlapierre, Frédérique ; Fix, FlorenceEditions universitaires de Dijon 2010Texto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Reconstruction of the Lower ExtremityFix, R. Jobe, MD ; Heinz, Tad R., MD, FACS Weinzweig, Jeffrey, MD, FACSPlastic Surgery Secrets Plus, 2010, p.610-615Texto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageArmoni, Roy ; Fix, Limor ; Flaisher, Alon ; Gerth, Rob ; Ginsburg, Boris ; Kanza, Tomer ; Landver, Avner ; Mador-Haim, Sela ; Singerman, Eli ; Tiemeyer, Andreas ; Vardi, MosheY ; Zbar, YaelLecture notes in computer science, 2002, p.296-311 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
Enhanced Vacuity Detection in Linear Temporal LogicArmoni, Roy ; Fix, Limor ; Flaisher, Alon ; Grumberg, Orna ; Piterman, Nir ; Tiemeyer, Andreas ; Vardi, Moshe Y.Computer Aided Verification, 2003, p.368-380 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Photon Converters for PhotovoltaicsGinley, David ; Fix, ThomasAdvanced Micro- and Nanomaterials for Photovoltaics, 2019United States: ElsevierTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
Prioritized Traversal: Efficient Reachability Analysis for Verification and FalsificationFraer, Ranan ; Kamhi, Gila ; Ziv, Barukh ; Vardi, Moshe Y. ; Fix, LimorComputer Aided Verification, 2000, p.389-402 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Biographie des autricesPonzetto, Valentina ; Fix, FlorenceFemmes de Spectacle Au XIXe Siècle, 2022, Vol.42Belgium: P.I.E. - Peter Lang SA Éditions Scientifiques InternationalesTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Series InformationPonzetto, Valentina ; Fix, FlorenceFemmes de Spectacle Au XIXe Siècle, 2022, Vol.42Belgium: P.I.E. - Peter Lang SA Éditions Scientifiques InternationalesTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
IllustrationsPonzetto, Valentina ; Fix, FlorenceFemmes de Spectacle Au XIXe Siècle, 2022, Vol.42Belgium: P.I.E. - Peter Lang SA Éditions Scientifiques InternationalesTexto completo disponível |
Resultados de 1 a 10 de 42 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Theater (11)
- Histoire (11)
- Littérature Française (11)
- Littérature (11)
- Théâtre (11)
- Applied Sciences (3)
- Exact Sciences And Technology (3)
- Science & Technology (3)
- Computer Science; Control Theory; Systems (3)
- Linear Temporal Logic (2)
- Computer Science (2)
- Performing Arts (2)
- Computer Science, Theory & Methods (2)
- Model Check (2)
- Temporal Logic (2)
- Theoretical Computing (2)
- Technology (2)
- Abdominal Flap (1)
- Anterior Rectus Sheath (1)
- Abdominal Skin (1)
-
Mais opções
Data de Publicação
- Antes de2000 (2)
- 2000Até2002 (2)
- 2003Até2009 (2)
- 2010Até2016 (26)
- Após 2016 (10)
-
Mais opções
Base de Dados/Biblioteca
- DOAB: Directory of Open Access Books (32)
- OAPEN (9)
- Lecture Notes in Computer Science Archive (through to 1996) (3)
- ScienceDirect eBooks (3)
- SpringerLINK Lecture Notes in Computer Science (2015) (3)
- Elsevier ScienceDirect eBook - All Access Books (2)
- Science Citation Index Expanded (Web of Science) (2)
- Ghent University Academic Bibliography (2)
- Springer Books (2)
- Springer Nature - Springer Medicine eBooks 2005 English International (1)
- Springer Books Online Archive (1)
-
Mais opções
Idioma
- Francês (34)
- Inglês (8)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 