|
|
401.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.
by Corradini, Andrea | Montanari, Ugo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
402.
|
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan.
by Leucker, Martin | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
403.
|
Hybrid Learning and Education [electronic resource] : Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009. Proceedings / edited by Fu Lee Wang, Joseph Fong, Liming Zhang, Victor S. K. Lee.
by Wang, Fu Lee | Fong, Joseph | Zhang, Liming | Lee, Victor S. K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
404.
|
Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki.
by Kurz, Alexander | Lenisa, Marina | Tarlecki, Andrzej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
405.
|
Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.
by Calude, Cristian S | Costa, José Félix | Dershowitz, Nachum | Freire, Elisabete | Rozenberg, Grzegorz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
406.
|
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński.
by Královič, Rastislav | Niwiński, Damian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
407.
|
Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri.
by Degano, Pierpaolo | Gorrieri, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
408.
|
Engineering Applications of Neural Networks [electronic resource] : 11th International Conference, EANN 2009, London, UK, August 27-29, 2009. Proceedings / edited by Dominic Palmer-Brown, Chrisina Draganova, Elias Pimenidis, Haris Mouratidis.
by Palmer-Brown, Dominic | Draganova, Chrisina | Pimenidis, Elias | Mouratidis, Haris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
409.
|
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua.
by Huang, De-Shuang | Jo, Kang-Hyun | Lee, Hong-Hee | Kang, Hee-Jun | Bevilacqua, Vitoantonio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
410.
|
Emerging Intelligent Computing Technology and Applications [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua.
by Huang, De-Shuang | Jo, Kang-Hyun | Lee, Hong-Hee | Kang, Hee-Jun | Bevilacqua, Vitoantonio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
411.
|
CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro.
by Bravetti, Mario | Zavattaro, Gianluigi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
412.
|
Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / edited by Lars Braubach, Wiebe Hoek, Paolo Petta, Alexander Pokahr.
by Braubach, Lars | Hoek, Wiebe | Petta, Paolo | Pokahr, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
413.
|
Advances in Digital Forensics V [electronic resource] : Fifth IFIP WG 11.9 International Conference on Digital Forensics, Orlando, Florida, USA, January 26-28, 2009, Revised Selected Papers / edited by Gilbert Peterson, Sujeet Shenoi.
by Peterson, Gilbert | Shenoi, Sujeet | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
414.
|
Transactions on Computational Systems Biology XI [electronic resource] / edited by Corrado Priami, Ralph-Johan Back, Ion Petre.
by Priami, Corrado | Back, Ralph-Johan | Petre, Ion | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
415.
|
Algorithms in Bioinformatics [electronic resource] : 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings / edited by Steven L. Salzberg, Tandy Warnow.
by Salzberg, Steven L | Warnow, Tandy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
416.
|
Artificial Neural Networks – ICANN 2009 [electronic resource] : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I / edited by Cesare Alippi, Marios Polycarpou, Christos Panayiotou, Georgios Ellinas.
by Alippi, Cesare | Polycarpou, Marios | Panayiotou, Christos | Ellinas, Georgios | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
417.
|
Artificial Neural Networks – ICANN 2009 [electronic resource] : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II / edited by Cesare Alippi, Marios Polycarpou, Christos Panayiotou, Georgios Ellinas.
by Alippi, Cesare | Polycarpou, Marios | Panayiotou, Christos | Ellinas, Georgios | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
418.
|
Reachability Problems [electronic resource] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / edited by Olivier Bournez, Igor Potapov.
by Bournez, Olivier | Potapov, Igor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
419.
|
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen.
by Nguyen, Ngoc Thanh | Kowalczyk, Ryszard | Chen, Shyi-Ming | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
420.
|
System Modeling and Optimization [electronic resource] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers / edited by Adam Korytowski, Kazimierz Malanowski, Wojciech Mitkowski, Maciej Szymkat.
by Korytowski, Adam | Malanowski, Kazimierz | Mitkowski, Wojciech | Szymkat, Maciej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|