Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)
by Manuel Carro,Ricardo Peña
ISBN 13: 9783642115028
Format: Illustrated (297 pages) Publisher: Springer Published: 12 Jan 2010
Save for later
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
by Christopher A. Rouff,Michael G. Hinchey,James Rash,Walter Truszkowski,Diana Gordon-Spears
ISBN 13: 9781852339470
Format: Hardcover (360 pages) Publisher: Springer Published: 26 Oct 2005
Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Lecture Notes in ... / Programming and Software Engineering)
by
ISBN 13: 9783642049842
Format: Paperback (353 pages) Publisher: Springer Published: 15 Oct 2009
Computer Systems and Software Engineering: State-of-the-Art
ISBN 13: 9780792317180
Format: Hardcover (436 pages) Publisher: Springer Published: 30 Apr 1992
Interactive Theorem Proving in Software Engineering
by Florian Kammuller
ISBN 13: 9783836457699
Format: Paperback (120 pages) Publisher: VDM Verlag Dr. Mueller e.K. Published: 22 Jul 2008
Categories for Software Engineering
by Jose Luiz Fiadeiro
ISBN 13: 9783540209096
Format: Hardcover (250 pages) Publisher: Springer Published: 18 Oct 2004
Collaborative Software Engineering
by N/A
ISBN 13: 9783642102936
Format: Hardcover (470 pages) Publisher: Springer Published: 11 Mar 2010
Modeling in Event-B: System and Software Engineering
ISBN 13: 9780521895569
Format: Hardcover (612 pages) Publisher: Cambridge University Press Published: 13 May 2010
Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization
ISBN 13: 9781605667317
Format: Hardcover (592 pages) Publisher: Engineering Science Reference Published: 15 Sep 2009
Requirements Engineering: From System Goals to UML Models to Software Specifications
by Axel van Lamsweerde
ISBN 13: 9780470012703
Format: Paperback (712 pages) Publisher: John Wiley & Sons Published: 09 Jan 2009
Artificial Intelligence and Software Engineering: Understanding the Promise of the Future
by Derek Partridge
ISBN 13: 9781579580629
Format: Hardcover (375 pages) Publisher: Routledge Published: 01 Jan 1998
Guide to Advanced Empirical Software Engineering
ISBN 13: 9781848000438
Format: Hardcover (388 pages) Publisher: Springer Published: 25 Oct 2007