Results of search for 'ccl=(su:{Computer science.})' › ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library catalog

Results
		Functional programming using F# / Michael R. Hansen, Technical University of Denmark, Lyngby, Hans Rischel, Technical University of Denmark, Lyngby. by Hansen, Michael R [author.] Rischel, Hans [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Modern computer algebra / Joachim von zur Gathen, Jürgen Gerhard. by Gathen, Joachim von zur [author.] Gerhard, Jürgen, 1967- [author.] Edition: Third edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Intel Trusted Execution Technology for Server Platforms [electronic resource] : A Guide to More Secure Datacenters / by William Futral, James Greene. by Futral, William [author.] Greene, James [author.] SpringerLink (Online service) Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Managing Risk and Information Security [electronic resource] : Protect to Enable / by Malcolm Harkins. by Harkins, Malcolm [author.] SpringerLink (Online service) Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		S-BPM Illustrated [electronic resource] : A Storybook about Business Process Modeling and Execution / by Albert Fleischmann, Stefan Raß, Robert Singer. by Fleischmann, Albert [author.] Raß, Stefan [author.] Singer, Robert [author.] SpringerLink (Online service) Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Ship and Offshore Structure Design in Climate Change Perspective [electronic resource] / by Elzbieta Maria Bitner-Gregersen, Lars Ingolf Eide, Torfinn Hørte, Rolf Skjong. by Bitner-Gregersen, Elzbieta Maria [author.] Eide, Lars Ingolf [author.] Hørte, Torfinn [author.] Skjong, Rolf [author.] SpringerLink (Online service) Series: SpringerBriefs in Climate Studies Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		The Future Internet [electronic resource] : Future Internet Assembly 2013: Validated Results and New Horizons / edited by Alex Galis, Anastasius Gavras. by Galis, Alex [editor.] Gavras, Anastasius [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7858 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		META-NET Strategic Research Agenda for Multilingual Europe 2020 [electronic resource] / edited by Georg Rehm, Hans Uszkoreit. by Rehm, Georg [editor.] Uszkoreit, Hans [editor.] SpringerLink (Online service) Series: White Paper Series Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		No cover image available Serdica : 2012 : Journal of Computing / Bulgarian Academy of Sciences. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Sofia : The Institute of Mathematics and Informatics, Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (2)Call number: 681.3(05) S49, ... Place hold Log in to add tags Add to cart (remove)
		Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. by Sangiorgi, Davide [editor.] Rutten, J. J. M. M [editor.] Series: Cambridge tracts in theoretical computer science ; 52. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Other title: Advanced Topics in Bisimulation & Coinduction Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		A short course in computational science and engineering : C++, Java, and Octave numerical programming with free software tools / David Yevick. by Yevick, David [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Other title: A Short Course in Computational Science & Engineering Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		An introduction to bisimulation and coinduction / Davide Sangiorgi. by Sangiorgi, Davide [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Other title: Introduction to Bisimulation & Coinduction Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		The Future Internet [electronic resource] : Future Internet Assembly 2012: From Promises to Reality / edited by Federico Alvarez, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Ana Garcia, Anastasius Gavras, Stamatis Karnourskos, Srdjan Krco, Man-Sze Li, Volkmar Lotz, Henning Müller, Elio Salvadori, Anne-Marie Sassen, Hans Schaffers, Burkhard Stiller, Georgios Tselentis, Petra Turkama, Theodore Zahariadis. by Alvarez, Federico [editor.] Cleary, Frances [editor.] Daras, Petros [editor.] Domingue, John [editor.] Galis, Alex [editor.] Garcia, Ana [editor.] Gavras, Anastasius [editor.] Karnourskos, Stamatis [editor.] Krco, Srdjan [editor.] Li, Man-Sze [editor.] Lotz, Volkmar [editor.] Müller, Henning [editor.] Salvadori, Elio [editor.] Sassen, Anne-Marie [editor.] Schaffers, Hans [editor.] Stiller, Burkhard [editor.] Tselentis, Georgios [editor.] Turkama, Petra [editor.] Zahariadis, Theodore [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7281 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Telecommunication Economics [electronic resource] : Selected Results of the COST Action IS0605 Econ@Tel / edited by Antonis M. Hadjiantonis, Burkhard Stiller. by Hadjiantonis, Antonis M [editor.] Stiller, Burkhard [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7216 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Subject-Oriented Business Process Management [electronic resource] / by Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger. by Fleischmann, Albert [author.] Schmidt, Werner [author.] Stary, Christian [author.] Obermeier, Stefan [author.] Börger, Egon [author.] SpringerLink (Online service) Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Selected topics on applications of graph spectra / editors Dragoš Cvetković and Ivan Gutman. by Cvetković, Dragoš, 1947- Gutman, Ivan, 1947- Series: (Zbornik radova / Matematički institut SANU ; knj. 14(22)) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Beograd : Matematički institut SANU, 2011 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 519(082). Place hold Log in to add tags Add to cart (remove)
		Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn. by Esparza, Javier [editor.] Michaux, Christian [editor.] Steinhorn, Charles [editor.] Series: London Mathematical Society lecture note series ; 379. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Finite & Algorithmic Model Theory Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Relational mathematics / Gunther Schmidt. by Schmidt, Gunther, 1939- [author.] Series: Encyclopedia of mathematics and its applications ; v. 132. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Graph-based natural language processing and information retrieval / Rada Mihalcea, Dragomir Radev. by Mihalcea, Rada, 1974- [author.] Radev, Dragomir, 1968- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Graph-based Natural Language Processing & Information Retrieval Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Building parallel, embedded, and real-time applications with Ada / John W. McCormick, Frank Singhoff, Jérôme Hugues. by McCormick, John W, 1948- [author.] Singhoff, Frank [author.] Hugues, Jerome [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Building Parallel, Embedded, & Real-Time Applications with Ada Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

National Science Library of Georgia

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 267 results.