Bitte beachten Sie auch das verfügbare Angebot an E-Books, die zurzeit noch nicht in unserem Katalog nachgewiesen sind, aber über die Verlagsportale bereits freigeschaltet sind.
Agent Technology from a Formal Perspective [Elektronische Ressource]
  • NASA Monographs in Systems and Software Engineering
Rouff, Christopher A.; Hinchey, Michael; Rash, James; Truszkowski, Walter; Gordon-Spears, Diana - 2006
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Geometric methods in algebra and number theory
Bogomolov, Fedor A. [Herausgeber]; [u.a.] - 2005
Signatur: TAY030036
Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Bois, André Rauber; Trinder, Phil [editor] - 2013
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Johnsen, Einar Broch; Petre, Luigia - 2013
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Quintão Pereira, Fernando Magno - 2014
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Software abstractions : logic, language, and analysis
Jackson, Daniel - 2006
Signatur: TWQ11634
Time for Verification : Essays in Memory of Amir Pnueli [Elektronische Ressource]
  • Lecture Notes in Computer Science
Manna, Zohar; Peled, Doron A. - 2010
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers [Elektronische Ressource]
  • Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Hinchey, Michael G.; Rash, James L.; Rouff, Christopher A.; Truszkowski, Walter F. - 2005
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Butler, Michael; Schulte, Wolfram - 2011
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
FME 2002:Formal Methods—Getting IT Right : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Eriksson, Lars-Henrik; Lindsay, Peter Alexander - 2002
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Jones, Cliff; Pihlajasaari, Pekka [editor]; Sun, Jun [editor] - 2014
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Cuellar, Jorge; Maibaum, Tom; Sere, Kaisa - 2008
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Bjørner, Nikolaj; de Boer, Frank - 2015
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Integrated Formal Methods : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Butler, Michael; Petre, Luigia; Sere, Kaisa - 2002
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Integrated Formal Methods : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Grieskamp, Wolfgang; Santen, Thomas; Stoddart, Bill - 2000
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers [Elektronische Ressource]
  • Lecture Notes in Computer Science
Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark - 2008
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Program flow analysis : theory and applications
  • Prentice-Hall software series
Muchnick, Steven S.; [u.a.] - 1981
Signatur: TXB2383
The algebra of econometrics
  • Wiley series in probability and mathematical statistics: Applied probability and statistics
Pollock, David S. G. - 1979
Signatur: TLU2291
Programming Languages and Systems
Müller, Peter - 2020
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures [Elektronische Ressource]
  • Lecture Notes in Computer Science
Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso - 2012
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Quantum fields, algebras, processes : [proceedings of the Symposium "Bielefeld Encounters in Physics and Mathematics II: Quantum Fields, Algebras, Processes" with the Workshop "White Noise Approach to Quantum Dynamics" at the Centre for Interdisciplinary Research, Bielefeld University, Federal Republic of Germany, December 1 - 9, 1978]
Streit, Ludwig [Herausgeber]; Workshop White Noise Approach to Quantum Dynamics (1978 : Bielefeld) - 1980
Signatur: UAL780023
Formal Methods: State of the Art and New Directions [Elektronische Ressource]
Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed - 2010
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Geometric Methods in Algebra and Number Theory [Elektronische Ressource]
  • Progress in Mathematics
Bogomolov, Fedor; Tschinkel, Yuri - 2005
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers [Elektronische Ressource]
  • Lecture Notes in Computer Science
Aichernig, Bernhard K.; Maibaum, Tom - 2003
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Elements of mathematical logic : (model theory)
  • Studies in logic and the foundations of mathematics
Kreisel, Georg; Krivine, Jean-Louis - 2., rev. print. - 1971
Signatur: TCK1809
Nach oben
Die Universität der Informationsgesellschaft