Arama Sonuçları Logic design. - Daraltılmış: 2008
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bdesign.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092008$0025092008$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2025-01-15T16:39:06Z
Digital electronics and logic design
ent://SD_ILS/0/SD_ILS:385968
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Nair, B. Somanathan.<br/>Yer Numarası TK7868.D5 N35 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic and computer design fundamentals
ent://SD_ILS/0/SD_ILS:109876
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow
ent://SD_ILS/0/SD_ILS:238736
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Hossain, Razak.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511541162">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spectral logic and its applications for design of digital devices
ent://SD_ILS/0/SD_ILS:297626
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Karpovsky, Mark G. Stanković, Radomir S. Astola, Jaakko.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9780471731887">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=468585">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=468585</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470289228">http://dx.doi.org/10.1002/9780470289228</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=236540&ref=toc">http://www.myilibrary.com?id=236540&ref=toc</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0829/2008002714-b.html">http://catdir.loc.gov/catdir/enhancements/fy0829/2008002714-b.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185352
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68103-8">http://dx.doi.org/10.1007/978-3-540-68103-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185615
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185620
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
ent://SD_ILS/0/SD_ILS:185637
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185893
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69814-2">http://dx.doi.org/10.1007/978-3-540-69814-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
25 Years of Model Checking History, Achievements, Perspectives
ent://SD_ILS/0/SD_ILS:185909
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Grumberg, Orna. 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-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185982
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
ent://SD_ILS/0/SD_ILS:185992
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186001
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar 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-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186002
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186003
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186068
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70844-5">http://dx.doi.org/10.1007/978-3-540-70844-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186104
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187913
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Stenström, Per. editor. Dubois, Michel. editor. Katevenis, Manolis. editor. Gupta, Rajiv. editor. Ungerer, Theo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77560-7">http://dx.doi.org/10.1007/978-3-540-77560-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187915
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187946
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188025
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77949-0">http://dx.doi.org/10.1007/978-3-540-77949-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188031
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Yorav, Karen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188204
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78663-4">http://dx.doi.org/10.1007/978-3-540-78663-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188213
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78699-3">http://dx.doi.org/10.1007/978-3-540-78699-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188226
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188227
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188237
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188242
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188243
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Hendren, Laurie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188246
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188277
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188280
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188305
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188320
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188368
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188453
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188592
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188598
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:189398
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
ent://SD_ILS/0/SD_ILS:175672
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Simon, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185416
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185500
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185539
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:185554
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185675
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185700
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69062-7">http://dx.doi.org/10.1007/978-3-540-69062-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185714
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69100-6">http://dx.doi.org/10.1007/978-3-540-69100-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
ent://SD_ILS/0/SD_ILS:185723
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185729
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Alpuente, María. 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-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics of Specification Languages
ent://SD_ILS/0/SD_ILS:187056
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188677
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188682
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Chitil, Olaf. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85373-2">http://dx.doi.org/10.1007/978-3-540-85373-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188648
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188842
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188928
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188931
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87879-7">http://dx.doi.org/10.1007/978-3-540-87879-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189077
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88564-1">http://dx.doi.org/10.1007/978-3-540-88564-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189310
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Bui, The Duy. editor. Ho, Tuong Vinh. editor. Ha, Quang Thuy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89674-6">http://dx.doi.org/10.1007/978-3-540-89674-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
ent://SD_ILS/0/SD_ILS:189319
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Domingue, John. editor. Anutariya, Chutiporn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89704-0">http://dx.doi.org/10.1007/978-3-540-89704-0</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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
A Modular Calculus for the Average Cost of Data Structuring
ent://SD_ILS/0/SD_ILS:167050
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Schellekens, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High-Level Synthesis From Algorithm to Digital Circuit
ent://SD_ILS/0/SD_ILS:170235
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Coussy, Philippe. editor. Morawiec, Adam. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8588-8">http://dx.doi.org/10.1007/978-1-4020-8588-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186166
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187873
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Hudak, Paul. 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-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188152
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Amadio, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188048
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
ent://SD_ILS/0/SD_ILS:188052
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Cebulla, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78195-0">http://dx.doi.org/10.1007/978-3-540-78195-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188342
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188496
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:188747
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188772
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188793
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188879
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188818
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188827
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188894
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87698-4">http://dx.doi.org/10.1007/978-3-540-87698-4</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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188966
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Clark, Alexander. editor. Coste, François. editor. Miclet, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88009-7">http://dx.doi.org/10.1007/978-3-540-88009-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189027
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189042
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189178
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
ent://SD_ILS/0/SD_ILS:189230
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189248
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Ramalingam, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software-Intensive Systems and New Computing Paradigms Challenges and Visions
ent://SD_ILS/0/SD_ILS:189267
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-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-01-15T16:39:06Z
2025-01-15T16:39:06Z
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/>
Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
ent://SD_ILS/0/SD_ILS:189438
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-92698-6">http://dx.doi.org/10.1007/978-3-540-92698-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages An Active Learning Approach
ent://SD_ILS/0/SD_ILS:167677
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Lee, Kent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Problems in VLSI Physical Design Automation
ent://SD_ILS/0/SD_ILS:169876
2025-01-15T16:39:06Z
2025-01-15T16:39:06Z
Yazar Lim, Sung Kyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6627-6">http://dx.doi.org/10.1007/978-1-4020-6627-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>