Showing 4,801 - 4,820 results of 7,608 for search '"software engineering"', query time: 0.11s Refine Results
  1. 4801
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    by Touili, Tayssir
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  2. 4802
    Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
    by Wieringa, Roel
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  3. 4803
    Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
    by Calude, Cristian S
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  4. 4804
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  5. 4805
    Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
    by Ando, Noriaki
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  6. 4806
    Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
    by Tempesti, Gianluca
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  7. 4807
    Intentional Perspectives on Information Systems Engineering
    by Nurcan, Selmin
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  8. 4808
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    by Dix, JΓΌrgen
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  9. 4809
    Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
    by Qin, Shengchao
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  10. 4810
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    by KuΔera, AntonΓ­n
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  11. 4811
    Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
    by Butterfield, Andrew
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  12. 4812
    Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
    by Fraser, Gordon
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  13. 4813
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    by Barringer, Howard
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  14. 4814
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    by FermΓΌller, Christian G
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  15. 4815
    Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
    by Schoitsch, Erwin
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  16. 4816
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    by Leavens, Gary T
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  17. 4817
    High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
    by Zhang, Wu
    Published 2010
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  18. 4818
    Software Process Modeling
    by Acuna, Silvia T.
    Published 2005
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  19. 4819
    Interoperability of Enterprise Software and Applications
    by Konstantas, Dimitri
    Published 2006
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  20. 4820
    Computer Science and Information Systems
    Published 2010
    Subjects: “…software engineering…”
    Get full text
    journal
Search Tools: RSS Feed – Email Search