Your search returned 16 results.

Sort
Results
Handbook of large-scale random networks

by Bollobas, Bela [Editor] | Kozma, Robert [Editor] | Miklos, Dezso [Editor].

Series: Bolyai society mathematical studies ; v.18 Language: English Publication details: 2009 New york SpringerAvailability: Items available for loan: 1 Call number: 518.4 Han.

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday (e-book)

by Blass, Andreas [Editor] | Dershowitz, Nachum [Editor] | Reisig, Wolfgang [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6300 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Logic and games on automatic structures : playing with quantifiers and decompositions (e-book)

by Kaiser, Lukasz [Author].

Series: Lecture Notes in Computer Science (LNCS) ; v.6810 Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Cellular automata and discrete complex systems : 20th international workshop, AUTOMATA, Himeji, Japan, Jul. 7-9, 2014 (e-book)

by Isokawa, Teijiro ... [et al.] [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.8996 Language: English Publication details: Berlin Springer 2014Online access: Click here to access online Availability: Items available for reference: Online (1) .

Nash equilibrium computation in various games (R)

by Mehta, Ruta [Author] | Sohani, Milind [Supervisor] | Adsul, Bharat [Supervisor].

Language: English Publication details: Mumbai IIT 2012Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering. 2012 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:519.28 Meh.

Study of planar locally connected graphs (R)

by Usha Rani, N [Author] | Diwan, A.A [Supervisor] | Department of Computer Science and Engineering.

Language: English Publication details: Mumbai IIT 1995Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1995 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:518.4 Ush.

Generalization of the Los-Tarski preservation theorem (R)

by Sankaran, Abhisekh [Author] | Chakraborty, Supratik [Supervisor] | Adsul, Bharat [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering.

Language: English Publication details: Bombay ; IIT ; 2016Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2016 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:517.1San.

Mathematics++ : selected topics beyond the basic courses

by Kantor, Ida | Matousek, Jiri [Author] | Samal, Robert [Author].

Series: Student mathematical library ; v.75Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence American Mathematical Society 2015Availability: Items available for loan: 1 Call number: 51 Kan.

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA, proceedings, Turku, Finland, June 8-10, 2015 (e-book)

by Kari, Jarkko [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9099 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Cellular automata and discrete complex systems : 22nd IFIP WG 1.5 International workshop, AUTOMATA proceedings 2016, Zurich, Switzerland, June 15-17, 2016 (e-book)

by Cook, Matthew [Editor] | Neary, Turlough [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9664 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha