Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, ... / Programming and Software Engineering)
by
ISBN 13: 9783642225451
Format: Paperback (398 pages) Publisher: Springer Published: 12 Jul 2011
Save for later
Sensor Systems and Software: Second International ICST Conference, S-Cube 2010, Miami, FL, December 13-15, 2010, Revised Selected Papers (Lecture ... and Telecommunications Engineering)
ISBN 13: 9783642235825
Format: Paperback (261 pages) Publisher: Springer Published: 06 Sep 2011
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642220449
Format: Paperback (189 pages) Publisher: Springer Published: 22 Jun 2011
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
ISBN 13: 9783642195822
Format: Paperback (207 pages) Publisher: Springer Published: 17 Mar 2011
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783642244308
Format: Paperback (261 pages) Publisher: Springer Published: 19 Sep 2011
Software Process and Product Measurement: International Conferences I.W.S.M. 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. . . ... 5891 (Lecture Notes in Computer Science)
by Alain Abran
ISBN 13: 9783642054143
Format: Paperback (364 pages) Publisher: Springer Published: 02 Nov 2009
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 2009 ... 27-30, (Lecture Notes in Computer Science)
by Stephen H. Edwards,Gregory Kulczycki
ISBN 13: 9783642042102
Format: Paperback (312 pages) Publisher: Springer Published: 11 Sep 2009
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)
by Marcel Vinícius Medeiros Oliveira, Jim Woodcock
ISBN 13: 9783642104510
Format: Paperback (351 pages) Publisher: Springer Published: 09 Nov 2009
Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers (Lecture Notes in Computer Science)
by Matei Ripeanu
ISBN 13: 9783540938507
Format: Paperback (464 pages) Publisher: Springer Published: 20 Jan 2009
Writing Compilers and Interpreters: A Modern Software Engineering Approach Using Java
by Ronald Mak
ISBN 13: 9780470177075
Format: Illustrated (866 pages) Publisher: John Wiley & Sons Published: 14 Feb 2014
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)
by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
ISBN 13: 9783540211792
Format: Paperback (359 pages) Publisher: Springer Published: 18 Mar 2004
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)
by Karin Breitman
ISBN 13: 9783642103728
Format: Paperback (776 pages) Publisher: Springer Published: 17 Nov 2009