Arama Sonuçları Logic. - Daraltılmış: Operating systems (Computers).

Design, Analysis and Test of Logic Circuits Under Uncertainty

2024-11-25T18:19:23Z

Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası ONLINE(335669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10549-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-11-25T18:19:23Z

Yazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T18:19:23Z

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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15663-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers V

2024-11-25T18:19:23Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58834-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2024-11-25T18:19:23Z

Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16272-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

2024-11-25T18:19:23Z

Yazar Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T18:19:23Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04918-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35225-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T18:19:23Z

Yazar Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23425-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-11-25T18:19:23Z

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24741-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-11-25T18:19:23Z

Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXXIII

2024-11-25T18:19:23Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58039-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-11-25T18:19:23Z

Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05677-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94764-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-11-25T18:19:23Z

Yazar Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03232-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75178-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2024-11-25T18:19:23Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-11-25T18:19:23Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-11-25T18:19:23Z

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92040-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1026-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-11-25T18:19:23Z

Yazar Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05051-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-11-25T18:19:23Z

Yazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72971-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-11-25T18:19:23Z

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58415-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99673-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T18:19:23Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74896-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-11-25T18:19:23Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Yer Numarası ONLINE(335131.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-11-25T18:19:23Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-11-25T18:19:23Z

Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334610.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2024-11-25T18:19:23Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Yer Numarası ONLINE(334080.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-11-25T18:19:23Z

Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2024-11-25T18:19:23Z

Yazar Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

2024-11-25T18:19:23Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34026-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2024-11-25T18:19:23Z

Yazar Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28891-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

2024-11-25T18:19:23Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34032-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

2024-11-25T18:19:23Z

Yazar Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20398-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Concurrent Systems

2024-11-25T18:19:23Z

Yazar Roscoe, A.W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-258-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17071-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-11-25T18:19:23Z

Yazar Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02414-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

2024-11-25T18:19:23Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04167-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

2024-11-25T18:19:23Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04633-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2024-11-25T18:19:23Z

Yazar Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04694-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings

2024-11-25T18:19:23Z

Yazar Vahrenhold, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02011-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

2024-11-25T18:19:23Z

Yazar Eugster, Patrick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Modular Calculus for the Average Cost of Data Structuring

2024-11-25T18:19:23Z

Yazar Schellekens, Michel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-11-25T18:19:23Z

Yazar Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T18:19:23Z

Yazar Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-11-25T18:19:23Z

Yazar Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-11-25T18:19:23Z

Yazar Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-11-25T18:19:23Z

Yazar Ramalingam, G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2024-11-25T18:19:23Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92188-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of the Spin Model Checker

2024-11-25T18:19:23Z

Yazar Ben-Ari, Mordechai. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-11-25T18:19:23Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-11-25T18:19:23Z

Yazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-11-25T18:19:23Z

Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-11-25T18:19:23Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Shao, Zhong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-11-25T18:19:23Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-11-25T18:19:23Z

Yazar Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-25T18:19:23Z

Yazar Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault-Tolerance Techniques for SRAM-based FPGAs

2024-11-25T18:19:23Z

Yazar Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-31069-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11741060
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11768869
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11773887
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11786160
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2024-11-25T18:19:23Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11804192
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11859802
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2024-11-25T18:19:23Z

Yazar Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11860990
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11888116
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11894063
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-11-25T18:19:23Z

Yazar Kobayashi, Naoki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11924661
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136996
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103251
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107134
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2024-11-25T18:19:23Z

Yazar Roy, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106627
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11556930
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Wang, Farn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11562436
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11572329
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11572961
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105030
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-11-25T18:19:23Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11554578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-11-25T18:19:23Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11561163
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11545262
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11590712
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11580850
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11527695
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137217
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2024-11-25T18:19:23Z

Yazar Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11605300
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137280
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-11-25T18:19:23Z

Yazar Yi, Kwangkeun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11575467
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1