Refine your search

Your search returned 100 results.

Not what you expected? Check for suggestions
Sort
Results
Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtländer. by Series: Programming and Software Engineering ; 9129
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Series: Lecture Notes in Artificial Intelligence ; 9345
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi. by Series: Theoretical Computer Science and General Issues ; 9527
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Theory of Cryptography : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / edited by Yevgeniy Dodis, Jesper Buus Nielsen. by Series: Security and Cryptology ; 9014
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Mathematics and Computation in Music : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / edited by Tom Collins, David Meredith, Anja Volk. by Series: Lecture Notes in Artificial Intelligence ; 9110
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / edited by Florin Manea, Dirk Nowotka. by Series: Theoretical Computer Science and General Issues ; 9304
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Advances in Cryptology -- CRYPTO 2015 : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I / edited by Rosario Gennaro, Matthew Robshaw. by Series: Security and Cryptology ; 9215
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Algorithms and Computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings / edited by Khaled Elbassioni, Kazuhisa Makino. by Series: Theoretical Computer Science and General Issues ; 9472
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Approximation and Online Algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / edited by Laura Sanità, Martin Skutella. by Series: Theoretical Computer Science and General Issues ; 9499
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters. by Series: Theoretical Computer Science and General Issues ; 9525
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Theory of Cryptography : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / edited by Yevgeniy Dodis, Jesper Buus Nielsen. by Series: Security and Cryptology ; 9015
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. by Series: Theoretical Computer Science and General Issues ; 9399
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Frontiers in Algorithmics : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / edited by Jianxin Wang, Chee Yap. by Series: Theoretical Computer Science and General Issues ; 9130
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Operators for Similarity Search : Semantics, Techniques and Usage Scenarios / by Deepak P, Prasad M. Deshpande. by Series: SpringerBriefs in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Progress in Cryptology - LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / edited by Diego F. Aranha, Alfred Menezes. by Series: Security and Cryptology ; 8895
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy. by Series: Theoretical Computer Science and General Issues ; 9288
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Series: Theoretical Computer Science and General Issues ; 9301
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Arithmetic of Finite Fields : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş. by Series: Theoretical Computer Science and General Issues ; 9061
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe. by Series: Theoretical Computer Science and General Issues ; 8977
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Pages
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.