Your search returned 95 results.

Not what you expected? Check for suggestions

Results
		Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki. by Proietti, Maurizio [editor.] Seki, Hirohisa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8981 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov. by Bojanczyk, Mikolai [editor.] Lasota, Slawomir [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9328 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Validation of Evolving Software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. by Chockler, Hana [editor.] Kroening, Daniel [editor.] Mariani, Leonardo [editor.] Sharygina, Natasha [editor.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] Martí-Oliet, Narciso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8941 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Requirements Engineering: Foundation for Software Quality : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / edited by Samuel A. Fricker, Kurt Schneider. by Fricker, Samuel A [editor.] Schneider, Kurt [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9013 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario. by Sankaranarayanan, Sriram [editor.] Vicario, Enrico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9268 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen. by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani. by Dastani, Mehdi [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9392 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan. by Graf, Susanne [editor.] Viswanathan, Mahesh [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9039 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Shankara Narayanan Krishna. by Banerjee, Mohua [editor.] Krishna, Shankara Narayanan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8923 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione. by Fantechi, Alessandro [editor.] Pelliccione, Patrizio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9274 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle. by De Nivelle, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9323 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Cyber Physical Systems. Design, Modeling, and Evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger. by Mousavi, Mohammad Reza [editor.] Berger, Christian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9361 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Hybrid Systems Biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Šafránek. by Abate, Alessandro [editor.] Šafránek, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9271 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)

First
Previous
1
2
3
4
5

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