Arama Sonuçları Logic design - Daraltılmış: 2011

Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design

2024-11-15T05:04:51Z

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

Rigorous Software Development An Introduction to Program Verification

2024-11-15T05:04:51Z

Yazar Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-018-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to the Theory of Programming Languages

2024-11-15T05:04:51Z

Yazar Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

2024-11-15T05:04:51Z

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

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

2024-11-15T05:04:51Z

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

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

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

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

2024-11-15T05:04:51Z

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

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

2024-11-15T05:04:51Z

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

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

2024-11-15T05:04:51Z

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

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19208-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20499-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

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

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

2024-11-15T05:04:51Z

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

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

2024-11-15T05:04:51Z

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

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

2024-11-15T05:04:51Z

Yazar Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20920-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2024-11-15T05:04:51Z

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

Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings

2024-11-15T05:04:51Z

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

Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

2024-11-15T05:04:51Z

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

Transactions on Aspect-Oriented Software Development VIII

2024-11-15T05:04:51Z

Yazar Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22031-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

2024-11-15T05:04:51Z

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

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

2024-11-15T05:04:51Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22119-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

2024-11-15T05:04:51Z

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

Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

2024-11-15T05:04:51Z

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

Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

2024-11-15T05:04:51Z

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

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits

2024-11-15T05:04:51Z

Yazar Ben Jamaa, M. Haykel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0650-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings

2024-11-15T05:04:51Z

Yazar Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15739-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Malloy, Brian. editor. Staab, Steffen. editor. Brand, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19440-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers III

2024-11-15T05:04:51Z

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

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19486-3
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-15T05:04:51Z

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

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

2024-11-15T05:04:51Z

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

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

2024-11-15T05:04:51Z

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

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

2024-11-15T05:04:51Z

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

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22359-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22386-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22256-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

2024-11-15T05:04:51Z

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

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

2024-11-15T05:04:51Z

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

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

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

ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

2024-11-15T05:04:51Z

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

Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23059-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2024-11-15T05:04:51Z

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

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

2024-11-15T05:04:51Z

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

Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

2024-11-15T05:04:51Z

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

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23798-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24276-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

2024-11-15T05:04:51Z

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

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

2024-11-15T05:04:51Z

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

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

2024-11-15T05:04:51Z

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

Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings

2024-11-15T05:04:51Z

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

Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24606-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Kivinen, Jyrki. editor. Szepesvári, Csaba. editor. Ukkonen, Esko. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24412-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24431-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24452-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

2024-11-15T05:04:51Z

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

Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings

2024-11-15T05:04:51Z

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

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

2024-11-15T05:04:51Z

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

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

2024-11-15T05:04:51Z

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

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27207-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16478-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

2024-11-15T05:04:51Z

Yazar Fernandes, João M. editor. Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18023-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

2024-11-15T05:04:51Z

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

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19237-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Mining Discovery, Conformance and Enhancement of Business Processes

2024-11-15T05:04:51Z

Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19345-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-15T05:04:51Z

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

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-15T05:04:51Z

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

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-15T05:04:51Z

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

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19829-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Treatise on Intuitionistic Type Theory

2024-11-15T05:04:51Z

Yazar Granström, Johan Georg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1736-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification of Software Systems

2024-11-15T05:04:51Z

Yazar Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trust Networks for Recommender Systems

2024-11-15T05:04:51Z

Yazar Victor, Patricia. author. Cornelis, Chris. author. de Cock, Martine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-08-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital protective relays problems and solutions

2024-11-15T05:04:51Z

Yazar Gurevich, Vladimir, 1956-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent automatic generation control

2024-11-15T05:04:51Z

Yazar Bevrani, Hassan. Hiyama, Takashi.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VHDL for logic synthesis

2024-11-15T05:04:51Z

Yazar Rushton, Andrew.
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?bookid=41715 John Wiley http://dx.doi.org/10.1002/9781119995852 http://proquest.safaribooksonline.com/?fpi=9780470688472 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg http://proquest.safaribooksonline.com/9780470688472
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced digital design with the Verilog HDL

2024-11-15T05:04:51Z

Yazar Ciletti, Michael D.
Yer Numarası TK7885.7 C5485 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Technische Informatik Band 2: Entwurf digitaler Schaltungen

2024-11-15T05:04:51Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

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

Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

2024-11-15T05:04:51Z

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

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19583-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2024-11-15T05:04:51Z

Yazar Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19391-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2024-11-15T05:04:51Z

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

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

2024-11-15T05:04:51Z

Yazar Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20715-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

2024-11-15T05:04:51Z

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

Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

2024-11-15T05:04:51Z

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

Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Calude, Cristian S. editor. Kari, Jarkko. editor. Petre, Ion. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21341-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

2024-11-15T05:04:51Z

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

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2024-11-15T05:04:51Z

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

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

2024-11-15T05:04:51Z

Yazar France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21470-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

2024-11-15T05:04:51Z

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

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

2024-11-15T05:04:51Z

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

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

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

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2024-11-15T05:04:51Z

Yazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22012-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

2024-11-15T05:04:51Z

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

Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings

2024-11-15T05:04:51Z

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

Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Bjørner, Nikolaj. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22438-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22941-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22944-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22953-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

2024-11-15T05:04:51Z

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

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

2024-11-15T05:04:51Z

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

Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

2024-11-15T05:04:51Z

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

Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

Yazar Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22723-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

2024-11-15T05:04:51Z

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

Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp

2024-11-15T05:04:51Z

Yazar Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22830-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22863-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers IV

2024-11-15T05:04:51Z

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

Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

2024-11-15T05:04:51Z

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

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

2024-11-15T05:04:51Z

Yazar Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24580-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

2024-11-15T05:04:51Z

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

Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

2024-11-15T05:04:51Z

Yazar Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24933-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

2024-11-15T05:04:51Z

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

VLSI Physical Design: From Graph Partitioning to Timing Closure

2024-11-15T05:04:51Z

Yazar Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9591-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1