|
|
11801.
|
Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă.
by Bridges, Douglas S [author.] | Vîţă, Luminiţa Simona [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11802.
|
Advances in Information Technology and Education [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I / edited by Honghua Tan, Mark Zhou.
by Tan, Honghua [editor.] | Zhou, Mark [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11803.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings / edited by Thorsten Holz, Herbert Bos.
by Holz, Thorsten [editor.] | Bos, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11804.
|
Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers / edited by Christian Guttmann, Frank Dignum, Michael Georgeff.
by Guttmann, Christian [editor.] | Dignum, Frank [editor.] | Georgeff, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11805.
|
Computational Linguistics and Talking Robots [electronic resource] : Processing Content in Database Semantics / by Roland Hausser.
by Hausser, Roland [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11806.
|
Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
by Bjørner, Nikolaj [editor.] | Sofronie-Stokkermans, Viorica [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11807.
|
Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner.
by Cuellar, Jorge [editor.] | Lopez, Javier [editor.] | Barthe, Gilles [editor.] | Pretschner, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11808.
|
Business Aspects of Web Services [electronic resource] / by Christof Weinhardt, Benjamin Blau, Tobias Conte, Lilia Filipova-Neumann, Thomas Meinl, Wibke Michalk.
by Weinhardt, Christof [author.] | Blau, Benjamin [author.] | Conte, Tobias [author.] | Filipova-Neumann, Lilia [author.] | Meinl, Thomas [author.] | Michalk, Wibke [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, 2011Online access: Click here to access online Availability: No items available
|
|
|
11809.
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup.
by Frey, Hannes [editor.] | Li, Xu [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11810.
|
Advances in Computer Science and Education Applications [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II / edited by Mark Zhou, Honghua Tan.
by Zhou, Mark [editor.] | Tan, Honghua [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11811.
|
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11812.
|
Information Security and Privacy [electronic resource] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes.
by Parampalli, Udaya [editor.] | Hawkes, Philip [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11813.
|
Organizational Interoperability in E-Government [electronic resource] : Lessons from 77 European Good-Practice Cases / by Herbert Kubicek, Ralf Cimander, Hans Jochen Scholl.
by Kubicek, Herbert [author.] | Cimander, Ralf [author.] | Scholl, Hans Jochen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11814.
|
Teaching and Learning in Information Retrieval [electronic resource] / edited by Efthimis Efthimiadis, Juan M. Fernández-Luna, Juan F. Huete, Andrew MacFarlane.
by Efthimiadis, Efthimis [editor.] | Fernández-Luna, Juan M [editor.] | Huete, Juan F [editor.] | MacFarlane, Andrew [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, 2011Online access: Click here to access online Availability: No items available
|
|
|
11815.
|
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen.
by Kuchen, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11816.
|
Advances in Network Security and Applications [electronic resource] : 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011 / edited by David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai.
by Wyld, David C [editor.] | Wozniak, Michal [editor.] | Chaki, Nabendu [editor.] | Meghanathan, Natarajan [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, 2011Online access: Click here to access online Availability: No items available
|
|
|
11817.
|
Trends in Network and Communications [electronic resource] : International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings / edited by David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai.
by Wyld, David C [editor.] | Wozniak, Michal [editor.] | Chaki, Nabendu [editor.] | Meghanathan, Natarajan [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 : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
11818.
|
Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke.
by Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
11819.
|
Advances in Computing and Information Technology [electronic resource] : First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings / edited by David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai.
by Wyld, David C [editor.] | Wozniak, Michal [editor.] | Chaki, Nabendu [editor.] | Meghanathan, Natarajan [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, 2011Online access: Click here to access online Availability: No items available
|
|
|
11820.
|
Smart Graphics [electronic resource] : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings / edited by Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier.
by Dickmann, Lutz [editor.] | Volkmann, Gerald [editor.] | Malaka, Rainer [editor.] | Boll, Susanne [editor.] | Krüger, Antonio [editor.] | Olivier, Patrick [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
