Your search returned 13673 results. Subscribe to this search

|
Transactions on Rough Sets III [electronic resource] / edited by James F. Peters, Andrzej Skowron.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings / edited by Wolfgang Thomas, Pascal Weil.

by Thomas, Wolfgang [editor.] | Weil, Pascal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Critical Information Infrastructures Security [electronic resource] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers / edited by Erich Rome, Robin Bloomfield.

by Rome, Erich [editor.] | Bloomfield, Robin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Anaphora Processing and Applications [electronic resource] : 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro Portugal, October 6-7, 2011. Revised Selected Papers / edited by Iris Hendrickx, Sobha Lalitha Devi, António Branco, Ruslan Mitkov.

by Hendrickx, Iris [editor.] | Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

E-Commerce and Web Technologies [electronic resource] : 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009, Proceedings / edited by Tommaso Noia, Francesco Buccafurri.

by Noia, Tommaso [editor.] | Buccafurri, Francesco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

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 Moedersheim, Catuscia Palamidessi.

by Moedersheim, Sebastian [editor.] | Palamidessi, Catuscia [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Natural and Artificial Models in Computation and Biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I / edited by Jose Manuel Ferrandez Vicente, Jose Ramon Alvarez Sanchez, Felix de la Paz Lopez, Fco. Javier Toledo Moreo.

by Ferrandez Vicente, Jose Manuel [editor.] | Alvarez Sanchez, Jose Ramon [editor.] | de la Paz Lopez, Felix [editor.] | Toledo Moreo, Fco. Javier [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Structural Information and Communication Complexity [electronic resource] : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers / edited by Jukka Suomela.

by Suomela, Jukka [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / edited by Peter Van Roy.

by Van Roy, Peter [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Swarm, Evolutionary, and Memetic Computing [electronic resource] : Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012, Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda.

by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Nanda, Pradipta Kumar [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Integer Programming and Combinatorial Optimization [electronic resource] : 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings / edited by Friedrich Eisenbrand, Bruce Shepherd.

by Eisenbrand, Friedrich [editor.] | Shepherd, Bruce [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Information Systems Security [electronic resource] : Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007, Proceedings / edited by Patrick McDaniel, Shyam K. Gupta.

by McDaniel, Patrick [editor.] | Gupta, Shyam K [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings / edited by Christian G. Fermüller, Andrei Voronkov.

by Fermüller, Christian G [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti.

by Bernardo, Marco [editor.] | Cimatti, Alessandro [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania.

by Freivalds, Rūsiņš Mārtiņš [editor.] | Engels, Gregor [editor.] | Catania, Barbara [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 / edited by Peter van Beek.

by van Beek, Peter [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Information Security and Cryptology [electronic resource] : First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings / edited by Dengguo Feng, Dongdai Lin, Moti Yung.

by Feng, Dengguo [editor.] | Lin, Dongdai [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen.

by Balduccini, Marcello [editor.] | Janhunen, Tomi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae-Kwang Lee, Okyeon Yi, Moti Yung.

by Lee, Jae-Kwang [editor.] | Yi, Okyeon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / edited by Edmund Burke, Michael Trick.

by Burke, Edmund [editor.] | Trick, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available