检索到 100 条 主题词=Logics and Meanings of Programs. 的结果
-
电子图书1.Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersbur...
馆藏复本：0
可借复本：0 edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün.
Springer International Publishing : 2017.
(0) 馆藏 -
电子图书2.Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQ...
馆藏复本：0
可借复本：0 edited by Alessandro Antonucci, Laurence Cholvy, Odile Papini.
Springer International Publishing : 2017.
(0) 馆藏 -
电子图书3.The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requ...
馆藏复本：0
可借复本：0 Jureta, Ivan.
Springer International Publishing : 2015.
(0) 馆藏 -
电子图书4.The 2-tuple Linguistic Model Computing with Words in Decision Making / 1st ed. 2015.
馆藏复本：0
可借复本：0 Martínez, Luis.
Springer International Publishing : 2015.
(0) 馆藏 -
电子图书5.Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembour...
馆藏复本：0
可借复本：0 edited by Cyrille Artho, Peter Csaba Ölveczky.
Springer International Publishing : 2015.
(0) 馆藏 -
电子图书6.Validation of Evolving Software 1st ed. 2015.
馆藏复本：0
可借复本：0 edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
Springer International Publishing : 2015.
(0) 馆藏 -
电子图书7.Refinement Semantics, Languages and Applications / 1st ed. 2018.
馆藏复本：0
可借复本：0 Derrick, John.
Springer International Publishing : 2018.
(0) 馆藏 -
电子图书8.Logics for Computer Science Classical and Non-Classical / 1st ed. 2018.
馆藏复本：0
可借复本：0 Wasilewska, Anita.
Springer International Publishing : 2018.
(0) 馆藏 -
电子图书9.Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–1...
馆藏复本：0
可借复本：0 edited by Lian Li, Pinyan Lu, Kun He.
Springer Singapore : 2018.
(0) 馆藏 -
电子图书10.Information and Communication Technologies in Education, Research, and Industrial Applications 13...
馆藏复本：0
可借复本：0 edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr,...
Springer International Publishing : 2018.
(0) 馆藏 -
电子图书11.Cellular Automata A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition...
馆藏复本：0
可借复本：0 edited by Andrew Adamatzky.
Springer US : 2018.
(0) 馆藏 -
电子图书12.A First Introduction to Quantum Computing and Information 1st ed. 2018.
馆藏复本：0
可借复本：0 Zygelman, Bernard.
Springer International Publishing : 2018.
(0) 馆藏 -
电子期刊13.Software Engineering Proceedings of CSI 2015 / 1st ed. 2019.
馆藏复本：0
可借复本：0 edited by M. N. Hoda, Naresh Chauhan, S. M. K. Quadri, Praveen Ranjan Srivastava.
Springer Singapore : 2019.
(0) 馆藏 -
电子期刊14.Answer Set Programming 1st ed. 2019.
馆藏复本：0
可借复本：0 Lifschitz, Vladimir.
Springer International Publishing : 2019.
(0) 馆藏 -
电子期刊15.Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast,...
馆藏复本：0
可借复本：0 edited by Cyrille Artho, Peter Csaba Ölveczky.
Springer International Publishing : 2019.
(0) 馆藏 -
电子期刊16.Logic Functions and Equations Binary Models for Computer Science / 2nd ed. 2019.
馆藏复本：0
可借复本：0 Posthoff, Christian.
Springer International Publishing : 2019.
(0) 馆藏 -
电子期刊17.Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Re...
馆藏复本：0
可借复本：0 edited by Shujian Huang, Kevin Knight.
Springer Singapore : 2019.
(0) 馆藏 -
电子图书18.Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization /
馆藏复本：0
可借复本：0 Draheim, Dirk.
Springer International Publishing : 2017.
(0) 馆藏 -
电子图书19.Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference,...
馆藏复本：0
可借复本：0 edited by Axel Legay, Tiziana Margaria.
Springer Berlin Heidelberg : 2017.
(0) 馆藏 -
电子图书20.Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, Sept...
馆藏复本：0
可借复本：0 edited by Ralf Klasing, Marc Zeitoun.
Springer Berlin Heidelberg : 2017.
(0) 馆藏
