Limit Search Results
Author
SpringerLink (Online service)
(104)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Boer, Frank S. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Language
English
(104)
Publication Date
-
2013
(104)
Subject
Logic design.
(104)
Computer science.
(103)
Software engineering.
(77)
Mathematical Logic and Formal Languages.
(55)
Programming Languages, Compilers, Interpreters.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
104 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
Author 
Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334904.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author 
D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334905.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40184-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author 
Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334907.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40196-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Author 
Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334913.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40229-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VIII
Transactions on Petri Nets and Other Models of Concurrency VIII
Author 
Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334949.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40465-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
Author 
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number 
ONLINE(335138.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Author 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335141.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action