|
|
4541.
|
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.
by Goodloe, Alwyn E [editor.] | Person, Suzette [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
|
|
|
4542.
|
Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings / edited by Ronald Cramer.
by Cramer, Ronald [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
|
|
|
4543.
|
Critical Infrastructure Protection [electronic resource] : Information Infrastructure Models, Analysis, and Defense / edited by Javier Lopez, Roberto Setola, Stephen D. Wolthusen.
by Lopez, Javier [editor.] | Setola, Roberto [editor.] | Wolthusen, Stephen D [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
|
|
|
4544.
|
Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II / edited by Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho.
by Corchado, Emilio [editor.] | Snášel, Václav [editor.] | Abraham, Ajith [editor.] | Woźniak, Michał [editor.] | Graña, Manuel [editor.] | Cho, Sung-Bae [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
|
|
|
4545.
|
Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, Jürgen Dix, Peter Novák.
by Collier, Rem [editor.] | Dix, Jürgen [editor.] | Novák, Peter [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
|
|
|
4546.
|
Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I / edited by Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho.
by Corchado, Emilio [editor.] | Snášel, Václav [editor.] | Abraham, Ajith [editor.] | Woźniak, Michał [editor.] | Graña, Manuel [editor.] | Cho, Sung-Bae [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
|
|
|
4547.
|
Advances in Information Retrieval [electronic resource] : 34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 1-5, 2012. Proceedings / edited by Ricardo Baeza-Yates, Arjen P. Vries, Hugo Zaragoza, B. Barla Cambazoglu, Vanessa Murdock, Ronny Lempel, Fabrizio Silvestri.
by Baeza-Yates, Ricardo [editor.] | Vries, Arjen P [editor.] | Zaragoza, Hugo [editor.] | Cambazoglu, B. Barla [editor.] | Murdock, Vanessa [editor.] | Lempel, Ronny [editor.] | Silvestri, Fabrizio [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
|
|
|
4548.
|
Advances in Cryptology – EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings / edited by David Pointcheval, Thomas Johansson.
by Pointcheval, David [editor.] | Johansson, Thomas [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
|
|
|
4549.
|
Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings / edited by Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.
by Yu, Hwanjo [editor.] | Yu, Ge [editor.] | Hsu, Wynne [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [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
|
|
|
4550.
|
Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II / edited by Sang-goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.
by Lee, Sang-goo [editor.] | Peng, Zhiyong [editor.] | Zhou, Xiaofang [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [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
|
|
|
4551.
|
Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I / edited by Sang-goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.
by Lee, Sang-goo [editor.] | Peng, Zhiyong [editor.] | Zhou, Xiaofang [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [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
|
|
|
4552.
|
Social Computing, Behavioral - Cultural Modeling and Prediction [electronic resource] : 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings / edited by Shanchieh Jay Yang, Ariel M. Greenberg, Mica Endsley.
by Yang, Shanchieh Jay [editor.] | Greenberg, Ariel M [editor.] | Endsley, Mica [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
|
|
|
4553.
|
Transactions on Edutainment VII [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang.
by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | Chang, Maiga [editor.] | Zhang, Mingmin [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
|
|
|
4554.
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Mario Giacobini, Leonardo Vanneschi, William S. Bush.
by Giacobini, Mario [editor.] | Vanneschi, Leonardo [editor.] | Bush, William S [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
|
|
|
4555.
|
Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn.
by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Kleijn, Jetty [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
|
|
|
4556.
|
Information Security Practice and Experience [electronic resource] : 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings / edited by Mark D. Ryan, Ben Smyth, Guilin Wang.
by Ryan, Mark D [editor.] | Smyth, Ben [editor.] | Wang, Guilin [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
|
|
|
4557.
|
Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff.
by Sakama, Chiaki [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | Winikoff, Michael [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
|
|
|
4558.
|
Approximation and Online Algorithms [electronic resource] : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Roberto Solis-Oba, Giuseppe Persiano.
by Solis-Oba, Roberto [editor.] | Persiano, Giuseppe [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
|
|
|
4559.
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf.
by Hao, Jin-Kao [editor.] | Middendorf, Martin [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
|
|
|
4560.
|
Genetic Programming [electronic resource] : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta.
by Moraglio, Alberto [editor.] | Silva, Sara [editor.] | Krawiec, Krzysztof [editor.] | Machado, Penousal [editor.] | Cotta, Carlos [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
|