Limit Search Results
Author
SpringerLink (Online service)
(212)
Bernardo, Marco. editor.
(6)
Baldoni, Matteo. editor.
(4)
Barthe, Gilles. editor.
(4)
Vardanega, Tullio. editor.
(4)
Language
Publication Date
-
2010
(37)
2012
(31)
2011
(28)
2006
(19)
2008
(18)
Subject
Compilers and Interpreters.
(212)
Computer networks .
(205)
Software engineering.
(204)
Computer Communication Networks.
(189)
Computer science.
(151)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
212 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
by 
Sakama, Chiaki. editor.
https://doi.org/10.1007/978-3-642-29113-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
38. 
Cover image for Object, Models, Components, Patterns 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Object, Models, Components, Patterns 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
by 
Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-642-30561-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
39. 
Cover image for Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
by 
Hu, Zhenjiang. editor.
https://doi.org/10.1007/978-3-642-30476-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
40. 
Cover image for 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
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
by 
Szmuc, Tomasz. editor.
https://doi.org/10.1007/978-3-642-28038-2
Format: 
Excerpt: 
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on
41. 
Cover image for Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
by 
Mukund, Madhavan. editor.
https://doi.org/10.1007/978-3-642-33386-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
42. 
Cover image for Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
by 
Seidl, Helmut. editor.
https://doi.org/10.1007/978-3-642-28869-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
43. 
Cover image for SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
by 
Ober, Iulian. editor.
https://doi.org/10.1007/978-3-642-25264-8
Format: 
Excerpt: 
Computer Engineering and Networks.
44. 
Cover image for Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
by 
Kannan, Rajkumar. editor.
https://doi.org/10.1007/978-3-642-27872-3
Format: 
Excerpt: 
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India
45. 
Cover image for Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers
Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers
by 
Moedersheim, Sebastian. editor.
https://doi.org/10.1007/978-3-642-27375-9
Format: 
Excerpt: 
Computer Communication Networks.
46. 
Cover image for Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
by 
Aoki, Toshiaki. editor.
https://doi.org/10.1007/978-3-642-34281-3
Format: 
Excerpt: 
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods
47. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
by 
Flanagan, Cormac. editor.
https://doi.org/10.1007/978-3-642-28756-5
Format: 
Excerpt: 
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference
48. 
Cover image for Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
by 
Eleftherakis, George. editor.
https://doi.org/10.1007/978-3-642-33826-7
Format: 
Excerpt: 
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki
Select an Action