„Seattle“

Suchergebnisse

1.284 Treffer

• Cooperative Design, Visualization, and Engineering – 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings
  Luo, Yuhua 2014 Springer International Publishing
• Theory, Practice, and Applications of Rules on the Web – 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
  Morgenstern, Leora ; Stefaneas, Petros ; Lévy, François ; Wyner, Adam ; Paschke, Adrian 2013 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings
  Davies, Jim 2004 Springer Berlin Heidelberg
• Mobile Computing, Applications, and Services – 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012. Revised Selected Papers
  Uhler, David ; Mehta, Khanjan 2013 Springer Berlin Heidelberg
• Enabling Real-Time Business Intelligence – 5th International Workshop, BIRTE 2011, Held at the 37th International Conference on Very Large Databases, VLDB 2011, Seattle, WA, USA, September 2, 2011, Revised Selected Papers
  Castellanos, Malu ; Dayal, Umeshwar ; Lehner, Wolfgang 2012 Springer Berlin Heidelberg
• Topics in Performance Evaluation, Measurement and Characterization – Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
  Nambiar, Raghunath ; Poess, Meikel 2012 Springer Berlin Heidelberg
• Proceedings of the First Seattle Symposium in Biostatistics – Survival Analysis
  Lin, Danyu 1997 Springer US
• Molecular Aspects of Membrane Phenomena – International Symposium held at the Battelle Seattle Research Center, Seattle, WA, USA, November 4–6, 1974
  Kaback, H. R. 1975 Springer Berlin Heidelberg
• Secure Data Management – 8th VLDB Workshop, SDM 2011, Seattle, WA, USA, September 2, 2011, Proceedings
  Jonker, Willem ; Petković, Milan 2011 Springer Berlin Heidelberg
• Learning classifier systems – 10th international workshop, IWLCS 2006, Seattle, WA, USA, July 8, 2006 and 11th international workshop, IWLCS 2007, London, UK, July 8, 2007 ; revised selected papers
  Bacardit, Jaume 2008 Springer
• Formal approaches to software testing and runtime verification – revised selected papers
  Havelund, Klaus 2006 Springer
• Job scheduling strategies for parallel processing – 9th international workshop ; revised paper
  Feitelson, Dror G. 2003 Springer
• Advances in Web mining and Web usage analysis – revised selected papers
  Mobasher, Bamshad 2006 Springer
• Automated reasoning – third international joint conference ; proceedings
  Furbach, Ulrich 2006 Springer
• Term rewriting and applications – 17th international conference ; proceedings
  Pfenning, Frank 2006 Springer
• Theory and applications of satisfiability testing – 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings
  Biere, Armin 2006 Springer
• Logic programming – 22nd international conference ; proceedings
  Etalle, Sandro 2006 Springer
• Computer aided verification – 18th international conference ; proceedings
  Ball, Thomas 2006 Springer
• Recent advances in intrusion detection – 8th international symposium ; revised papers
  Valdes, Alfonso 2006 Springer
• Ubiquitous computing – 5th international conference ; proceedings
  Dey, Anind K. 2003 Springer