|
|
|
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings / edited by Nicolas Beldiceanu, Narendra Jussien, Éric Pinson. by Beldiceanu, Nicolas [editor.] | Jussien, Narendra [editor.] | Pinson, Éric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7298Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by Domenach, Florent [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7278Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Public Key Cryptography – PKC 2012 [electronic resource] : 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings / edited by Marc Fischlin, Johannes Buchmann, Mark Manulis. by Fischlin, Marc [editor.] | Buchmann, Johannes [editor.] | Manulis, Mark [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7293Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fun with Algorithms [electronic resource] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings / edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio. by Kranakis, Evangelos [editor.] | Krizanc, Danny [editor.] | Luccio, Flaminia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7288Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / edited by Anthony Bonato, Jeannette Janssen. by Bonato, Anthony [editor.] | Janssen, Jeannette [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7323Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Sequences and Their Applications – SETA 2012 [electronic resource] : 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings / edited by Tor Helleseth, Jonathan Jedwab. by Helleseth, Tor [editor.] | Jedwab, Jonathan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7280Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / edited by Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii. by Hirsch, Edward A [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Prilutskii, Michail [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7353Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Cooper, S. Barry [editor.] | Dawar, Anuj [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7318Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John [editor.] | Fitzgerald, John [editor.] | Gnesi, Stefania [editor.] | Khurshid, Sarfraz [editor.] | Leuschel, Michael [editor.] | Reeves, Steve [editor.] | Riccobene, Elvinia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7316Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers / edited by Guy Even, Magnús M. Halldórsson. by Even, Guy [editor.] | Halldórsson, Magnús M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7355Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Gibbons, Jeremy [editor.] | Nogueira, Pablo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7342Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings / edited by Philip Cox, Beryl Plimmer, Peter Rodgers. by Cox, Philip [editor.] | Plimmer, Beryl [editor.] | Rodgers, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7352Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / edited by Juha Kärkkäinen, Jens Stoye. by Kärkkäinen, Juha [editor.] | Stoye, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7354Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. by Bezhanishvili, Nick [editor.] | Goranko, Valentin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7388Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem. by Ågotnes, Thomas [editor.] | Broersen, Jan [editor.] | Elgesem, Dag [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7393Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur [editor.] | Mehlhorn, Kurt [editor.] | Pitts, Andrew [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7392Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur [editor.] | Mehlhorn, Kurt [editor.] | Pitts, Andrew [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7391Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
