Results
1981.
1982.
1983.
Relations and kleene algebra in computer science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller. by Series: Lecture notes in computer science ; 5827
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
Other title:
Relational methods in computer science.
Applications of Kleene algebra.
Kleene algebra.
Relmics 2009.
AKA 2009.
In:
Springer eBooks
Availability: No items available.
1984.
1985.
1986.
1987.
1988.
Rule interchange and applications [electronic resource] : international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / edited by Guido Governatori, John Hall, Adrian Paschke. by Series: Lecture notes in computer science ; 5858
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
1989.
Testing of software and communication systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / edited by Manuel Nunez, Paul Baker, Mercedes G. Merayo. by Series: Lecture notes in computer science ; 5826
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
1990.
1991.
1992.
On the move to meaningful Internet systems - OTM 2009 [electronic resource] : Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009 : proceedings. Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Series: Lecture notes in computer science ; 5870
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
1993.
On the move to meaningful Internet systems - OTM 2009 [electronic resource] : Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009 : proceedings. Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Series: Lecture notes in computer science ; 5871
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
1994.
1995.
1996.
On the move to meaningful Internet systems [electronic resource] : OTM 2009 workshops : Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009, Vilamoura, Portugal, November 1-6, 2009 : proceedings / edited by Robert Meersman, Pilar Herrero, Tharam Dillon. by Series: Lecture notes in computer science ; 5872
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
1997.
1998.
Selected Areas in Cryptography [electronic resource] : 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / edited by Michael J. Jacobson, Vincent Rijmen, Reihaneh Safavi-Naini. by Series: Lecture notes in computer science ; 5867
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
1999.
2000.
Protecting persons while protecting the people [electronic resource] : second annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008 : revised selected papers / edited by Cecilia S. Gal, Paul B. Kantor, Michael E. Lesk. by Series: Lecture notes in computer science ; 5661
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
