-
Languages and Compilers for Parallel Computing – 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Kasahara, Hironori ; Kimura, Keiji 2013 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Dediu, Adrian-Horia ; Martín-Vide, Carlos ; Truthe, Bianca 2013 Springer Berlin Heidelberg
-
System Modeling and Optimization – 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Hömberg, Dietmar ; Tröltzsch, Fredi 2013 Springer US
-
Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer Berlin Heidelberg
-
Software and Data Technologies – 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Cordeiro, José António Moinhos ; Virvou, Maria ; Šiškov, Boris 2013 Springer Berlin Heidelberg
-
Software and Data Technologies – 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Cordeiro, José António Moinhos ; Hammoudi, Slimane ; van Sinderen, Marten 2013 Springer Berlin Heidelberg
-
Modeling Decisions for Artificial Intelligence – 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Torra, Vicenç ; Narukawa, Yasuo ; Lopez, Beatriz ; Villaret, Mateu 2012 Springer Berlin Heidelberg
-
Simulation, Modeling, and Programming for Autonomous Robots – Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Noda, Itsuki ; Ando, Noriako ; Brugali, Davide ; Kuffner, James J. 2012 Springer Berlin Heidelberg
-
Advances in Bioinformatics and Computational Biology – 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Souto, Marcilio C. P. de ; Kann, Maricel G. 2012 Springer Berlin Heidelberg
-
Inductive Logic Programming – 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Furia, Carlo A. ; Nanz, Sebastian 2012 Springer Berlin Heidelberg
-
Theory and Practice of Model Transformations – 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Hu, Zhenjiang ; Lara, Juan de 2012 Springer Berlin Heidelberg
-
Advances in Software Engineering Techniques – 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Szmuc, Tomasz ; Szpyrka, Marcin ; Zendulka, Jaroslav 2012 Springer Berlin Heidelberg
-
Algorithms and Model Formulations in Mathematical Programming
Wallace, Stein W. 1989 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
2012 Springer Berlin Heidelberg
-
CAD Based Programming for Sensory Robots
Ravani, Bahram 1988 Springer Berlin Heidelberg
-
Automated Deduction in Geometry – 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
-
Implementation and Application of Functional Languages – 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer Berlin Heidelberg