|
|
1.
|
Model-Driven Engineering and Software Development electronic resource Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / edited by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves. by Hammoudi, Slimane [editor.] | Pires, Luís Ferreira [editor.] | Filipe, Joaquim [editor.] | das Neves, Rui César [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Model-Driven Engineering and Software Development electronic resource Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires. by Desfray, Philippe [editor.] | Filipe, Joaquim [editor.] | Hammoudi, Slimane [editor.] | Pires, Luís Ferreira [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
Software Technologies electronic resource 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers / edited by José Cordeiro, Marten van Sinderen. by Cordeiro, José [editor.] | van Sinderen, Marten [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
4.
|
Domain Engineering [electronic resource] : Product Lines, Languages, and Conceptual Models / edited by Iris Reinhartz-Berger, Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin. by Reinhartz-Berger, Iris [editor.] | Sturm, Arnon [editor.] | Clark, Tony [editor.] | Cohen, Sholom [editor.] | Bettin, Jorn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
5.
|
Software and Data Technologies [electronic resource] : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / edited by José Cordeiro, Slimane Hammoudi, Marten Sinderen. by Cordeiro, José [editor.] | Hammoudi, Slimane [editor.] | Sinderen, Marten [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
6.
|
Empirical Software Engineering Issues. Critical Assessment and Future Directions Электронный ресурс International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers / edited by Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby. by Basili, Victor R | Kitchenham, Barbara | Pfahl, Dietmar | Rombach, Dieter | Schneider, Kurt | Selby, Richard W | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
7.
|
|
|
|
8.
|
Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection electronic resource 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings / edited by Yves Demazeau, Franco Zambonelli, Juan M. Corchado, Javier Bajo. by Demazeau, Yves [editor.] | Zambonelli, Franco [editor.] | Corchado, Juan M [editor.] | Bajo, Javier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
9.
|
Engineering Societies in the Agents World V Электронный ресурс 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo by Gleizes, Marie-Pierre | Omicini, Andrea | Zambonelli, Franco | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
Model Driven Engineering Languages and Systems (vol. # 3713) Электронный ресурс 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings edited by Lionel Briand, Clay Williams. by Briand, Lionel | Williams, Clay | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
14.
|
Satellite Events at the MoDELS 2005 Conference Электронный ресурс MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers edit by Bruel, Jean-Michel | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
15.
|
|
|
|
16.
|
Models@run.time electronic resource Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Aßmann. by Bencomo, Nelly [editor.] | France, Robert [editor.] | Cheng, Betty H. C [editor.] | Aßmann, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
17.
|
Model Driven Engineering Languages and Systems Электронный ресурс 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil. by Engels, Gregor | Opdyke, Bill | Schmidt, Douglas C | Weil, Frank | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
18.
|
UML Modeling Languages and Applications Электронный ресурс <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers edited by Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Tov by Jardim Nunes, Nuno | Rodrigues da Silva, Alberto | Selic, Bran | Toval Alvarez, Ambrosio | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
19.
|
|
|
|
20.
|
Model Driven Engineering Languages and Systems (vol. # 4199) Электронный ресурс 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Nierstrasz, Oscar | Harel, David | Reggio, Gianna | Whittle, Jon | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
21.
|
|
|
|
22.
|
Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
|
23.
|
Model Driven Engineering Languages and Systems Электронный ресурс 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter by Hutchison, David | Bruel, Jean-Michel | Czarnecki, Krzysztof | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Ober, Ileana | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Uhl, Axel | Vardi, Moshe Y | Völter, Markus | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by Balsamo, Maria Simonetta [editor.] | Knottenbelt, William J [editor.] | Marin, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
29.
|
Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by Weber, Jens [editor.] | Perseil, Isabelle [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
30.
|
|
|
|
31.
|
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection electronic resource 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / edited by Yves Demazeau, Keith S. Decker, Javier Bajo Pérez, Fernando de la Prieta. by Demazeau, Yves [editor.] | Decker, Keith S [editor.] | Bajo Pérez, Javier [editor.] | de la Prieta, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
32.
|
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability electronic resource SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos. by Cerone, Antonio [editor.] | Persico, Donatella [editor.] | Fernandes, Sara [editor.] | Garcia-Perez, Alexeis [editor.] | Katsaros, Panagiotis [editor.] | Shaikh, Siraj Ahmed [editor.] | Stamelos, Ioannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
33.
|
Job Scheduling Strategies for Parallel Processing electronic resource 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers / edited by Narayan Desai, Walfredo Cirne. by Desai, Narayan [editor.] | Cirne, Walfredo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
34.
|
|
|
|
35.
|
Model and Data Engineering [electronic resource] : Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings / edited by Alfredo Cuzzocrea, Sofian Maabout. by Cuzzocrea, Alfredo [editor.] | Maabout, Sofian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
36.
|
Early Aspects: Current Challenges and Future Directions Электронный ресурс 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy. by Moreira, Ana | Grundy, John | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
Advances in Conceptual Modeling electronic resource ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / edited by Manfred A. Jeusfeld, Kamalakar Karlapalem. by Jeusfeld, Manfred A [editor.] | Karlapalem, Kamalakar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
40.
|
Advances in Conceptual Modeling electronic resource ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings / edited by Marta Indulska, Sandeep Purao. by Indulska, Marta [editor.] | Purao, Sandeep [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
41.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
42.
|
|
|
|
43.
|
The Common Component Modeling Example Электронный ресурс Comparing Software Component Models / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andreas Rausch, Ralf Reussner, Raffaela Mirandola, František Plášil by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mirandola, Raffaela | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Plášil, František | Rausch, Andreas | Reussner, Ralf | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
44.
|
|
|
|
45.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Lemos, Rogério [editor.] | Giese, Holger [editor.] | Müller, Hausi A [editor.] | Shaw, Mary [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
46.
|
|
|
|
47.
|
Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore. by Tribastone, Mirco [editor.] | Gilmore, Stephen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
48.
|
Dependable Software Engineering: Theories, Tools, and Applications electronic resource First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
49.
|
|
|
|
50.
|
Tests and Proofs electronic resource 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / edited by Martina Seidl, Nikolai Tillmann. by Seidl, Martina [editor.] | Tillmann, Nikolai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
