|
|
|
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.
by Gibbons, Jeremy [editor.] | Nogueira, Pablo [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
|
|
|
|
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006 / edited by Jaime Simao Sichman, Helder Coelho, Solange Oliveira Rezende.
by Sichman, Jaime Simao [editor.] | Coelho, Helder [editor.] | Rezende, Solange Oliveira [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
SOFSEM 2010: Theory and Practice of Computer Science [electronic resource] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe.
by van Leeuwen, Jan [editor.] | Muscholl, Anca [editor.] | Peleg, David [editor.] | Pokorny, Jaroslav [editor.] | Rumpe, Bernhard [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings / edited by Martin Leucker, Charles Carroll Morgan.
by Leucker, Martin [editor.] | Morgan, Charles Carroll [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
|
|
|
|
Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers / edited by Karin Coninx, Kris Luyten, Kevin A. Schneider.
by Coninx, Karin [editor.] | Luyten, Kris [editor.] | Schneider, Kevin A [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
|
|
|
|
Scaling OpenMP for Exascale Performance and Portability [electronic resource] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings / edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller.
by de Supinski, Bronis R [editor.] | Olivier, Stephen L [editor.] | Terboven, Christian [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [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
|
|
|
|
Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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
|
|
|
|
Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil.
by Scholz, Sven-Bodo [editor.] | Chitil, Olaf [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
|
|
|
|
Algebraic Informatics [electronic resource] : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 / edited by Symeon Bozapalidis, George Rahonis.
by Bozapalidis, Symeon [editor.] | Rahonis, George [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / edited by Jeremy T. Bradley.
by Bradley, Jeremy T [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
|
|
|
|
Conceptual Modeling - ER 2011 [electronic resource] : 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok Wang Ling.
by Jeusfeld, Manfred [editor.] | Delcambre, Lois [editor.] | Ling, Tok Wang [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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / edited by James Delgrande, Wolfgang Faber.
by Delgrande, James [editor.] | Faber, Wolfgang [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
|
|
|
|
Independent Component Analysis and Signal Separation [electronic resource] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings / edited by Tulay Adali, Christian Jutten, Joao Marcos Travassos Romano, Allan Kardec Barros.
by Adali, Tulay [editor.] | Jutten, Christian [editor.] | Romano, Joao Marcos Travassos [editor.] | Barros, Allan Kardec [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] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklos Telek.
by Al-Begain, Khalid [editor.] | Heindl, Armin [editor.] | Telek, Miklos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol.
by Brim, Lubos [editor.] | Haverkort, Boudewijn [editor.] | Leucker, Martin [editor.] | Pol, Jaco van de [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
|
|
|
|
Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob van Nieuwpoort.
by Varbanescu, Ana Lucia [editor.] | Molnos, Anca [editor.] | van Nieuwpoort, Rob [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
|
|
|
|
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.
by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Montanari, Ugo [editor.] | Ribeiro, Leila [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.
by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.
by Bernardo, Marco [editor.] | Hillston, Jane [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / edited by Manindra Agrawal, Barry S. Cooper, Angsheng Li.
by Agrawal, Manindra [editor.] | Cooper, Barry S [editor.] | Li, Angsheng [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
|
