|
|
|
Mathematics for computation (M4C) by Benini, Marco | Beyersdorff, Olaf | Rathjen, Michael | Schuster, Peter. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Jersey World Scientific 2023Availability: No items available : Checked out (1).
|
|
|
|
Deterministic and Statistical Methods in Machine Learning [electronic resource] : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures / edited by Joab Winkler, Mahesan Niranjan, Neil Lawrence. by Winkler, Joab [editor.] | Niranjan, Mahesan [editor.] | Lawrence, Neil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3635Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers / edited by Ulrik Brandes, Sabine Cornelsen. by Brandes, Ulrik [editor.] | Cornelsen, Sabine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6502Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Combinatorial Algorithms [electronic resource] : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. by Iliopoulos, Costas S [editor.] | Smyth, William F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6460Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / edited by Thomas Sturm, Christoph Zengler. by Sturm, Thomas [editor.] | Zengler, Christoph [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6301Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. by Iliopoulos, Costas S [editor.] | Smyth, William F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7056Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II / edited by Robert Meersman, Zahir Tari. by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3291Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3569Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Vision for Biomedical Image Applications [electronic resource] : First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005. Proceedings / edited by Yanxi Liu, Tianzi Jiang, Changshui Zhang. by Liu, Yanxi [editor.] | Jiang, Tianzi [editor.] | Zhang, Changshui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3765Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings / edited by Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, Rüdiger Brause. by Maglaveras, Nicos [editor.] | Chouvarda, Ioanna [editor.] | Koutkias, Vassilis [editor.] | Brause, Rüdiger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4345Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97 Grenoble, France, March 23–26, 1997 Proceedings / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt. by Keravnou, Elpida [editor.] | Garbay, Catherine [editor.] | Baud, Robert [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 1211Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela. by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1256Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius, Thomas R. Roth-Berghofer. by Dengel, Andreas R [editor.] | Berns, Karsten [editor.] | Breuel, Thomas M [editor.] | Bomarius, Frank [editor.] | Roth-Berghofer, Thomas R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5243Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings / edited by Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia. by Nielsen, Mogens [editor.] | Kučera, Antonín [editor.] | Miltersen, Peter Bro [editor.] | Palamidessi, Catuscia [editor.] | Tůma, Petr [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5404Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|