Results
2781.
2782.
2783.
2784.
2785.
2786.
2787.
2788.
2789.
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.
2790.
2791.
2792.
2793.
2794.
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.
2795.
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.
2796.
2797.
2798.
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.
2799.
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.
2800.