Limit Search Results
Author
SpringerLink (Online service)
(77)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Boer, Frank S. editor.
(2)
Bonsangue, Marcello M. editor.
(2)
Language
Publication Date
-
2013
(77)
Subject
Logic design.
(77)
Software engineering.
(77)
Computer science.
(76)
Programming Languages, Compilers, Interpreters.
(44)
Mathematical Logic and Formal Languages.
(34)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
77 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Author 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Author 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334911.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Author 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Author 
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number 
ONLINE(335120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335217.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335227.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Author 
Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets