Search alternatives:
national science » spatial science, animal science, natural sciences
natural science » natural sciences

81
Published 2024
Springer Nature Switzerland
Table of Contents: ... for requirements variability management: experiences from a design science study at Visma -- Natural2CTL: A Dataset...

82
Published 2023
Springer Nature Switzerland
Table of Contents: ... Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements...

83
Published 2008
Springer Netherlands
Table of Contents: ... and in the 16th Century -- Nature, Mechanics, and Voluntary Movement in Giuseppe Moletti’S Lectures...

84
by Parravicini, Jacopo
Published 2024
Springer Nature Switzerland
Table of Contents: ... to demonstrate everything -- True and false in Physics -- How “Science should be done”: trying and trying again...

85
Published 1999
Springer Berlin Heidelberg
Subjects: ...Computer science...

86
Published 1999
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

87
by Sawicki, M.
Published 1997
Springer Netherlands
Table of Contents: ... and the First Book of the Ideen -- Nature and Intellect in Ideen II -- 3: Edith Stein’s Hermeneutic Theory...

88
by Hamilton, Laura S.
Published 2002
Rand

89
Published 2013
Springer Netherlands
Table of Contents: .... John Schuster: What Was the Relation of Baroque Culture to the Trajectory of Early Modern Natural...

90
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...Languages: From Formal to Natural -- Modular Verification of Recursive Programs -- Semi-formal...

91
by Jiang, Di, Zhang, Chen, Song, Yuanfeng
Published 2023
Springer Nature Singapore
Subjects: ...Natural language processing (Computer science)...

92
Published 1985
Springer US
Table of Contents: ...Information Measurement in Natural and Artificial Systems -- On the Validation of Computer Science...

93
Published 2018
Springer International Publishing
Table of Contents: ... Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs...

94
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... -- Decision problems for cellular automata and their semigroups -- On the nature of events -- New parallel...

95
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...An Exact 2.9416 n Algorithm for the Three Domatic Number Problem -- D-Width: A More Natural Measure...

96
Published 1989
Springer Berlin Heidelberg
Table of Contents: ...Constructive aspects of the omega-rule : Application to proof systems in computer science...

97
by Dompere, Kofi Kissi
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Exact Science, Its Critique of Inexact Science and Rationality in Vagueness -- The Laws of Thought...

98
Published 2024
Springer Nature Singapore
Table of Contents: ...Chapter 1. Introduction -- Chapter 2. Sociological Foundations of Computational Social Science...

99
Published 2024
Springer Nature Switzerland
Subjects: ...Computer science...

100
Published 2024
Springer Nature Switzerland
Subjects: ...Computer science...