Your search returned 30125 results. Subscribe to this search

|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof.

by Morrill, Glyn [editor.] | Nederhof, Mark-Jan [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

High Performance Computing - HiPC 2006 [electronic resource] : 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings / edited by Yves L. Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.

by Robert, Yves L [editor.] | Parashar, Manish [editor.] | Badrinath, Ramamurthy [editor.] | Prasanna, Viktor K [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

MICAI 2006: Advances in Artificial Intelligence [electronic resource] : 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings / edited by Alexander Gelbukh, Carlos Alberto Reyes-Garcia.

by Gelbukh, Alexander [editor.] | Reyes-Garcia, Carlos Alberto [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

Wireless Algorithms, Systems, and Applications [electronic resource] : 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings / edited by Qing Yang, Wei Yu, Yacine Challal.

by Yang, Qing [editor.] | Yu, Wei [editor.] | Challal, Yacine [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

Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part II / edited by Licheng Jiao, Lipo Wang, Xinbo Gao, Jing Liu, Feng Wu.

by Jiao, Licheng [editor.] | Wang, Lipo [editor.] | Gao, Xinbo [editor.] | Liu, Jing [editor.] | Wu, Feng [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

High Performance Computing - HiPC 2007 [electronic resource] : 14th International Conference, Goa, India, December 18-21, 2007, Proceedings / edited by Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.

by Aluru, Srinivas [editor.] | Parashar, Manish [editor.] | Badrinath, Ramamurthy [editor.] | Prasanna, Viktor 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

Critical Information Infrastructures Security [electronic resource] : 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012. Revised Selected Papers / edited by Bernhard Hämmerli, Nils Kalstad Svendsen, Javier Lopez.

by Hämmerli, Bernhard [editor.] | Kalstad Svendsen, Nils [editor.] | Lopez, 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

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings / edited by Antti Valmari.

by Valmari, Antti [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

Computer Vision - ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV / edited by David Forsyth, Philip Torr, Andrew Zisserman.

by Forsyth, David [editor.] | Torr, Philip [editor.] | Zisserman, Andrew [editor.] | SpringerLink (Online service).

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

Public Key Infrastructure [electronic resource] : 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings / edited by Pierangela Samarati, Josep L. Ferrer.

by Samarati, Pierangela [editor.] | Ferrer, Josep L [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

Advances in Applied Artificial Intelligence [electronic resource] : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings / edited by Moonis Ali, Richard Dapoigny.

by Ali, Moonis [editor.] | Dapoigny, Richard [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

Computer Vision - ACCV 2016 Workshops [electronic resource] : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II / edited by Chu-Song Chen, Jiwen Lu, Kai-Kuang Ma.

by Chen, Chu-Song [editor.] | Lu, Jiwen [editor.] | Ma, Kai-Kuang [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

Global Optimization and Constraint Satisfaction [electronic resource] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam.

by Jermann, Christophe [editor.] | Neumaier, Arnold [editor.] | Sam, Djamila [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

Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings / edited by Hsu-Chun Yen, Oscar H. Ibarra.

by Yen, Hsu-Chun [editor.] | Ibarra, Oscar H [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

Ubiquitous Intelligence and Computing [electronic resource] : 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008 Proceedings / edited by Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence Tianruo Yang.

by Sandnes, Frode Eika [editor.] | Zhang, Yan [editor.] | Rong, Chunming [editor.] | Yang, Laurence Tianruo [editor.] | SpringerLink (Online service).

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

Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener.

by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [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

Advances in Web-Based Learning -- ICWL 2013 [electronic resource] : 12th International Conference, Kenting, Taiwan, October 6-9, 2013, Proceedings / edited by Jhing-Fa Wang, Rynson Lau.

by Wang, Jhing-Fa [editor.] | Lau, Rynson [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

Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter.

by Bezhanishvili, Guram [editor.] | Löbner, Sebastian [editor.] | Marra, Vincenzo [editor.] | Richter, Frank [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

Security, Privacy and Anonymity in Computation, Communication and Storage [electronic resource] : SpaCCS 2016 International Workshops, TrustData, TSP, NOPE, DependSys, BigDataSPT, and WCSSC, Zhangjiajie, China, November 16-18, 2016, Proceedings / edited by Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi.

by Wang, Guojun [editor.] | Ray, Indrakshi [editor.] | Alcaraz Calero, Jose M [editor.] | Thampi, Sabu M [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

Scientific and Statistical Database Management [electronic resource] : 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings / edited by Anastasia Ailamaki, Shawn Bowers.

by Ailamaki, Anastasia [editor.] | Bowers, Shawn [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