Limit Search Results
Author
SpringerLink (Online service)
(315)
Baldoni, Matteo. editor.
(7)
Dastani, Mehdi. editor.
(5)
Leite, João. editor.
(5)
Torroni, Paolo. editor.
(5)
Language
Publication Date
-
Subject
Software engineering.
(181)
Logic design.
(134)
Mathematical Logic and Formal Languages.
(101)
Programming Languages, Compilers, Interpreters.
(92)
Artificial intelligence.
(88)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
320 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers
Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers
Author 
Majumder, Prasenjit. editor. Mitra, Mandar. editor. Bhattacharyya, Pushpak. editor. Subramaniam, L. Venkata. editor. Contractor, Danish. editor.
Preferred Shelf Number 
ONLINE(334889.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Author 
Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335028.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40922-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
Cover image for Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Author 
Sagonas, Kostis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45284-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Author 
Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27694-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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
Author 
Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author 
Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Author 
France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33666-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Author 
Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35182-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedings
Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedings
Author 
Torre Toledano, Doroteo. editor. Ortega Giménez, Alfonso. editor. Teixeira, António. editor. González Rodríguez, Joaquín. editor. Hernández Gómez, Luis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Business Processes for Business Communities Modeling Languages, Methods, Tools
Business Processes for Business Communities Modeling Languages, Methods, Tools
Author 
Schönthaler, Frank. author. Vossen, Gottfried. author. Oberweis, Andreas. author. Karle, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31585-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action