|
|
Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.5913EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK.
|
|
|
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] | Platzer, André [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.63EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.63EBK.
|
|
|
|
|
|
Computer Safety, Reliability, and Security : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.63EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.63EBK.
|
|
|
|
|
|
|
|
|
Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.758EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.758EBK.
|
|
|
|
|
|
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Gorentla Venkata, Manjunath [editor.] | Shamis, Pavel [editor.] | Imam, Neena [editor.] | Lopez, M. Graham [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.758EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.758EBK.
|
|
|
|
|
|
Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe. by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.758EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.758EBK.
|
|
|
|
|
|
Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Csató, Lehel [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.6-76.66EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.6-76.66EBK.
|
|
|
Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Pontelli, Enrico [editor.] | Son, Tran Cao [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.76.C65EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.76.C65EBK.
|
|
|
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.758EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.758EBK.
|
|
|
|
|
|
SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.758EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.758EBK.
|
|
|
Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke. by Franke, Björn [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.7-76.73EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.7-76.73EBK.
|
|
|
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen. by Blazy, Sandrine [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.9.L63EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK.
|
|
|
Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / edited by Francesco Parisi-Presicce, Bernhard Westfechtel. by Parisi-Presicce, Francesco [editor.] | Westfechtel, Bernhard [editor.] | SpringerLink (Online service). Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane
[Call number: QA76.9.M35EBK]
(1). Location(s): E-Kitap Koleksiyonu QA76.9.M35EBK.
|