Info
- Select one or more items in order to activate some functionalities like: print, send by email, download in available formats.
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / Anil Nerode, Noam Greenberg
| Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / Anil Nerode, Noam Greenberg |
| Author | Nerode, Anil <1932- > |
| Publication | Cham, : Springer, 2022 |
| Physical description | xiv, 450 p. : ill. ; 24 cm |
| Other authors (Person) | Greenberg, Noam |
| Uncontrolled subject |
Algebraic curves
Complex Analysis Elliptic curves Elliptic functions Manifolds Path Integrals Riemann surfaces uniformization of elliptic curves |
| Format | Language material  |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-VAN0276831 |
Nerode, Anil <1932- >
|
||
| Cham, : Springer, 2022 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / Anil Nerode, Noam Greenberg
| Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / Anil Nerode, Noam Greenberg |
| Author | Nerode, Anil <1932- > |
| Publication | Cham, : Springer, 2022 |
| Physical description | xiv, 450 p. : ill. ; 24 cm |
| Other authors (Person) | Greenberg, Noam |
| Topical subject |
14-XX - Algebraic geometry [MSC 2020]
14Hxx - Curves in algebraic geometry [MSC 2020] 30-XX - Functions of a complex variable [MSC 2020] 30Fxx - Riemann surfaces [MSC 2020] |
| Uncontrolled subject |
Algebraic curves
Complex Analysis Elliptic curves Elliptic functions Manifolds Path Integrals Riemann surfaces uniformization of elliptic curves |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-VAN00276831 |
|
Nerode, Anil <1932- >
|
||
| Cham, : Springer, 2022 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode
| Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode |
| Author | Khoussainov, Bakhadyr |
| Publication | Boston [etc.], : Birkhäuser, 2001 |
| Physical description | XIV, 430 p. ; 24 cm. |
| Other authors (Person) | Nerode, Anil <1932- > |
| Topical subject | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-17-64207-2 |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-SUN0055596 |
|
Khoussainov, Bakhadyr
|
||
| Boston [etc.], : Birkhäuser, 2001 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode
| Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode |
| Author | Khoussainov, Bakhadyr |
| Publication | Boston [etc.], : Birkhäuser, 2001 |
| Physical description | XIV, 430 p. ; 24 cm |
| Other authors (Person) | Nerode, Anil <1932- > |
| Topical subject | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-17-64207-2 |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-VAN0055596 |
|
Khoussainov, Bakhadyr
|
||
| Boston [etc.], : Birkhäuser, 2001 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode
| Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode |
| Author | Khoussainov, Bakhadyr |
| Publication | Boston [etc.], : Birkhäuser, 2001 |
| Physical description | XIV, 430 p. ; 24 cm |
| Other authors (Person) | Nerode, Anil <1932- > |
| Topical subject | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-17-64207-2 |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-VAN00055596 |
|
Khoussainov, Bakhadyr
|
||
| Boston [etc.], : Birkhäuser, 2001 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Author | Crossley, John N. |
| Publication | Berlin, : Springer, 1974 |
| Physical description | viii, 146 p. ; 24 cm |
| Other authors (Person) | Nerode, Anil <1932- > |
| Topical subject |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Uncontrolled subject |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-VAN0255990 |
|
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Author | Crossley, John N. |
| Publication | Berlin, : Springer, 1974 |
| Physical description | viii, 146 p. ; 24 cm |
| Other authors (Person) | Nerode, Anil <1932- > |
| Topical subject |
03-XX - Mathematical logic and foundations [MSC 2020]
03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Uncontrolled subject |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-VAN00255990 |
|
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Publication | Cham, : Springer, 2020 |
| Physical description | x, 287 p. : ill. ; 24 cm |
| Topical subject |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Uncontrolled subject |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Uniform title | |
| Record Nr. | UNICAMPANIA-VAN0249404 |
| Cham, : Springer, 2020 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Publication | Cham, : Springer, 2020 |
| Physical description | x, 287 p. : ill. ; 24 cm |
| Topical subject |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Uncontrolled subject |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Uniform title | |
| Record Nr. | UNICAMPANIA-VAN00249404 |
| Cham, : Springer, 2020 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.]
| Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.] |
| Publication | Boston, : Birkhäuser, 1993 |
| Physical description | XII, 813 p. ; 24 cm. |
| Topical subject |
03-XX - Mathematical logic and foundations [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 08-17-63690-0 |
| Format | Language material |
| Bibliographic level | Monograph |
| Language | eng |
| Record Nr. | UNICAMPANIA-SUN0056980 |
| Boston, : Birkhäuser, 1993 | ||
| Language material | ||
| You will find it: Univ. Vanvitelli | ||
| ||
