|
|
|
Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / edited by José C. Cunha, Pedro D. Medeiros.
by Cunha, José C [editor.] | Medeiros, Pedro D [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Deduction - CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / edited by Leonardo de Moura.
by de Moura, Leonardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Design, User Experience, and Usability: Technological Contexts [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III / edited by Aaron Marcus.
by Marcus, Aaron [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Societies in the Agents World IX [electronic resource] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers / edited by Alexander Artikis, Gauthier Picard, Laurent Vercouter.
by Artikis, Alexander [editor.] | Picard, Gauthier [editor.] | Vercouter, Laurent [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings / edited by Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent.
by Al-Begain, Khalid [editor.] | Fiems, Dieter [editor.] | Vincent, Jean-Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings / edited by Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza.
by Ralyté, Jolita [editor.] | Franch, Xavier [editor.] | Brinkkemper, Sjaak [editor.] | Wrycza, Stanislaw [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Performance Engineering [electronic resource] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa.
by Aldini, Alessandro [editor.] | Bernardo, Marco [editor.] | Bononi, Luciano [editor.] | Cortellessa, Vittorio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science XXVII [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings / edited by Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy.
by Boavida, Fernando [editor.] | Monteiro, Edmundo [editor.] | Mascolo, Saverio [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Coordination Models and Languages [electronic resource] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / edited by John Field, Vasco Thudichum Vasconcelos.
by Field, John [editor.] | Vasconcelos, Vasco Thudichum [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Wireless Sensor Networks [electronic resource] : 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011, Proceedings / edited by Pedro José Marrón, Kamin Whitehouse.
by Marrón, Pedro José [editor.] | Whitehouse, Kamin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Multi-Agent Based Simulation XVI [electronic resource] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / edited by Benoit Gaudou, Jaime Simao Sichman.
by Gaudou, Benoit [editor.] | Sichman, Jaime Simao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann.
by Sloane, Anthony [editor.] | Aßmann, Uwe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Cloud Computing and Big Data [electronic resource] : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers / edited by Weizhong Qiang, Xianghan Zheng, Ching-Hsien Hsu.
by Qiang, Weizhong [editor.] | Zheng, Xianghan [editor.] | Hsu, Ching-Hsien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn van der Zant.
by Chen, Xiaoping [editor.] | Stone, Peter [editor.] | Sucar, Luis Enrique [editor.] | van der Zant, Tijn [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / edited by Jose-Manuel Colom, Jörg Desel.
by Colom, Jose-Manuel [editor.] | Desel, Jörg [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Testing Software and Systems [electronic resource] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko.
by El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla.
by Tratt, Laurence [editor.] | Gogolla, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings / edited by Chris Hawblitzel, Dale Miller.
by Hawblitzel, Chris [editor.] | Miller, Dale [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
