Results
16361.
16362.
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.
16363.
16364.
16365.
16366.
16367.
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.
16368.
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.
16369.
16370.
16371.
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.
16372.
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.
16373.
16374.
16375.
16376.
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.
16377.
16378.
16379.
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.
16380.
