Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Petri Net AlgebraBest, Eike ; Devillers, Raymond ; Koutny, MaciejBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
2 |
Material Type: Livro
|
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976Samelson, K Samelson, K.Berlin, Heidelberg: Springer Berlin Heidelberg 1976Texto completo disponível |
|
3 |
Material Type: Livro
|
Understanding Understanding: Essays on Cybernetics and CognitionFoerster, Heinz vonNew York, NY: Springer 2003Texto completo disponível |
|
4 |
Material Type: Livro
|
Concept Formation and Knowledge RevisionWrobel, StefanNew York, NY: Springer 1994Texto completo disponível |
|
5 |
Material Type: Livro
|
Exploring Computer Science with SchemeGrillmeyer, OliverNew York, NY: Springer New York 1997Texto completo disponível |
|
6 |
Material Type: Livro
|
Complexity and Real ComputationBlum, Lenore ; Cucker, Felipe ; Shub, Michael ; Smale, SteveNew York, NY: Springer 1997Texto completo disponível |
|
7 |
Material Type: Livro
|
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 ProceedingsGunter, Elsa L ; Felty, Amy Gunter, Elsa L. ; Felty, AmyBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
8 |
Material Type: Livro
|
Computer Security — ESORICS 98: 5th European Symposium on Research in Computer Security Louvain-la-Neuve, Belgium September 16–18, 1998 ProceedingsQuisquater, Jean-Jacques ; Deswarte, Yves ; Meadows, Catherine ; Gollmann, Dieter Deswarte, Yves ; Meadows, Catherine ; Gollmann, Dieter ; Quisquater, Jean-JacquesBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
9 |
Material Type: Livro
|
Uncertainty in Knowledge-Based Systems: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, June 30 – July 4, 1986 Selected and Extended ContributionsBouchon, B ; Yager, R. R Bouchon, B. ; Yager, R. R.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
10 |
Material Type: Livro
|
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 ProceedingsNichols, Howard ; Simpson, Dan Simpson, Dan ; Nichols, HowardBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |