Search Results for State, The. - Narrowed by: Programming Languages, Compilers, Interpreters.

Programming with Actors State-of-the-Art and Research Perspectives

2024-06-17T09:28:17Z

by Ricci, Alessandro. editor.
https://doi.org/10.1007/978-3-030-00302-9
Format: Elektronik Kaynak

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2024-06-17T09:28:17Z

by Bloem, Roderick. editor.
https://doi.org/10.1007/978-3-319-49052-6
Format: Elektronik Kaynak

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2024-06-17T09:28:17Z

by Blazy, Sandrine. editor.
https://doi.org/10.1007/978-3-319-48869-1
Format: Elektronik Kaynak

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-06-17T09:28:17Z

by Gurfinkel, Arie. editor.
https://doi.org/10.1007/978-3-319-29613-5
Format: Elektronik Kaynak

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-06-17T09:28:17Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-91271-4
Format: Elektronik Kaynak

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-06-17T09:28:17Z

by Azevedo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Elektronik Kaynak

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2024-06-17T09:28:17Z

by Bošnački, Dragan. editor.
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Elektronik Kaynak

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

2024-06-17T09:28:17Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/b105030
Format: Elektronik Kaynak

Temporal Logic and State Systems

2024-06-17T09:28:17Z

by Kröger, Fred. author.
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Elektronik Kaynak

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-06-17T09:28:17Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Elektronik Kaynak

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2024-06-17T09:28:17Z

by Hagiya, Masami. editor.
http://dx.doi.org/10.1007/11737414
Format: Elektronik Kaynak

Virtual Machines

2024-06-17T09:28:17Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-246-1
Format: Elektronik Kaynak

Automatic Tuning of Compilers Using Machine Learning

2024-06-17T09:28:17Z

by Ashouri, Amir H. author.
https://doi.org/10.1007/978-3-319-71489-9
Format: Elektronik Kaynak

Deductive Software Verification – The KeY Book From Theory to Practice

2024-06-17T09:28:17Z

by Ahrendt, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-49812-6
Format: Elektronik Kaynak

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

2024-06-17T09:28:17Z

by Emerson, E. Allen. editor.
http://dx.doi.org/10.1007/11609773
Format: Elektronik Kaynak

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-06-17T09:28:17Z

by Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Elektronik Kaynak

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2024-06-17T09:28:17Z

by Bošnački, Dragan. editor.
https://doi.org/10.1007/978-3-319-32582-8
Format: Elektronik Kaynak

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-06-17T09:28:17Z

by Audebaud, Philippe. editor.
http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Elektronik Kaynak

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

2024-06-17T09:28:17Z

by Börger, Egon. editor.
http://dx.doi.org/10.1007/978-3-540-89762-0
Format: Elektronik Kaynak

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

2024-06-17T09:28:17Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: Elektronik Kaynak

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2024-06-17T09:28:17Z

by Hierons, Robert M. editor.
http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Elektronik Kaynak

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-06-17T09:28:17Z

by Fages, François. editor.
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Elektronik Kaynak

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2024-06-17T09:28:17Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: Elektronik Kaynak

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 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-06-17T09:28:17Z

by Seidl, Helmut. editor.
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Elektronik Kaynak

Beginning ASP.NET 2.0 in C# 2005 From Novice to Professional

2024-06-17T09:28:17Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0121-2
Format: Elektronik Kaynak

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2024-06-17T09:28:17Z

by Romijn, Judi. editor.
http://dx.doi.org/10.1007/11589976
Format: Elektronik Kaynak

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

2024-06-17T09:28:17Z

by Godefroid, Patrice. editor.
http://dx.doi.org/10.1007/11537328
Format: Elektronik Kaynak

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-06-17T09:28:17Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Elektronik Kaynak

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute

2024-06-17T09:28:17Z

by Williams, John. author.
http://dx.doi.org/10.1007/978-1-4020-8446-1
Format: Elektronik Kaynak

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-06-17T09:28:17Z

by Petrenko, Alexandre. editor.
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Elektronik Kaynak

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-06-17T09:28:17Z

by Davies, Jim. editor.
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Elektronik Kaynak

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2024-06-17T09:28:17Z

by Backhouse, Roland. editor.
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Elektronik Kaynak

Pro ASP.NET 2.0 in VB 2005

2024-06-17T09:28:17Z

by Moroney, Laurence. editor.
http://dx.doi.org/10.1007/978-1-4302-0118-2
Format: Elektronik Kaynak

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

2024-06-17T09:28:17Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/11805618
Format: Elektronik Kaynak

Beginning ASP.NET 2.0 in VB 2005 From Novice to Professional

2024-06-17T09:28:17Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0155-7
Format: Elektronik Kaynak

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-06-17T09:28:17Z

by Rust, Heinrich. author.
http://dx.doi.org/10.1007/978-3-540-32008-1
Format: Elektronik Kaynak

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-06-17T09:28:17Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Elektronik Kaynak

Principles of the Spin Model Checker

2024-06-17T09:28:17Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Elektronik Kaynak

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

2024-06-17T09:28:17Z

by Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-85114-1
Format: Elektronik Kaynak

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-06-17T09:28:17Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Elektronik Kaynak

Reverse Engineering of Object Oriented Code

2024-06-17T09:28:17Z

by Tonella, Paolo. author.
http://dx.doi.org/10.1007/b102522
Format: Elektronik Kaynak

Pro ASP.NET 1.1 in VB .NET From Professional to Expert

2024-06-17T09:28:17Z

by Allen, K. Scott. author.
http://dx.doi.org/10.1007/978-1-4302-0022-2
Format: Elektronik Kaynak

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

2024-06-17T09:28:17Z

by Lau, Kung-Kiu. editor.
http://dx.doi.org/10.1007/11576280
Format: Elektronik Kaynak

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-06-17T09:28:17Z

by Kreowski, Hans-Jörg. editor.
http://dx.doi.org/10.1007/b106390
Format: Elektronik Kaynak

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-06-17T09:28:17Z

by Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Elektronik Kaynak

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2024-06-17T09:28:17Z

by Mazzara, Manuel. editor.
https://doi.org/10.1007/978-3-319-41579-6
Format: Elektronik Kaynak

Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

2024-06-17T09:28:17Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-68624-8
Format: Elektronik Kaynak

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2024-06-17T09:28:17Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Elektronik Kaynak

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-06-17T09:28:17Z

by Amadio, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Elektronik Kaynak

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-06-17T09:28:17Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Elektronik Kaynak

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-06-17T09:28:17Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-540-78743-3
Format: Elektronik Kaynak

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2024-06-17T09:28:17Z

by Leue, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-79707-4
Format: Elektronik Kaynak

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2024-06-17T09:28:17Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/1-4020-3532-2
Format: Elektronik Kaynak

Model-Based Testing of Reactive Systems Advanced Lectures

2024-06-17T09:28:17Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/b137241
Format: Elektronik Kaynak

Pro ASP.NET 2.0 in C# 2005

2024-06-17T09:28:17Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0064-2
Format: Elektronik Kaynak

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015

2024-06-17T09:28:17Z

by Agrawal, S. S. editor.
https://doi.org/10.1007/978-981-10-6626-9
Format: Elektronik Kaynak

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-06-17T09:28:17Z

by Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Elektronik Kaynak

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-06-17T09:28:17Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Elektronik Kaynak

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-06-17T09:28:17Z

by Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Elektronik Kaynak

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-06-17T09:28:17Z

by Chaudron, Michel R. V. editor.
http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Elektronik Kaynak

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

2024-06-17T09:28:17Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/11901433
Format: Elektronik Kaynak

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

2024-06-17T09:28:17Z

by Christiansen, Henning. editor.
http://dx.doi.org/10.1007/b136253
Format: Elektronik Kaynak

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2024-06-17T09:28:17Z

by Sarukkai, Sundar. editor.
http://dx.doi.org/10.1007/11590156
Format: Elektronik Kaynak

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2024-06-17T09:28:17Z

by Ábrahám, Erika. editor.
https://doi.org/10.1007/978-3-319-33693-0
Format: Elektronik Kaynak

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

2024-06-17T09:28:17Z

by Filipe, Joaquim. editor.
http://dx.doi.org/10.1007/978-3-540-70621-2
Format: Elektronik Kaynak

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-06-17T09:28:17Z

by Raskin, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Elektronik Kaynak

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

2024-06-17T09:28:17Z

by Indulska, Jadwiga. editor.
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Elektronik Kaynak

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

2024-06-17T09:28:17Z

by Ma, Zhe. editor.
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: Elektronik Kaynak

Real-Time Object Uniform Design Methodology with UML

2024-06-17T09:28:17Z

by Duc, Bui Minh. editor.
http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Elektronik Kaynak

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-06-17T09:28:17Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/b107116
Format: Elektronik Kaynak

Abstraction, Refinement and Proof for Probabilistic Systems

2024-06-17T09:28:17Z

by McIver, Annabelle. author.
http://dx.doi.org/10.1007/b138392
Format: Elektronik Kaynak

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

2024-06-17T09:28:17Z

by Dearle, Alan. editor.
http://dx.doi.org/10.1007/11590712
Format: Elektronik Kaynak

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-06-17T09:28:17Z

by Lohstroh, Marten. editor.
https://doi.org/10.1007/978-3-319-95246-8
Format: Elektronik Kaynak

Model-Based Systems Engineering with OPM and SysML

2024-06-17T09:28:17Z

by Dori, Dov. author.
https://doi.org/10.1007/978-1-4939-3295-5
Format: Elektronik Kaynak

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-06-17T09:28:17Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-33600-8
Format: Elektronik Kaynak

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-06-17T09:28:17Z

by Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Elektronik Kaynak

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-06-17T09:28:17Z

by Bin, Eyal. editor.
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Elektronik Kaynak

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2024-06-17T09:28:17Z

by Havelund, Klaus. editor.
http://dx.doi.org/10.1007/11940197
Format: Elektronik Kaynak

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2024-06-17T09:28:17Z

by Valmari, Antti. editor.
http://dx.doi.org/10.1007/11691617
Format: Elektronik Kaynak

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

2024-06-17T09:28:17Z

by Heineman, George T. editor.
http://dx.doi.org/10.1007/b136248
Format: Elektronik Kaynak

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-06-17T09:28:17Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Elektronik Kaynak

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-06-17T09:28:17Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Elektronik Kaynak

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-06-17T09:28:17Z

by Tuyls, Karl. editor.
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Elektronik Kaynak

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2024-06-17T09:28:17Z

by Pautasso, Cesare. editor.
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: Elektronik Kaynak

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-06-17T09:28:17Z

by Brim, Luboš. editor.
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Elektronik Kaynak

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2024-06-17T09:28:17Z

by Kühne, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-69489-2
Format: Elektronik Kaynak

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2024-06-17T09:28:17Z

by Engels, Gregor. editor.
http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Elektronik Kaynak

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-06-17T09:28:17Z

by Huss, Sorin A. editor.
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Elektronik Kaynak

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-06-17T09:28:17Z

by Barkaoui, Kamel. editor.
http://dx.doi.org/10.1007/11921240
Format: Elektronik Kaynak

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2024-06-17T09:28:17Z

by Asarin, Eugene. editor.
http://dx.doi.org/10.1007/11867340
Format: Elektronik Kaynak

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

2024-06-17T09:28:17Z

by Eliassen, Frank. editor.
http://dx.doi.org/10.1007/11773887
Format: Elektronik Kaynak

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-06-17T09:28:17Z

by Black, Andrew P. editor.
http://dx.doi.org/10.1007/11531142
Format: Elektronik Kaynak

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-06-17T09:28:17Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Elektronik Kaynak

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-06-17T09:28:17Z

by Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Elektronik Kaynak

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-06-17T09:28:17Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Elektronik Kaynak

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2024-06-17T09:28:17Z

by Baier, Christel. editor.
http://dx.doi.org/10.1007/11817949
Format: Elektronik Kaynak

Fundamental Approaches to Software Engineering 9th International Conference, FASE 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-06-17T09:28:17Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/11693017
Format: Elektronik Kaynak

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 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-06-17T09:28:17Z

by Sassone, Vladimiro. editor.
http://dx.doi.org/10.1007/b106850
Format: Elektronik Kaynak

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

2024-06-17T09:28:17Z

by Abadi, Martín. editor.
http://dx.doi.org/10.1007/11539452
Format: Elektronik Kaynak

Fundamental Approaches to Software Engineering 8th International Conference, FASE 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-06-17T09:28:17Z

by Cerioli, Maura. editor.
http://dx.doi.org/10.1007/b107062
Format: Elektronik Kaynak

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-06-17T09:28:17Z

by Chechik, Marsha. editor.
https://doi.org/10.1007/978-3-662-49674-9
Format: Elektronik Kaynak

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2024-06-17T09:28:17Z

by Börger, Egon. editor.
http://dx.doi.org/10.1007/978-3-540-87603-8
Format: Elektronik Kaynak

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2024-06-17T09:28:17Z

by Gorton, Ian. editor.
http://dx.doi.org/10.1007/11783565
Format: Elektronik Kaynak

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-06-17T09:28:17Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/11901914
Format: Elektronik Kaynak

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2024-06-17T09:28:17Z

by Briand, Lionel. editor.
http://dx.doi.org/10.1007/11557432
Format: Elektronik Kaynak

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-06-17T09:28:17Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Elektronik Kaynak

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-06-17T09:28:17Z

by Virbitskaite, Irina. editor.
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Elektronik Kaynak

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-06-17T09:28:17Z

by Peled, Doron A. editor.
http://dx.doi.org/10.1007/11562948
Format: Elektronik Kaynak

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

2024-06-17T09:28:17Z

by Czarnecki, Krzysztof. editor.
http://dx.doi.org/10.1007/978-3-540-87875-9
Format: Elektronik Kaynak

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-06-17T09:28:17Z

by Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Elektronik Kaynak

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2024-06-17T09:28:17Z

by Baumeister, Hubert. editor.
http://dx.doi.org/10.1007/b137278
Format: Elektronik Kaynak

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

2024-06-17T09:28:17Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47166-2
Format: Elektronik Kaynak