skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Machine Theory remover autor: Hartmanis, Juris remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

Thomas, Wolfgang Thomas, Wolfgang

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
2
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

Bowen, Jonathan P ; Dunne, Steve ; Galloway, Andrew ; King, Steve

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

Citações Citado por
3
Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings

Horváth, Tamas ; Yamamoto, Akihiro Horváth, Tamás ; Yamamoto, Akihiro

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
4
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Comon, Hubert ; Marché, Claude ; Treinen, Ralf van Leeuwen, Jan ; Goos, Gerhard ; Hartmanis, Juris ; Comon, Hubert ; Marché, Claude ; Treinen, Ralf

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
5
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Wright, Joakim von ; Grundy, Jim ; Harrison, John van Leeuwen, Jan ; Harrison, John ; Goos, Gerhard ; Hartmanis, Juris ; von Wright, Joakim ; Grundy, Jim

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
6
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings

Haeberer, Armando M Haeberer, Armando M.

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
7
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-Standard Inferences in Description Logics

Kusters, Ralf Küsters, Ralf

Lecture notes in computer science, 2001, Vol.2100

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.