Results
9581.
9582.
9583.
9584.
9585.
9586.
9587.
9588.
9589.
9590.
9591.
9592.
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.
9593.
9594.
9595.
9596.
9597.
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.
9598.
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.
9599.
9600.