Arama Sonuçları Systems Theory. - Daraltılmış: Computer science.

General systems theory mathematical foundations

2024-12-25T16:41:00Z

Yazar Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thriving Systems Theory and Metaphor-Driven Modeling

2024-12-25T16:41:00Z

Yazar Waguespack, Leslie J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-302-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-12-25T16:41:00Z

Yazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89884-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2024-12-25T16:41:00Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89960-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2024-12-25T16:41:00Z

Yazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91473-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2024-12-25T16:41:00Z

Yazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91476-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2024-12-25T16:41:00Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89963-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-25T16:41:00Z

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

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-25T16:41:00Z

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

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2024-12-25T16:41:00Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335219.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2024-12-25T16:41:00Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Intelligence and Performance Management Theory, Systems and Industrial Applications

2024-12-25T16:41:00Z

Yazar Rausch, Peter. editor. Sheta, Alaa F. editor. Ayesh, Aladdin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331082.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4866-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2024-12-25T16:41:00Z

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

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2024-12-25T16:41:00Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2024-12-25T16:41:00Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27579-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2024-12-25T16:41:00Z

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

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2024-12-25T16:41:00Z

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

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2024-12-25T16:41:00Z

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

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

2024-12-25T16:41:00Z

Yazar Askoxylakis, Ioannis. editor. Pöhls, Henrich C. editor. Posegga, Joachim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30955-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence Systems in Industrial Engineering With Recent Theory and Applications

2024-12-25T16:41:00Z

Yazar Kahraman, Cengiz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-77-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2024-12-25T16:41:00Z

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

Theory-Guided Modeling and Empiricism in Information Systems Research

2024-12-25T16:41:00Z

Yazar Heinzl, Armin. editor. Buxmann, Peter. editor. Wendt, Oliver. editor. Weitzel, Tim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7908-2781-1
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-12-25T16:41:00Z

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

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-12-25T16:41:00Z

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

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings

2024-12-25T16:41:00Z

Yazar Samarati, Pierangela. editor. Tunstall, Michael. editor. Posegga, Joachim. editor. Markantonakis, Konstantinos. editor. Sauveron, Damien. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12368-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-12-25T16:41:00Z

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

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-12-25T16:41:00Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I

2024-12-25T16:41:00Z

Yazar Hüllermeier, Eyke. editor. Kruse, Rudolf. editor. Hoffmann, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14055-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Research in Information Systems Theory and Practice

2024-12-25T16:41:00Z

Yazar Hevner, Alan. author. Chatterjee, Samir. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-5653-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-12-25T16:41:00Z

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

Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings

2024-12-25T16:41:00Z

Yazar Markowitch, Olivier. editor. Bilas, Angelos. editor. Hoepman, Jaap-Henk. editor. Mitchell, Chris J. editor. Quisquater, Jean-Jacques. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03944-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

2024-12-25T16:41:00Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Awareness Systems Advances in Theory, Methodology and Design

2024-12-25T16:41:00Z

Yazar Markopoulos, Panos. editor. De Ruyter, Boris. editor. Mackay, Wendy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-477-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 1

2024-12-25T16:41:00Z

Yazar Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68772-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

2024-12-25T16:41:00Z

Yazar Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-78578-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-12-25T16:41:00Z

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

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

2024-12-25T16:41:00Z

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

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

2024-12-25T16:41:00Z

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

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2024-12-25T16:41:00Z

Yazar Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

2024-12-25T16:41:00Z

Yazar Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-49022-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

2024-12-25T16:41:00Z

Yazar Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-7549-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-12-25T16:41:00Z

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

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-12-25T16:41:00Z

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

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

2024-12-25T16:41:00Z

Yazar Sauveron, Damien. editor. Markantonakis, Konstantinos. editor. Bilas, Angelos. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72354-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

2024-12-25T16:41:00Z

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

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-12-25T16:41:00Z

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

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2024-12-25T16:41:00Z

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

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T16:41:00Z

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

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T16:41:00Z

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

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2024-12-25T16:41:00Z

Yazar Kurki-Suonio, Reino. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138956
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Advances in Theory, Practice, and Education

2024-12-25T16:41:00Z

Yazar Vasilecas, Olegas. editor. Wojtkowski, Wita. editor. Zupančič, Jože. editor. Caplinskas, Albertas. editor. Wojtkowski, W. Gregory. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28809-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2024-12-25T16:41:00Z

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

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2024-12-25T16:41:00Z

Yazar Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11556985
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Operator Perspective on Signals and Systems

2024-12-25T16:41:00Z

Yazar Frazho, Arthur E. author. Bhosri, Wisuwat. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0346-0292-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Dynamic Data Driven Applications Systems

2024-12-25T16:41:00Z

Yazar Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95504-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

2024-12-25T16:41:00Z

Yazar Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization

2024-12-25T16:41:00Z

Yazar Pham, Khanh D. author. SpringerLink (Online service)
Yer Numarası ONLINE(331670.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systems

2024-12-25T16:41:00Z

Yazar Oltramari, Alessandro. editor. Vossen, Piek. editor. Qin, Lu. editor. Hovy, Eduard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333489.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31782-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Reachability Analysis of Hybrid Systems

2024-12-25T16:41:00Z

Yazar Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems

2024-12-25T16:41:00Z

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

Viability Theory New Directions

2024-12-25T16:41:00Z

Yazar Aubin, Jean-Pierre. author. Bayen, Alexandre M. author. Saint-Pierre, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16684-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Control of Boolean Networks A Semi-tensor Product Approach

2024-12-25T16:41:00Z

Yazar Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-097-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Infrastructures

2024-12-25T16:41:00Z

Yazar Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3598-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete, Continuous, and Hybrid Petri Nets

2024-12-25T16:41:00Z

Yazar David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10669-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Control Systems

2024-12-25T16:41:00Z

Yazar Bemporad, Alberto. editor. Heemels, Maurice. editor. Johansson, Mikael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-033-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Complex Systems

2024-12-25T16:41:00Z

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

Algorithms and theory of computation handbook. Special topics and techniques

2024-12-25T16:41:00Z

Yazar Atallah, Mikhail J. Blanton, Marina.
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 Engineering Systems and Computational Cybernetics

2024-12-25T16:41:00Z

Yazar Machado, J. A. Tenreiro. editor. Pátkai, Béla. editor. Rudas, Imre J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8678-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Control of Hybrid Systems A Symbolic Approach

2024-12-25T16:41:00Z

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

Optimierungsmethoden Eine Einführung

2024-12-25T16:41:00Z

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

Model Order Reduction: Theory, Research Aspects and Applications

2024-12-25T16:41:00Z

Yazar Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78841-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Sense of Touch and its Rendering Progress in Haptics Research

2024-12-25T16:41:00Z

Yazar Bicchi, Antonio. editor. Buss, Martin. editor. Ernst, Marc O. editor. Peer, Angelika. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79035-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Théorie élémentaire et pratique de la commande par les régimes glissants

2024-12-25T16:41:00Z

Yazar Lopez, Pierre. author. Nouri, Ahmed Saïd. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-34480-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Systems

2024-12-25T16:41:00Z

Yazar Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-8176-4435-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2024-12-25T16:41:00Z

Yazar Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-8176-4465-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Modeling and Fuzzy Control

2024-12-25T16:41:00Z

Yazar Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions

2024-12-25T16:41:00Z

Yazar Nejat Ince, A. editor. Topuz, Ercan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34167-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Methods for General and Structured Eigenvalue Problems

2024-12-25T16:41:00Z

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

Handbook of Combinatorial Optimization Supplement Volume B

2024-12-25T16:41:00Z

Yazar Du, Ding-Zhu. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b102533
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete, Continuous, and Hybrid Petri Nets

2024-12-25T16:41:00Z

Yazar David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138130
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1