|
|
1681.
|
Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero.
by Mogavero, Fabio [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available
|
|
|
1682.
|
Design and Analysis of Approximation Algorithms [electronic resource] / by Ding-Zhu Du, Ker-I Ko, Xiaodong Hu.
by Du, Ding-Zhu [author.] | Ko, Ker-I [author.] | Hu, Xiaodong [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2012Online access: Click here to access online Availability: No items available
|
|
|
1683.
|
Computational Complexity [electronic resource] : Theory, Techniques, and Applications / edited by Robert A. Meyers.
by Meyers, Robert A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
1684.
|
Creating New Medical Ontologies for Image Annotation [electronic resource] : A Case Study / by Liana Stanescu, Dumitru Dan Burdescu, Marius Brezovan, Cristian Gabriel Mihai.
by Stanescu, Liana [author.] | Burdescu, Dumitru Dan [author.] | Brezovan, Marius [author.] | Mihai, Cristian Gabriel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
1685.
|
Network Inference in Molecular Biology [electronic resource] : A Hands-on Framework / by Jesse M. Lingeman, Dennis Shasha.
by Lingeman, Jesse M | Shasha, Dennis | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2012Online access: Click here to access online Availability: No items available
|
|
|
1686.
|
Data Correcting Approaches in Combinatorial Optimization [electronic resource] / by Boris Goldengorin, Panos M. Pardalos.
by Goldengorin, Boris [author.] | Pardalos, Panos M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
1687.
|
Approximation Algorithms and Semidefinite Programming [electronic resource] / by Bernd Gärtner, Jiri Matousek.
by Gärtner, Bernd [author.] | Matousek, Jiri [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1688.
|
Complex Scheduling [electronic resource] / by Peter Brucker, Sigrid Knust.
by Brucker, Peter [author.] | Knust, Sigrid [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1689.
|
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 Nieuwpoort.
by Varbanescu, Ana Lucia [editor.] | Molnos, Anca [editor.] | Nieuwpoort, Rob [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1690.
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers / edited by Alfred M. Bruckstein, Bart M. Haar Romeny, Alexander M. Bronstein, Michael M. Bronstein.
by Bruckstein, Alfred M [editor.] | Haar Romeny, Bart M [editor.] | Bronstein, Alexander M [editor.] | Bronstein, Michael M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1691.
|
e-Business and Telecommunications [electronic resource] : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers / edited by Mohammad S. Obaidat, George A. Tsihrintzis, Joaquim Filipe.
by Obaidat, Mohammad S [editor.] | Tsihrintzis, George A [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1692.
|
RFID. Security and Privacy [electronic resource] : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers / edited by Ari Juels, Christof Paar.
by Juels, Ari [editor.] | Paar, Christof [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1693.
|
Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers / edited by Marc Kreveld, Bettina Speckmann.
by Kreveld, Marc [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1694.
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš.
by Kotásek, Zdeněk [editor.] | Bouda, Jan [editor.] | Černá, Ivana [editor.] | Sekanina, Lukáš [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
1695.
|
Distributed Computing and Networking [electronic resource] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.
by Bononi, Luciano [editor.] | Datta, Ajoy K [editor.] | Devismes, Stéphane [editor.] | Misra, Archan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1696.
|
Communication and Networking [electronic resource] : International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I / edited by Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Thanos Vasilakos, Adrian Stoica, Charalampos Z. Patrikakis, Gansen Zhao, Javier García Villalba, Yang Xiao.
by Kim, Tai-hoon [editor.] | Adeli, Hojjat [editor.] | Fang, Wai-chi [editor.] | Vasilakos, Thanos [editor.] | Stoica, Adrian [editor.] | Patrikakis, Charalampos Z [editor.] | Zhao, Gansen [editor.] | Villalba, Javier García [editor.] | Xiao, Yang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1697.
|
Advances in Computer Science and Information Technology. Networks and Communications [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1698.
|
Advances in Computer Science and Information Technology. Computer Science and Engineering [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1699.
|
Advances in Computer Science and Information Technology. Computer Science and Information Technology [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
1700.
|
Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers / edited by Sebastian Mödersheim, Catuscia Palamidessi.
by Mödersheim, Sebastian [editor.] | Palamidessi, Catuscia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|