Arama Sonuçları Logic. - Daraltılmış: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list
2025-03-17T18:36:02Z
Digital logic design
ent://SD_ILS/0/SD_ILS:254614
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Holdsworth, B. (Brian) Woods, R. C. (R. Clive)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750645829">http://www.sciencedirect.com/science/book/9780750645829</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Philosophical Logic
ent://SD_ILS/0/SD_ILS:152492
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic design of nanoICs
ent://SD_ILS/0/SD_ILS:286784
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420038293">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to logic design
ent://SD_ILS/0/SD_ILS:312389
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Marcovitz, Alan B.<br/>Yer Numarası TK7868 L6 M355 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Fundamentals of logic design
ent://SD_ILS/0/SD_ILS:83158
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Roth, Charles H.<br/>Yer Numarası TK 7868.L6 R67 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Fundamentals of logic design
ent://SD_ILS/0/SD_ILS:58700
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Roth, Charles H.<br/>Yer Numarası TK 7868.L6 R67 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic Circuit Design Selected Methods
ent://SD_ILS/0/SD_ILS:196263
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Vingron, Shimon P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Digital logic design a rigorous approach
ent://SD_ILS/0/SD_ILS:280400
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Even, Guy. Medina, Moti, 1979-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Elementary Logic For Software Development
ent://SD_ILS/0/SD_ILS:175702
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lover, Robert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and computer design fundamentals
ent://SD_ILS/0/SD_ILS:109876
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mano, M. Morris Kime, Charles R., ort. yaz.<br/>Yer Numarası TK7888.4 M36 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>
Logic and computer design fundamentals
ent://SD_ILS/0/SD_ILS:97715
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mano, M. Morris Kime, Charles R., ort. yaz.<br/>Yer Numarası TK 7888.4 M36 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic Synthesis for FSM-Based Control Units
ent://SD_ILS/0/SD_ILS:190905
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Functions and Equations Examples and Exercises
ent://SD_ILS/0/SD_ILS:170583
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9595-5">http://dx.doi.org/10.1007/978-1-4020-9595-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Synthesis for Compositional Microprogram Control Units
ent://SD_ILS/0/SD_ILS:185766
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Logic Circuits & Logic Design with Verilog
ent://SD_ILS/0/SD_ILS:484915
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13605-5">https://doi.org/10.1007/978-3-030-13605-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Logic Circuits & Logic Design with VHDL
ent://SD_ILS/0/SD_ILS:485818
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12489-2">https://doi.org/10.1007/978-3-030-12489-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399611
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402375
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402536
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400155
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399476
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399812
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Rusu, Vlad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400563
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401981
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Albert, Elvira. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334552.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334673.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334105.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ent://SD_ILS/0/SD_ILS:334139
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334139.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36166-1">http://dx.doi.org/10.1007/978-3-642-36166-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334718.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Yer Numarası ONLINE(334979.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335032.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335669.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196693
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196774
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Vidal, Germán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197296
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197246
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:207043
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
ent://SD_ILS/0/SD_ILS:197087
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197160
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31951-8">http://dx.doi.org/10.1007/978-3-642-31951-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197456
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Durán, Franciso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adiabatic Logic Future Trend and System Level Perspective
ent://SD_ILS/0/SD_ILS:206336
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Teichmann, Philip. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-2345-0">http://dx.doi.org/10.1007/978-94-007-2345-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193781
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194411
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Alpuente, María. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195000
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22359-4">http://dx.doi.org/10.1007/978-3-642-22359-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Kuchen, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194060
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194483
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mariño, Julio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
ent://SD_ILS/0/SD_ILS:194531
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp
ent://SD_ILS/0/SD_ILS:195153
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22830-8">http://dx.doi.org/10.1007/978-3-642-22830-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192461
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192603
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ent://SD_ILS/0/SD_ILS:192610
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14309-0">http://dx.doi.org/10.1007/978-3-642-14309-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
ent://SD_ILS/0/SD_ILS:192688
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Montali, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192881
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:193440
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16867-3">http://dx.doi.org/10.1007/978-3-642-16867-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191936
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191856
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Escobar, Santiago. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192043
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Schreye, Danny. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12592-8">http://dx.doi.org/10.1007/978-3-642-12592-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192466
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Raedt, Luc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13840-9">http://dx.doi.org/10.1007/978-3-642-13840-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192571
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192832
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14977-1">http://dx.doi.org/10.1007/978-3-642-14977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:192849
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15025-8">http://dx.doi.org/10.1007/978-3-642-15025-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193255
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190568
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189717
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hanus, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:190413
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02734-5">http://dx.doi.org/10.1007/978-3-642-02734-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190440
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02846-5">http://dx.doi.org/10.1007/978-3-642-02846-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188235
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar King, Andy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188863
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189340
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188293
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
ent://SD_ILS/0/SD_ILS:189377
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89982-2">http://dx.doi.org/10.1007/978-3-540-89982-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186274
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Puebla, Germán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187213
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74610-2">http://dx.doi.org/10.1007/978-3-540-74610-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187306
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186979
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184398
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183465
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hill, Patricia M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11680093">http://dx.doi.org/10.1007/11680093</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183744
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183971
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182829
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Etalle, Sandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183019
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183239
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182983
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logically determined design clockless system design with NULL convention logic
ent://SD_ILS/0/SD_ILS:301645
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fant, Karl M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic design a review of theory and practice
ent://SD_ILS/0/SD_ILS:255006
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Langdon, Glen G.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124365506">http://www.sciencedirect.com/science/book/9780124365506</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Granström, Johan Georg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
ent://SD_ILS/0/SD_ILS:528208
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Izadian, Afshin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21908-5">https://doi.org/10.1007/978-3-031-21908-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Digital Design from the VLSI Perspective Concepts for VLSI Beginners
ent://SD_ILS/0/SD_ILS:526891
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-4652-3">https://doi.org/10.1007/978-981-19-4652-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Defined Chips Volume II
ent://SD_ILS/0/SD_ILS:527085
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-7636-0">https://doi.org/10.1007/978-981-19-7636-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482657
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-10549-5">https://doi.org/10.1007/978-3-030-10549-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485728
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machine Learning in VLSI Computer-Aided Design
ent://SD_ILS/0/SD_ILS:485735
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Elfadel, Ibrahim (Abe) M. editor. Boning, Duane S. editor. Li, Xin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04666-8">https://doi.org/10.1007/978-3-030-04666-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
ent://SD_ILS/0/SD_ILS:485990
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-60531-8">https://doi.org/10.1007/978-3-662-60531-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486313
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18656-2">https://doi.org/10.1007/978-3-030-18656-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486324
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486418
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486836
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
ent://SD_ILS/0/SD_ILS:486867
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15663-3">https://doi.org/10.1007/978-3-030-15663-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quick Start Guide to VHDL
ent://SD_ILS/0/SD_ILS:482945
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04516-6">https://doi.org/10.1007/978-3-030-04516-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483235
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20656-7">https://doi.org/10.1007/978-3-030-20656-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484525
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20787-8">https://doi.org/10.1007/978-3-030-20787-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stochastic Computing: Techniques and Applications
ent://SD_ILS/0/SD_ILS:484484
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gross, Warren J. editor. Gaudet, Vincent C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03730-7">https://doi.org/10.1007/978-3-030-03730-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484537
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers V
ent://SD_ILS/0/SD_ILS:484586
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Variant Construction from Theoretical Foundation to Applications
ent://SD_ILS/0/SD_ILS:484902
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Zheng, Jeffrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-2282-2">https://doi.org/10.1007/978-981-13-2282-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quick Start Guide to Verilog
ent://SD_ILS/0/SD_ILS:485097
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-10552-5">https://doi.org/10.1007/978-3-030-10552-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485164
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
ent://SD_ILS/0/SD_ILS:484175
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Izadian, Afshin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02484-0">https://doi.org/10.1007/978-3-030-02484-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486502
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04918-8">https://doi.org/10.1007/978-3-030-04918-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486680
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers
ent://SD_ILS/0/SD_ILS:486756
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23425-6">https://doi.org/10.1007/978-3-030-23425-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482895
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483433
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24741-6">https://doi.org/10.1007/978-3-030-24741-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:483484
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design
ent://SD_ILS/0/SD_ILS:483673
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Moschytz, George S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00096-7">https://doi.org/10.1007/978-3-030-00096-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483833
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-5919-4">https://doi.org/10.1007/978-981-13-5919-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483847
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483956
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-32-9987-0">https://doi.org/10.1007/978-981-32-9987-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Beyond-CMOS Technologies for Next Generation Computer Design
ent://SD_ILS/0/SD_ILS:484013
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90385-9">https://doi.org/10.1007/978-3-319-90385-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Digital Systems Design
ent://SD_ILS/0/SD_ILS:484014
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92804-3">https://doi.org/10.1007/978-3-319-92804-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484033
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
ent://SD_ILS/0/SD_ILS:484081
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91962-1">https://doi.org/10.1007/978-3-319-91962-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog
ent://SD_ILS/0/SD_ILS:484875
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-8776-9">https://doi.org/10.1007/978-981-10-8776-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
ent://SD_ILS/0/SD_ILS:485874
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16272-6">https://doi.org/10.1007/978-3-030-16272-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399265
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399406
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399530
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399597
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399871
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399729
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399802
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399949
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399958
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399961
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00129-2">https://doi.org/10.1007/978-3-030-00129-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399964
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399967
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399984
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400302
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400307
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400716
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable and Energy Efficient Streaming Multiprocessor Systems
ent://SD_ILS/0/SD_ILS:401431
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69374-3">https://doi.org/10.1007/978-3-319-69374-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401639
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401670
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402084
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402196
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92435-9">https://doi.org/10.1007/978-3-319-92435-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402313
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399024
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
ent://SD_ILS/0/SD_ILS:399090
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Melikyan, Vazgen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71637-4">https://doi.org/10.1007/978-3-319-71637-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399102
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399051
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399146
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399155
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399167
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399296
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399356
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399515
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
ent://SD_ILS/0/SD_ILS:399577
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399578
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics for Computer Science Classical and Non-Classical
ent://SD_ILS/0/SD_ILS:399616
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Wasilewska, Anita. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Structures of FPGAs
ent://SD_ILS/0/SD_ILS:399651
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Amano, Hideharu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-0824-6">https://doi.org/10.1007/978-981-13-0824-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:399569
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399903
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399822
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Podelski, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400194
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400146
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Lectures on Runtime Verification Introductory and Advanced Topics
ent://SD_ILS/0/SD_ILS:400774
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400641
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:400854
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduzione al Progetto di Sistemi Digitali
ent://SD_ILS/0/SD_ILS:401180
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-88-470-3963-6">https://doi.org/10.1007/978-88-470-3963-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401195
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
ent://SD_ILS/0/SD_ILS:401372
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mehta, Ashok B. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59418-7">https://doi.org/10.1007/978-3-319-59418-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401495
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401521
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401564
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design of FPGA-Based Computing Systems with OpenCL
ent://SD_ILS/0/SD_ILS:401920
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68161-0">https://doi.org/10.1007/978-3-319-68161-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401932
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401949
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398931
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399353
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399485
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399486
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399721
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399794
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Computational Science XXXIII
ent://SD_ILS/0/SD_ILS:399733
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A First Introduction to Quantum Computing and Information
ent://SD_ILS/0/SD_ILS:399815
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Zygelman, Bernard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91629-3">https://doi.org/10.1007/978-3-319-91629-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400075
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400065
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400253
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:400263
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400340
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400343
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400344
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Refinement Semantics, Languages and Applications
ent://SD_ILS/0/SD_ILS:400372
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400495
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400513
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01141-3">https://doi.org/10.1007/978-3-030-01141-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400528
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400553
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400554
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400560
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400594
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400605
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:400823
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400833
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401274
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401446
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75553-3">https://doi.org/10.1007/978-3-319-75553-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401459
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401698
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401731
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:401746
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401984
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III
ent://SD_ILS/0/SD_ILS:401990
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402686
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402724
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Konstantinidis, Stavros. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
ent://SD_ILS/0/SD_ILS:529862
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Abe, Jair Minoro. author. Akama, Seiki. author. Nakamatsu, Kazumi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17912-4">https://doi.org/10.1007/978-3-319-17912-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design of Experiments for Reinforcement Learning
ent://SD_ILS/0/SD_ILS:529902
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gatti, Christopher. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12197-0">https://doi.org/10.1007/978-3-319-12197-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sayısal tasarım
ent://SD_ILS/0/SD_ILS:370964
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Mano, M. Morris. Boğosyan, Seta, çev. Gökaşan, Metin, çev. Kurtulan, Salman, çev.<br/>Yer Numarası TK7888.3 M35 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488939
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Computational Science XXIV Special Issue on Reversible Computing
ent://SD_ILS/0/SD_ILS:489061
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45711-5">https://doi.org/10.1007/978-3-662-45711-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332107.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332964
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Yer Numarası ONLINE(332964.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332981
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332981.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332982.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333011
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(333011.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334494
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334494.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334533.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VII
ent://SD_ILS/0/SD_ILS:334545
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Yer Numarası ONLINE(334545.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334556.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334562
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334562.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334665.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334683.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334691
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334691.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334626.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334630
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334630.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334631.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334634.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334697
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334697.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334698.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334708
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334708.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334711.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334778.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334724.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334651.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334743
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334743.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334851
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334851.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334907
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334907.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40196-1">http://dx.doi.org/10.1007/978-3-642-40196-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334911
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334911.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334913
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334913.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VIII
ent://SD_ILS/0/SD_ILS:334949
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334949.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335204
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335204.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335213.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331611.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333558
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333558.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334014.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334034
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334034.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(334041.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334069.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334073.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334077
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334080
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.<br/>Yer Numarası ONLINE(334080.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334096.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334136
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334136.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334174
2025-03-17T18:36:02Z
2025-03-17T18:36:02Z
Yazar Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334174.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>