-
1Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers / Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Kučera, Luděk. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
2Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers / Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Kučera, Luděk. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
3Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings / Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Schneier, Bruce. editor., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
4Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings / Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Schneier, Bruce. editor., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
5Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Procee... Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Procee...by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Malenfant, Jacques. editor., Moisan, Sabine. editor., Moreira, Ana. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
6Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Procee... Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Procee...by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Malenfant, Jacques. editor., Moisan, Sabine. editor., Moreira, Ana. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
7Information Security [electronic resource] : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings / Information Security [electronic resource] : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Pieprzyk, Josef. editor., Seberry, Jennifer. editor., Okamoto, Eiji. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
8Information Security [electronic resource] : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings / Information Security [electronic resource] : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Pieprzyk, Josef. editor., Seberry, Jennifer. editor., Okamoto, Eiji. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
9Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Wright, Joakim von. editor., Grundy, Jim. editor., Harrison, John. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
10Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Wright, Joakim von. editor., Grundy, Jim. editor., Harrison, John. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS