|
|
381.
|
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack.
by Emde Boas, Peter [editor.] | Groen, Frans C. A [editor.] | Italiano, Giuseppe F [editor.] | Nawrocki, Jerzy [editor.] | Sack, Harald [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
382.
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš.
by Kučera, Antonín [editor.] | Henzinger, Thomas A [editor.] | Nešetřil, Jaroslav [editor.] | Vojnar, Tomáš [editor.] | Antoš, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
383.
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin.
by Czarnecki, Krzysztof [editor.] | Hedin, Görel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
384.
|
Robust Control and Linear Parameter Varying Approaches [electronic resource] : Application to Vehicle Dynamics / edited by Olivier Sename, Peter Gaspar, József Bokor.
by Sename, Olivier [editor.] | Gaspar, Peter [editor.] | Bokor, József [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
385.
|
Exploring Services Science [electronic resource] : 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings / edited by João Falcão e Cunha, Mehdi Snene, Henriqueta Nóvoa.
by Falcão e Cunha, João [editor.] | Snene, Mehdi [editor.] | Nóvoa, Henriqueta [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
386.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato.
by Jürjens, Jan [editor.] | Livshits, Benjamin [editor.] | Scandariato, Riccardo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
387.
|
Complex and Adaptive Dynamical Systems [electronic resource] : A Primer / by Claudius Gros.
by Gros, Claudius [author.] | SpringerLink (Online service). Edition: 3rd ed. 2013.Source: Springer eBooksMaterial 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
|
|
|
388.
|
Intelligent Science and Intelligent Data Engineering [electronic resource] : Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers / edited by Jian Yang, Fang Fang, Changyin Sun.
by Yang, Jian [editor.] | Fang, Fang [editor.] | Sun, Changyin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
389.
|
System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein.
by Haugen, Øystein [editor.] | Reed, Rick [editor.] | Gotzhein, Reinhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
390.
|
Transactions on Computational Collective Intelligence IX [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
391.
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.
by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
392.
|
Advances in Sliding Mode Control [electronic resource] : Concept, Theory and Implementation / edited by B Bandyopadhyay, S Janardhanan, Sarah K. Spurgeon.
by Bandyopadhyay, B [editor.] | Janardhanan, S [editor.] | Spurgeon, Sarah K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
393.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen Bosschere.
by Jhala, Ranjit [editor.] | Bosschere, Koen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
394.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró.
by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
395.
|
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). Source: Springer eBooksMaterial 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
|
|
|
396.
|
Biomedical Applications of Control Engineering [electronic resource] / by Selim S. Hacısalihzade.
by Hacısalihzade, Selim S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
397.
|
Business Modeling and Software Design [electronic resource] : Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers / edited by Boris Shishkov.
by Shishkov, Boris [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
398.
|
Analysis and Synthesis of Singular Systems with Time-Delays [electronic resource] / by Zheng-Guang Wu, Hongye Su, Peng Shi, Jian Chu.
by Wu, Zheng-Guang [author.] | Su, Hongye [author.] | Shi, Peng [author.] | Chu, Jian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
399.
|
Enterprise Architecture Patterns [electronic resource] : Practical Solutions for Recurring IT-Architecture Problems / by Thierry Perroud, Reto Inversini.
by Perroud, Thierry [author.] | Inversini, Reto [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
400.
|
Robust Filtering and Fault Detection of Switched Delay Systems [electronic resource] / by Dong Wang, Peng Shi, Wei Wang.
by Wang, Dong [author.] | Shi, Peng [author.] | Wang, Wei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
