9 Resultados 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:
Nome da Publicação:
Lecture Notes in Computer Science
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
UML'99-the unified modeling language beyond the standardInternational Conference UML'99 Beyond the Standard, 2 1999 Fort Collins Robert France; Bernhard RumpeGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1723 )(Acessar) |
| 2 |
Material Type: Artigo
|
|
Dynamic Logic for JavaBeckert, Bernhard ; Klebanov, Vladimir ; Weiß, BenjaminDeductive Software Verification – The KeY Book, 2016-12, p.49-106 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Formal Verification with KeY: A TutorialBeckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.Deductive Software Verification – The KeY Book, 2016-12, p.541-570 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Solving Three-Objective Optimization Problems Using Evolutionary Dynamic Weighted Aggregation: Results and AnalysisJin, Yaochu ; Okabe, Tatsuya ; Sendhoff, BernhardGenetic and Evolutionary Computation — GECCO 2003, p.636-637 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Machine Learning for Large-Scale Quality Control of 3D Shape Models in NeuroimagingPetrov, Dmitry ; Gutman, Boris A. ; Yu, Shih-Hua (Julie) ; Alpert, Kathryn ; Zavaliangos-Petropulu, Artemis ; Isaev, Dmitry ; Turner, Jessica A. ; van Erp, Theo G. M. ; Wang, Lei ; Schmaal, Lianne ; Veltman, Dick ; Thompson, Paul M.Machine Learning in Medical Imaging, 2017-01, Vol.10541, p.371-378 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
| 6 |
Material Type: Artigo
|
|
Software Architecture and Software Configuration ManagementWestfechtel, Bernhard ; Conradi, ReidarLecture notes in computer science, 2003, p.24-39 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A Model-Driven Approach to Designing Cross-Enterprise Business ProcessesBauer, Bernhard ; Müller, Jörg P. ; Roser, StephanLecture notes in computer science, 2004, p.544-555 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
The Co-design Approach to WIS Development in E-business and E-learning ApplicationsSchewe, Klaus-Dieter ; Thalheim, BernhardLecture notes in computer science, 2004, p.181-189 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Recognition of Obstacles on Structured 3D BackgroundHuber, Reinhold ; Biber, Jürgen ; Nowak, Christoph ; Spatzek, BernhardComputer Vision Systems, p.111-120 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science (8)
- Computer Science, Theory & Methods (8)
- Science & Technology (8)
- Technology (8)
- Computer Science, Artificial Intelligence (4)
- Computer Science, Software Engineering (3)
- Software (3)
- Applied Sciences (3)
- Exact Sciences And Technology (3)
- Computer Science; Control Theory; Systems (3)
- Computer Science, Information Systems (2)
- Symbolic Execution (2)
- Correct Recognition (1)
- Business Process (1)
- Case Tool (1)
- Architecture Description Language (1)
- Business Process Modeling (1)
- Ciência Da Computação (1)
- Activity Diagram (1)
- Computer Systems And Distributed Systems. User Interface (1)
- Automatic Vehicle Guidance (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de2001 (1)
- 2001Até2002 (1)
- 2003Até2003 (3)
- 2004Até2016 (4)
- Após 2016 (1)
-
Mais opções
Base de Dados/Biblioteca
Nome da Publicação
- Deductive Software Verification – The Key Book (2)
- On The Move To Meaningful Internet Systems 2004: Otm 2004 Workshops (1)
- Machine Learning In Medical Imaging (1)
- Computer Vision Systems (1)
- Computer Vision Systems, Proceedings (1)
- Machine Learning In Medical Imaging. Mlmi (1)
- Genetic And Evolutionary Computation — Gecco 2003 (1)
- On The Move To Meaningful Internet Systems 2004: Otm 2004 Workshops, Proceedings (1)
- Genetic And Evolutionary Computation - Gecco 2003, Pt I, Proceedings (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 