Browse Results

Showing 31,576 through 31,600 of 83,248 results
Title Author ISBN Copyright Features Action
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications 4655059 Dirk Draheim Gerald Weber 9783540268932 2005
Form Versus Function: Theory and Models for Neuronal Substrates (Springer Theses) 2847361 Mihai Alexandru Petrovici 9783319395524 2016 Contains images
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (SpringerBriefs in Applied Sciences and Technology) 4355661 Benjamin Aziz 9783030911539 2022 Contains images
Formal Analysis for Natural Language Processing: A Handbook 5282063 Zhiwei Feng 9789811651724 2023 Contains images
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science #2300) 4820383 Wilfried Brauer Hartmut Ehrig Juhani Karhumäki Arto K. Salomaa 9783540457114 2002
A Formal Approach to Hardware Design (The Springer International Series in Engineering and Computer Science #253) 3770716 Jørgen Staunstrup 9781461527640 1994
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3228) 4690787 Michael G. Hinchey James L. Rash Walter F. Truszkowski Christopher A. Rouff 9783540309604 2005
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science #2699) 4775615 Michael G. Hinchey James L. Rash Walter F. Truszkowski Christopher Rouff Diana Gordon-Spears 9783540451334 2003
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science #1871) 4632705 James L. Rash Christopher A. Rouff Walter Truszkowski Diana Gordon Michael G. Hinchey 9783540454847 2001
Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3395) 4753545 Jens Grabowski Brian Nielsen 9783540318484 2005
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3997) 4620287 Wolfgang Grieskamp Carsten Weise 9783540344551 2006
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science #2931) 4626021 Andreas Ulrich 9783540246176 2004
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 (Lecture Notes in Computer Science #4262) 4791390 Klaus Havelund Manuel Núnez Grigore Rosu Burkhart Wolff 9783540497035 2006
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Lecture Notes in Computer Science #5983) 4751881 Pierpaolo Degano Joshua D. Guttman 9783642124594 2010
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science #5491) 4779172 Pierpaolo Degano Joshua D. Guttman Fabio Martinelli 9783642014659 2009
Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France (IFIP Advances in Information and Communication Technology #173) 3819326 Theo Dimitrakos Fabio Martinelli 9780387240985 2005
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3866) 4694991 Theo Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve Schneider 9783540326298 2006
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4691) 4789704 Theo Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve Schneider 9783540752271 2007
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings (Lecture Notes in Computer Science #12018) 3101818 Farhad Arbab Sung-Shik Jongmans 9783030409142 2020 Contains images
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7253) 4731445 Farhad Arbab Peter Csaba Ölveczky 9783642357435 2012
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Lecture Notes in Computer Science #11222) 2241729 Kyungmin Bae Peter Csaba Ölveczky 9783030021467 2018 Contains images
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6921) 4805607 Luis Soares Barbosa Markus Lumpe 9783642272691 2012
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science #9539) 2838906 Christiano Braga Peter Csaba Ölveczky 9783319289342 2016 Contains images
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14485) 5887803 Javier Cámara Sung-Shik Jongmans 9783031521836 2024 Contains images
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8348) 2809316 José Luiz Fiadeiro Zhiming Liu Jinyun Xue 9783319076027 2014 Contains images

Refine Search

Showing 31,576 through 31,600 of 83,248 results