Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642049118
Format: Paperback (176 pages) Publisher: Springer Published: 26 Oct 2009
Save for later
Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642049569
Format: Paperback (676 pages) Publisher: Springer Published: 15 Oct 2009
Advances in Ubiquitous User Modelling: Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642050381
Format: Paperback (159 pages) Publisher: Springer Published: 26 Oct 2009
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Gabriele Puppis
ISBN 13: 9783642118807
Format: Paperback (206 pages) Publisher: Springer Published: 18 Feb 2010
Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642130939
Format: Paperback (548 pages) Publisher: Springer Published: 20 May 2010
Artificial Intelligence and Soft Computing, Part I: 10th International Conference, ICAISC 2010, Zakopane, Poland, June13-17, 2010, Part I (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642132070
Format: Paperback (676 pages) Publisher: Springer Published: 01 Jun 2010
Advances in Neural Networks -- ISNN 2010: 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, ... Computer Science and General Issues)
ISBN 13: 9783642133176
Format: Paperback (641 pages) Publisher: Springer Published: 20 May 2010 Other Format: Paperback
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642135613
Format: Paperback (480 pages) Publisher: Springer Published: 20 May 2010
Recent Trends in Networks and Communications: International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010,Chennai, India, July 23-25, 2010. ... in Computer and Information Science)
ISBN 13: 9783642144929
Format: Paperback (725 pages) Publisher: Springer Published: 07 Jul 2010
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Recent Advances in Reinforcement Learning: 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers: 5323 (Lecture Notes in Computer Science)
by Sertan Girgin
ISBN 13: 9783540897217
Format: Paperback (304 pages) Publisher: Springer Published: 01 Dec 2008
Transactions on Computational Systems Biology X: 5410 (Lecture Notes in Computer Science)
by Corrado Priami, Falko Dressler, Ozgur B. Akan, Alioune Ngom
ISBN 13: 9783540922728
Format: Paperback (197 pages) Publisher: Springer Published: 18 Dec 2008