|
|
|
|
|
|
|
Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by Bonifaci, Vincenzo [editor.] | Demetrescu, Camil [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7933Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by Béal, Marie-Pierre [editor.] | Carton, Olivier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7907Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings / edited by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D. P. Rolim. by Raghavendra, Prasad [editor.] | Raskhodnikova, Sofya [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8096Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by Darling, Aaron [editor.] | Stoye, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8126Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semantic Web – ISWC 2013 [electronic resource] : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I / edited by Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz. by Alani, Harith [editor.] | Kagal, Lalana [editor.] | Fokoue, Achille [editor.] | Groth, Paul [editor.] | Biemann, Chris [editor.] | Parreira, Josiane Xavier [editor.] | Aroyo, Lora [editor.] | Noy, Natasha [editor.] | Welty, Chris [editor.] | Janowicz, Krzysztof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8218Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
European Congress of Mathematics Kraków, 2 – 7 July, 2012 [electronic resource] / Rafał Latała, Andrzej Ruciński, Paweł Strzelecki, Jacek Świątkowski, Dariusz Wrzosek, Piotr Zakrzewski by Latała, Rafał [editor.] | Ruciński, Andrzej [editor.] | Strzelecki, Paweł [editor.] | Świątkowski, Jacek [editor.] | Wrzosek, Dariusz [editor.] | Zakrzewski, Piotr [editor.]. Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2014Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Fco. Javier Toledo-Moreo, Hojjat Adeli. by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9108 | Lecture Notes in Computer Science ; 9108Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings / edited by Domenico Salvagnin, Michele Lombardi. by Salvagnin, Domenico [editor.] | Lombardi, Michele [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10335 | Lecture Notes in Computer Science ; 10335Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz. by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Computer Games [electronic resource] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters. by Winands, Mark H.M [editor.] | van den Herik, H. Jaap [editor.] | Kosters, Walter A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10664 | Lecture Notes in Computer Science ; 10664Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / edited by Martin Hirt, Adam Smith. by Hirt, Martin [editor.] | Smith, Adam [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9986 | Lecture Notes in Computer Science ; 9986Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9890 | Lecture Notes in Computer Science ; 9890Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Experimental Algorithms [electronic resource] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / edited by Andrew V. Goldberg, Alexander S. Kulikov. by Goldberg, Andrew V [editor.] | Kulikov, Alexander S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9685 | Lecture Notes in Computer Science ; 9685Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9135 | Lecture Notes in Computer Science ; 9135Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Random Walks, Random Fields, and Disordered Systems [electronic resource] / by Anton Bovier, David Brydges, Amin Coja-Oghlan, Dmitry Ioffe, Gregory F. Lawler ; edited by Marek Biskup, Jiří Černý, Roman Kotecký. by Bovier, Anton [author.] | Brydges, David [author.] | Coja-Oghlan, Amin [author.] | Ioffe, Dmitry [author.] | Lawler, Gregory F [author.] | Biskup, Marek [editor.] | Černý, Jiří [editor.] | Kotecký, Roman [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 2144Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|