Resultados de 11 a 20 de 506 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
- Recursos Online (492)
- Revistas revisadas por pares (174)
- Disponível na Biblioteca (15)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
Computer-Aided ReasoningMichael Kaufmann, Matt Manolios, Panagiotis Hinchey Panagiotis Manolios; J. Strother MooreSpringer US 2000Acesso online |
| 12 |
Material Type: Livro
|
|
ZUM'95 the Z formal specification notationInternational Conference of Z Users, 9 1995 Limerick Jonathan P Bowen; Michael G HincheyGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag 1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.967 )(Acessar) |
| 13 |
Material Type: Livro
|
|
Innovative Concepts for Agent-Based SystemsInternational Workshop on Radical Agent Concepts Michael Gerard Hinchey; Chris Rouff; Walt Truszkowski; Mike HincheySpringer Berlin Heidelberg 2003Acesso online |
| 14 |
Material Type: Livro
|
|
Industrial-Strength Formal Methods in PracticeS. A. Hinchey, Michael G. Bowen, Jonathan P. Schuman Jonathan P Bowen; Michael G HincheySpringer London 1999Acesso online |
| 15 |
Material Type: Livro
|
|
Applications of formal methodsMichael G Hinchey 1969- (Michael Gerard); J. P Bowen 1956- (Jonathan Peter)London Prentice Hall New York 1995Localização: IME - Inst. Matemática e Estatística (QA754.C3 H659a )(Acessar) |
| 16 |
Material Type: Livro
|
|
Zum 95 the z formal specification notation : 9th international conference of z users, limerick, ireland, september 7-9, 1995, proceedingsInternational Conference of Z Users (9. 1995 Limerick, Ie) Jonathan P Bowen; Michael G HincheyBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.967 e.1 ) e outros locais(Acessar) |
| 17 |
Material Type: Livro
|
|
Formal Approaches to Agent-Based SystemsFAABS 2002 Michael Gerard Hinchey; Diana Gordon-Spears; James L Rash; Christopher Rouff; Walter F TruszkowskiSpringer Berlin Heidelberg 2003Acesso online |
| 18 |
Material Type: Livro
|
|
Formal Approaches to Agent-Based SystemsFAABS 2000 James L Rash; Diana Gordon; Michael G Hinchey; Christopher A Rouff; Walter TruszkowskiSpringer Berlin Heidelberg 2001Acesso online |
| 19 |
Material Type: Livro
|
|
ZUM'98 the Z formal specification notationInternational Conference of Z Users, ZUM'98, 11 1998 Berlin Jonathan P Bowen; Andreas Fett; Michael G HincheyGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1493 )(Acessar) |
| 20 |
Material Type: Livro
|
|
ZUM'97 the Z formal specification notationInternational Conference of Z Users, ZUM'97, 10 1997 Reading Jonathan P Bowen; Michael G Hinchey; David TillGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1212 )(Acessar) |
Resultados de 11 a 20 de 506 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
- Recursos Online (492)
- Revistas revisadas por pares (174)
- Disponível na Biblioteca (15)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (278)
- Artigos (163)
- Livros (29)
- Book Chapters (27)
- Outros (4)
- Reports (2)
- magazinearticle (2)
- Resenhas (1)
-
Mais opções
Assunto
- Science & Technology (365)
- Technology (282)
- Computer Science (265)
- Computer Science, Software Engineering (176)
- Engineering (171)
- Engineering, Electrical & Electronic (132)
- Computer Science, Theory & Methods (91)
- Software Engineering (83)
- Software (81)
- Computer Science, Hardware & Architecture (64)
- Life Sciences & Biomedicine (61)
- Humans (60)
- Telecommunications (45)
- Computer Science, Artificial Intelligence (41)
- Exact Sciences And Technology (36)
- Applied Sciences (34)
- Computer Science, Information Systems (32)
- Nasa (30)
- Physical Sciences (29)
- Computer Science; Control Theory; Systems (28)
- Ciência Da Computação (7)
- Engenharia De Software (4)
- Arquitetura E Organização De Computadores (4)
- Especificação De Sistemas E Programas (Congressos) (3)
- Engenharia De Programas (3)
- Intelligent Agents (Computer Software) (2)
- Inteligência Artificial (2)
- Sistemas Distribuídos (Congressos) (2)
- Sistemas Multiagentes (Congressos) (2)
- Inteligência Artificial (Congressos) (2)
- Softwares (2)
- Z (Computer Program Language) (2)
- Intelligent Control Systems (1)
- G Enie Logiciel (1)
- Commande Intelligente (1)
- Greenbelt (Md., 2004) (1)
- Computer Software (1)
- Programming Languages (Electronic Computers) (1)
- Computer Software (1)
- M Ethode Formelle (1)
-
Mais opções
Autor/Criador
- Hinchey, M (28)
- Bowen, J (12)
- International Conference of Z Users (7)
- Truszkowski, W (6)
- Rouff, C (6)
- Rash, J (4)
- Costa, L (4)
- Till, D (3)
- International Workshop on Radical Agent Concepts (3)
- Fett, A (3)
- Tinós, R (2)
- FAABS 2002 (2)
- Nakagawa, E (2)
- Oliveira, M (2)
- International Conference of Z Users, Z (2)
- Hutchison, D (1)
- Gordon-Spears, D (1)
- FAABS 2004 (1)
- Moore, J (1)
- Bowen (1)
-
Mais opções
Data de Publicação
- Antes de1985 (18)
- 1985Até1995 (41)
- 1996Até2004 (115)
- 2005Até2014 (173)
- Após 2014 (167)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (211)
- Science Citation Index Expanded (Web of Science) (122)
- Elsevier ScienceDirect Journals (62)
- EZB Free E-Journals (50)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (47)
- Springer Books (45)
- IngentaConnect Journals (44)
- Springer Nature - Springer Computer Science eBooks 2015 English International (34)
- Single Journals (28)
- ANTE: Abstracts in New Technology & Engineering (27)
- Gale Academic OneFile Select (25)
- ClinicalKey (25)
- IEEE Electronic Library (IEL) Journals (24)
- MEDLINE Complete (22)
- PubMed Central (19)
- HighWire Press (Free Journals) (13)
- SpringerLINK Lecture Notes in Computer Science (2015) (13)
- Lecture Notes in Computer Science Archive (through to 1996) (13)
- HEAL-Link subscriptions: Lippincott Williams & Wilkins (13)
- EBSCOhost Academic Search Premier (13)
-
Mais opções
Idioma
- Japonês (20)
- Francês (4)
- Alemão (1)
-
Mais opções
Nome da Publicação
- Computer (18)
- Journal Of Sound And Vibration (9)
- Stroke (6)
- Precambrian Research (5)
- Journal Of Neurosurgery (4)
- Canadian Journal Of Earth Sciences (4)
- Ocean Engineering (4)
- Lecture Notes in Computer Science (3)
- Journal Of Shellfish Research (3)
- Lithos (3)
- Canadian Journal Of Surgery (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 