Refine your search

Your search returned 145 results.

Not what you expected? Check for suggestions
Sort
Results
Modern operating systems / Andrew S. Tanenbaum. by
Edition: Third edition
Language: İngilizce Upper Saddle River, N.J. : Prentice Hall, 2009©2009
Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon QA76.76.O63 T359 2009, ...

Pocket PC development in the enterprise [electronic resource] : mobile solutions with Visual Basic and .NET / Christian Forsberg and Andreas Sjöström. by
Material type: Text Text; Format: print available online remote; Literary form: Not fiction
Language: İngilizce Harlow, England ; New York : Addison-Wesley, 2002
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.5 .F5686 2002.

Multilevel Business Processes : Modeling and Data Analysis / by Christoph G. Schuetz. by
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Fault-Tolerance Techniques for High-Performance Computing / edited by Thomas Herault, Yves Robert. by Series: Computer Communications and Networks
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).

Job Scheduling Strategies for Parallel Processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai. by Series: Theoretical Computer Science and General Issues ; 8828
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).

Introduction to Concurrency Theory : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. by Series: Texts in Theoretical Computer Science. An EATCS Series
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).

Engineering Secure Software and Systems : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova. by Series: Security and Cryptology ; 8978
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 Engineering and Technology : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu. by Series: Communications in Computer and Information Science ; 491
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).

Energy Minimization Methods in Computer Vision and Pattern Recognition : 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings / edited by Xue-Cheng Tai, Egil Bae, Tony F. Chan, Marius Lysaker. by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8932
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).

Graph and Model Transformation : General Framework and Applications / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann. by Series: Monographs in Theoretical Computer Science. An EATCS Series
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).

Trusted Systems : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / edited by Moti Yung, Liehuang Zhu, Yanjiang Yang. by Series: Security and Cryptology ; 9473
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).

Euro-Par 2015: Parallel Processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci. by Series: Theoretical Computer Science and General Issues ; 9233
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).

Cloud Computing and Big Data : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers / edited by Weizhong Qiang, Xianghan Zheng, Ching-Hsien Hsu. by Series: Programming and Software Engineering ; 9106
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).

Finite Difference Methods,Theory and Applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by Series: Theoretical Computer Science and General Issues ; 9045
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).

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Series: Programming and Software Engineering ; 9058
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).

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Theoretical Computer Science and General Issues ; 9206
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).

Resilient Routing in Communication Networks / by Jacek Rak. by Series: Computer Communications and Networks
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).

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