|
|
101.
|
|
|
|
102.
|
|
|
|
103.
|
Principles of Distributed Systems Электронный ресурс 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal. by Tovar, Eduardo | Fouchal, Hacène | Tsigas, Philippas | 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 :
|
|
|
104.
|
Software Composition Электронный ресурс 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren. by Lumpe, Markus | Vanderperren, Wim | 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 :
|
|
|
105.
|
Balancing Agility and Formalism in Software Engineering Электронный ресурс Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / 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, Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Meyer, Bertrand | Mitchell, John C | Naor, Moni | Nawrocki, Jerzy R | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Walter, Bartosz | 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 :
|
|
|
106.
|
Engineering Societies in the Agents World VIII Электронный ресурс 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Alexander Artikis, Gregory M. P. O’Hare, Kostas Stathis, George Vouros. by Carbonell, Jaime G | Artikis, Alexander | O’Hare, Gregory M. P | Siekmann, Jörg | Stathis, Kostas | Vouros, George | 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 :
|
|
|
107.
|
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 :
|
|
|
108.
|
Self-Sustaining Systems Электронный ресурс First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers / 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, Robert Hirschfeld, Kim Rose. by Hutchison, David | Hirschfeld, Robert | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Rose, Kim | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
109.
|
|
|
|
110.
|
|
|
|
111.
|
|
|
|
112.
|
|
|
|
113.
|
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) Электронный ресурс 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings edited by Franz Baader, Andrei Voronkov. by Baader, Franz | Voronkov, Andrei | 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 :
|
|
|
114.
|
Unifying Theories of Programming Электронный ресурс First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers edited by Steve Dunne, Bill Stoddart. by Dunne, Steve | Stoddart, Bill | 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 :
|
|
|
115.
|
Component-Based Software Engineering (vol. # 4063) Электронный ресурс 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings edited by Ian GortonGeorge T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt by Gorton, Ian | Crnkovic, Ivica | Heinemann, George T | Schmidt, Heinz W | Stafford, Judith A | Szyperski, Clemens | Wallnau, Kurt | 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 :
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
Large-Scale Scientific Computing Электронный ресурс 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski. by Lirkov, Ivan | Margenov, Svetozar | Waśniewski, Jerzy | 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 :
|
|
|
119.
|
Component-Based Software Engineering (vol. # 3489) Электронный ресурс 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 edited by Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford et al. by Crnkovic, Ivica | Heineman, George T | Schmidt, Heinz W | Stafford, Judith A | Szyperski, Clemens | Wallnau, Kurt | 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 :
|
|
|
120.
|
|
|
|
121.
|
|
|
|
122.
|
Practical Aspects of Declarative Languages electronic resource 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / edited by Matthew Flatt, Hai-Feng Guo. by Flatt, Matthew [editor.] | Guo, Hai-Feng [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 :
|
|
|
123.
|
Tools for High Performance Computing 2012 electronic resource edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel. by Cheptsov, Alexey [editor.] | Brinkmann, Steffen [editor.] | Gracia, José [editor.] | Resch, Michael M [editor.] | Nagel, Wolfgang E [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 :
|
|
|
124.
|
|
|
|
125.
|
|
|
|
126.
|
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by Dastani, Mehdi [editor.] | Hübner, Jomi F [editor.] | Logan, Brian [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 :
|
|
|
127.
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by Lourenço, João M [editor.] | Farchi, Eitan [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 :
|
|
|
128.
|
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Gorp, Tom Ritter, Louis M. Rose. by Gorp, Pieter [editor.] | Ritter, Tom [editor.] | Rose, Louis M [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 :
|
|
|
129.
|
|
|
|
130.
|
|
|
|
131.
|
|
|
|
132.
|
Transactions on Aspect-Oriented Software Development XI electronic resource edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle. by Chiba, Shigeru [editor.] | Tanter, Éric [editor.] | Bodden, Eric [editor.] | Maoz, Shahar [editor.] | Kienzle, Jörg [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 :
|
|
|
133.
|
|
|
|
134.
|
|
|
|
135.
|
|
|
|
136.
|
|
|
|
137.
|
|
|
|
138.
|
|
|
|
139.
|
Solving Software Challenges for Exascale electronic resource International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / edited by Stefano Markidis, Erwin Laure. by Markidis, Stefano [editor.] | Laure, Erwin [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 :
|
|
|
140.
|
|
|
|
141.
|
Formal Methods and Software Engineering electronic resource 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [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 :
|
|
|
142.
|
|
|
|
143.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [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 :
|
|
|
144.
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Cabalar, Pedro [editor.] | Son, Tran Cao [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 :
|
|
|
145.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [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 :
|
|
|
146.
|
|
|
|
147.
|
Automated Technology for Verification and Analysis electronic resource 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin. by Cassez, Franck [editor.] | Raskin, Jean-François [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 :
|
|
|
148.
|
Engineering Multi-Agent Systems electronic resource Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna Riemsdijk. by Dalpiaz, Fabiano [editor.] | Dix, Jürgen [editor.] | Riemsdijk, M. Birna [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 :
|
|
|
149.
|
Logic-Based Program Synthesis and Transformation electronic resource 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / edited by Gopal Gupta, Ricardo Peña. by Gupta, Gopal [editor.] | Peña, Ricardo [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 :
|
|
|
150.
|
|
