|
|
5261.
|
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer.
by Gopalakrishnan, Ganesh | Qadeer, Shaz | 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
|
|
|
5262.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe.
by Brünnler, Kai | Metcalfe, George | 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
|
|
|
5263.
|
Security Protocols XVI [electronic resource] : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe.
by Christianson, Bruce | Malcolm, James A | Matyas, Vashek | Roe, Michael | 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
|
|
|
5264.
|
Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger.
by Wolff, Karl Erich | Palchunov, Dmitry E | Zagoruiko, Nikolay G | Andelfinger, Urs | 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
|
|
|
5265.
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings / edited by Weiru Liu.
by Liu, Weiru | 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
|
|
|
5266.
|
Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh.
by Mohamad Zain, Jasni | Wan Mohd, Wan Maseri bt | El-Qawasmeh, Eyas | 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
|
|
|
5267.
|
Networked Digital Technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings / edited by Simon Fong.
by Fong, Simon | 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
|
|
|
5268.
|
Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh.
by Zain, Jasni Mohamad | Wan Mohd, Wan Maseri bt | El-Qawasmeh, Eyas | 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
|
|
|
5269.
|
Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh.
by Zain, Jasni Mohamad | Wan Mohd, Wan Maseri bt | El-Qawasmeh, Eyas | 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
|
|
|
5270.
|
Systems, Software and Service Process Improvement [electronic resource] : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / edited by Rory V. O‘Connor, Jan Pries-Heje, Richard Messnarz.
by O‘Connor, Rory V | Pries-Heje, Jan | Messnarz, Richard | 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
|
|
|
5271.
|
Structural Information and Communication Complexity [electronic resource] : 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings / edited by Adrian Kosowski, Masafumi Yamashita.
by Kosowski, Adrian | Yamashita, Masafumi | 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
|
|
|
5272.
|
Artificial Intelligence in Medicine [electronic resource] : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings / edited by Mor Peleg, Nada Lavrač, Carlo Combi.
by Peleg, Mor | Lavrač, Nada | Combi, Carlo | 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
|
|
|
5273.
|
Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost.
by Pogodalla, Sylvain | Prost, Jean-Philippe | 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
|
|
|
5274.
|
Web Engineering [electronic resource] : 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 / edited by Sören Auer, Oscar Díaz, George A. Papadopoulos.
by Auer, Sören | Díaz, Oscar | Papadopoulos, George A | 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
|
|
|
5275.
|
Integrated Computing Technology [electronic resource] : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 – June 2, 2011. Proceedings / edited by Estevam Rafael Hruschka, Junzo Watada, Maria Carmo Nicoletti.
by Hruschka, Estevam Rafael | Watada, Junzo | Carmo Nicoletti, Maria | 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
|
|
|
5276.
|
Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel.
by Bouchou-Markhoff, Béatrice | Caron, Pascal | Champarnaud, Jean-Marc | Maurel, Denis | 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
|
|
|
5277.
|
Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings / edited by Simone Fischer-Hübner, Nicholas Hopper.
by Fischer-Hübner, Simone | Hopper, Nicholas | 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
|
|
|
5278.
|
Self Organized Nanostructures of Amphiphilic Block Copolymers II [electronic resource] / edited by Axel H.E. Müller, Oleg Borisov.
by Müller, Axel H.E | Borisov, Oleg | 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
|
|
|
5279.
|
Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings / edited by Frank Dehne, John Iacono, Jörg-Rüdiger Sack.
by Dehne, Frank | Iacono, John | Sack, Jörg-Rüdiger | 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
|
|
|
5280.
|
Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada.
by Bezhanishvili, Nick | Löbner, Sebastian | Schwabe, Kerstin | Spada, Luca | 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
|
