|
|
1.
|
Metrics for Process Models Электронный ресурс Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness / by Jan Mendling ; edited by Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski. by Mendling, Jan | Aalst, Will | Mylopoulos, John | Sadeh, Norman M | Shaw, Michael J | Szyperski, Clemens | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: 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 :
|
|
|
2.
|
|
|
|
3.
|
Enabling Semantic Web Services Электронный ресурс The Web Service Modeling Ontology / by Dieter Fensel, Holger Lausen, Jos Bruijn, Michael Stollberg, Dumitru Roman, Axel Polleres, John Domingue. by Fensel, Dieter | Bruijn, Jos | Domingue, John | Lausen, Holger | Polleres, Axel | Roman, Dumitru | Stollberg, Michael | SpringerLink (Online service). Source: 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 :
|
|
|
4.
|
Database and XML Technologies (vol. # 4156) Электронный ресурс 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings edited by Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland et a by Amer-Yahia, Sihem | Bellahsène, Zohra | Hunt, Ela | Unland, Rainer | Yu, Jeffrey Xu | 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 :
|
|
|
5.
|
|
|
|
6.
|
Requirements Engineering: Foundation for Software Quality Электронный ресурс 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings / edited by Pete Sawyer, Barbara Paech, Patrick Heymans. by Sawyer, Pete | Heymans, Patrick | Paech, Barbara | 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.
|
Enterprise Information Systems Электронный ресурс 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers / edited by Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro. by Manolopoulos, Yannis | Constantopoulos, Panos | Cordeiro, José | Filipe, Joaquim | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: 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 :
|
|
|
8.
|
|
|
|
9.
|
Service-Oriented Computing ICSOC 2006 Электронный ресурс 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings / edited by Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, Geo by Georgakopoulos, Dimitrios | Benatallah, Boualem | Feuerlicht, George | Motahari-Nezhad, Hamid R | Ritter, Norbert | Schoenherr, Marten | Zirpins, Christian | 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 :
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
Service-Oriented Computing - ICSOC 2005 Электронный ресурс Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings edited by Boualem Benatallah, Fabio Casati, Paolo Traverso. by Benatallah, Boualem | Casati, Fabio | Traverso, Paolo | 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.
|
|
|
|
15.
|
Enterprise Information Systems electronic resource 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers / edited by José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe. by Cordeiro, José [editor.] | Maciaszek, Leszek A [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: Springer eBooksMaterial type:  Text; Format:
electronic
available online
; Literary form:
Not fiction
Online access: Click here to access online Availability: No items available :
|
|
|
16.
|
Enterprise Information Systems electronic resource 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers / edited by Slimane Hammoudi, Leszek Maciaszek, Ernest Teniente, Olivier Camp, José Cordeiro. by Hammoudi, Slimane [editor.] | Maciaszek, Leszek [editor.] | Teniente, Ernest [editor.] | Camp, Olivier [editor.] | Cordeiro, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingEdition: 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 :
|
|
|
17.
|
Cryptographic Hardware and Embedded Systems -- CHES 2015 electronic resource 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / edited by Tim Güneysu, Helena Handschuh. by Güneysu, Tim [editor.] | Handschuh, Helena [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
18.
|
Advanced Information Systems Engineering electronic resource 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings / edited by Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff. by Jarke, Matthias [editor.] | Mylopoulos, John [editor.] | Quix, Christoph [editor.] | Rolland, Colette [editor.] | Manolopoulos, Yannis [editor.] | Mouratidis, Haralambos [editor.] | Horkoff, Jennifer [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 :
|
|
|
19.
|
Formal Methods: Foundations and Applications electronic resource 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] | Martí-Oliet, Narciso [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 :
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
Ad-hoc, Mobile, and Wireless Networks electronic resource 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings / edited by Symeon Papavassiliou, Stefan Ruehrup. by Papavassiliou, Symeon [editor.] | Ruehrup, Stefan [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 :
|
|
|
23.
|
SDL 2015: Model-Driven Engineering for Smart Cities electronic resource 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [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 :
|
|
|
24.
|
Theory and Practice of Model Transformations electronic resource 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer. by Kolovos, Dimitris [editor.] | Wimmer, Manuel [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 :
|
|
|
25.
|
Software Measurement electronic resource 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings / edited by Andrzej Kobyliński, Beata Czarnacka-Chrobot, Jarosław Świerczek. by Kobyliński, Andrzej [editor.] | Czarnacka-Chrobot, Beata [editor.] | Świerczek, Jarosław [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingEdition: 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 :
|
|
|
26.
|
Cloud Computing and Services Sciences electronic resource International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3–5, 2014 Revised Selected Papers / edited by Markus Helfert, Frédéric Desprez, Donald Ferguson, Frank Leymann, Victor Méndez Muñoz. by Helfert, Markus [editor.] | Desprez, Frédéric [editor.] | Ferguson, Donald [editor.] | Leymann, Frank [editor.] | Méndez Muñoz, Victor [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 :
|
|
|
27.
|
Enterprise Information Systems electronic resource 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papers / edited by José Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp, Joaquim Filipe. by Cordeiro, José [editor.] | Hammoudi, Slimane [editor.] | Maciaszek, Leszek [editor.] | Camp, Olivier [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingEdition: 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 :
|
|
|
28.
|
Software Technologies electronic resource 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen. by Holzinger, Andreas [editor.] | Cardoso, Jorge [editor.] | Cordeiro, José [editor.] | Libourel, Therese [editor.] | Maciaszek, Leszek A [editor.] | van Sinderen, Marten [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 :
|
|
|
29.
|
Algorithms and Architectures for Parallel Processing electronic resource ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez Perez, Kenli Li. by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez Perez, Gregorio [editor.] | Li, Kenli [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 :
|
|
|
30.
|
|
|
|
31.
|
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by Garcia-Alfaro, Joaquin [editor.] | Cuppens, Frédéric [editor.] | Cuppens-Boulahia, Nora [editor.] | Miri, Ali [editor.] | Tawbi, Nadia [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 :
|
|
|
32.
|
Software Process Improvement and Capability Determination [electronic resource] : 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings / edited by Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling. by Woronowicz, Tanja [editor.] | Rout, Terry [editor.] | O’Connor, Rory V [editor.] | Dorling, Alec [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 :
|
|
|
33.
|
|
|
|
34.
|
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 :
|
|
|
35.
|
Business Process Management electronic resource 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings / edited by Shazia Sadiq, Pnina Soffer, Hagen Völzer. by Sadiq, Shazia [editor.] | Soffer, Pnina [editor.] | Völzer, Hagen [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 :
|
|
|
36.
|
|
|
|
37.
|
Cloud Computing and Services Science electronic resource Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers / edited by Markus Helfert, Frédéric Desprez, Donald Ferguson, Frank Leymann. by Helfert, Markus [editor.] | Desprez, Frédéric [editor.] | Ferguson, Donald [editor.] | Leymann, Frank [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: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
38.
|
Service-Oriented Computing electronic resource 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings / edited by Xavier Franch, Aditya K. Ghose, Grace A. Lewis, Sami Bhiri. by Franch, Xavier [editor.] | Ghose, Aditya K [editor.] | Lewis, Grace A [editor.] | Bhiri, Sami [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 :
|
|
|
39.
|
Service-Oriented and Cloud Computing electronic resource Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings / edited by Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau. by Villari, Massimo [editor.] | Zimmermann, Wolf [editor.] | Lau, Kung-Kiu [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 :
|
|
|
40.
|
Information Systems Development [electronic resource] : Reflections, Challenges and New Directions / edited by Rob Pooley, Jennifer Coady, Christoph Schneider, Henry Linger, Chris Barry, Michael Lang. by Pooley, Rob [editor.] | Coady, Jennifer [editor.] | Schneider, Christoph [editor.] | Linger, Henry [editor.] | Barry, Chris [editor.] | Lang, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
Multi-Agent Systems and Applications Электронный ресурс 9th ECCAI Advanced Course, ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2-13, 2001 Selected Tutorial Papers / edited by Michael Luck, Vladimír Mařík, Olga Štěpánková, Robert Trappl. by Luck, Michael | Mařík, Vladimír | Trappl, Robert. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
|
45.
|
Service-Oriented Computing - ICSOC 2007 Электронный ресурс Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan. by Krämer, Bernd J | Lin, Kwei-Jay | Narasimhan, Priya | 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 :
|
|
|
46.
|
|
|
|
47.
|
Database and XMLTechnologies Электронный ресурс 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Denilson Barbosa, Angela Bonifati, Zohra Bellahsène, Ela Hunt, Rainer Unland. by Barbosa, Denilson | Bellahsène, Zohra | Bonifati, Angela | Hunt, Ela | Unland, Rainer | 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 :
|
|
|
48.
|
Enterprise Service Oriented Architectures Электронный ресурс Concepts, Challenges, Recommendations / by James McGovern, Oliver Sims, Ashish Jain, Mark Little. by McGovern, James | Jain, Ashish | Little, Mark | Sims, Oliver | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
|
|
|
49.
|
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis Электронный ресурс AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers / edited by Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski, John Collins, Peyman Faratin, Simon Parsons, Juan A. Rodriguez-Aguilar, Norman M. Sadeh, Onn Shehory, Elizabeth Sklar. by Aalst, Will | Collins, John | Faratin, Peyman | Mylopoulos, John | Parsons, Simon | Rodriguez-Aguilar, Juan A | Sadeh, Norman M | Sadeh, Norman M | Shaw, Michael J | Shehory, Onn | Sklar, Elizabeth | Szyperski, Clemens | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: 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 :
|
|
|
50.
|
|
