Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540738169
Format: Paperback (185 pages) Publisher: Springer Published: 27 Jul 2007
Save for later
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540753339
Format: Paperback (339 pages) Publisher: Springer Published: 22 Nov 2007
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues)
ISBN 13: 9783540787686
Format: Paperback (219 pages) Publisher: Springer Published: 18 Mar 2008
Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540687450
Format: Paperback (429 pages) Publisher: Springer Published: 30 May 2008
Neural Networks in a Softcomputing Framework
by Ke-Lin Du,M.N.S. Swamy
ISBN 13: 9781846283024
Format: Hardcover (566 pages) Publisher: Springer Published: 18 Apr 2006
Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers (Lecture Notes in Computer Science)
ISBN 13: 9783642119309
Format: Paperback (204 pages) Publisher: Springer Published: 14 Apr 2010
The Semantic Web - ISWC 2006: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540490296
Format: Paperback (1025 pages) Publisher: Springer Published: 26 Oct 2006
Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition (Lecture Notes in Computer Science / Programming and Software Engineering)
by Ben Liblit
ISBN 13: 9783540718772
Format: Paperback (101 pages) Publisher: Springer Published: 25 Apr 2007
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments: 12th International Conference, HCI International 2007, Beijing, ... / Programming and Software Engineering)
ISBN 13: 9783540731085
Format: Paperback (1038 pages) Publisher: Springer Published: 29 Jun 2007
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
by Daniel Kroening,Ofer Strichman
ISBN 13: 9783540741046
Format: Hardcover (304 pages) Publisher: Springer Published: 23 May 2008
Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540797203
Format: Paperback (765 pages) Publisher: Springer Published: 25 Apr 2008
Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, ... in Information and Communication Technology)
ISBN 13: 9780387245898
Format: Hardcover (212 pages) Publisher: Springer Published: 13 Apr 2005