Label | Dataset | Type | Subdivision | Identifier | |
---|---|---|---|---|---|
1. | Christ, Andreas, 1968- Analysis and improvement of the numerical properties of the FDTD algorithm Konstanz: Hartung-Gorre; 2005 |
BIBFRAME Instances |
Instance | 14565904 | |
2. | Ruth, Gregory Robert Analysis of algorithm implementations Cambridge: Project MAC, Massachusetts Institute of Technology; 1974 |
BIBFRAME Instances |
Instance | 2783764 | |
3. | Nan, Jingchang, 1971- Nonlinear modeling analysis and predistortion algorithm research of radio frequency power amplifiers Boca Raton: CRC Press, Taylor & Francis Group; 2022 |
BIBFRAME Instances |
Instance | 21861374 | |
4. | Nan, Jingchang, 1971- Nonlinear modeling analysis and predistortion algorithm research of radio frequency power amplifiers Boca Raton: CRC Press, Taylor & Francis Group; 2022 |
BIBFRAME Instances |
Instance | 21866938 | |
5. | Alpay, Daniel System theory, the Schur algorithm and multidimensional analysis Basel; Boston: Birkhäuser Verlag; c2007 |
BIBFRAME Instances |
Instance | 14721687 | |
6. | Ruth, Gregory Robert Analysis of algorithm implementations |
BIBFRAME Works |
Work Text Monograph |
2783764 | |
7. | Christ, Andreas, 1968- Analysis and improvement of the numerical properties of the FDTD algorithm |
BIBFRAME Works |
Work Text Monograph |
14565904 | |
8. | Mäkinen, Veli Genome-scale algorithm design Cambridge, United Kingdom; New York: University Printing House; 2015 |
BIBFRAME Instances |
Instance | 18375471 | |
9. | Nan, Jingchang, 1971- Nonlinear modeling analysis and predistortion algorithm research of radio frequency power amplifiers |
BIBFRAME Works |
Work Text Monograph |
21861374 | |
10. | Nan, Jingchang, 1971- Nonlinear modeling analysis and predistortion algorithm research of radio frequency power amplifiers |
BIBFRAME Works |
Work Text Monograph Multimedia |
21866938 | |
11. | System theory, the Schur algorithm and multidimensional analysis |
BIBFRAME Works |
Work Monograph |
14721687 | |
12. | Journal of music algorithms |
BIBFRAME Works |
Work Text Serial |
17669363 | |
13. | TACAS (Conference) (27th : 2021 : Online) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
nb2021010806 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (27th : 2021 : Online) ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International (27th : 2021 : Online) ; Tools and Algorithms for the Construction and Analysis of Sys... | |||||
14. | TACAS (Conference) (13th : 2007 : Braga, Portugal) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
nb2007008821 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (13th : 2007 : Braga, Portugal) ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International (13th : 2007 : Braga, Portugal) | |||||
15. | TACAS (Conference) (19th : 2013 : Rome, Italy) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
nb2013011131 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (19th : 2013 : Rome, Italy) ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International (19th : 2013 : Rome, Italy) ; TACAS 2013 (Conference) (2013 : Rome, Italy) | |||||
16. | TACAS (Conference) (15th : 2009 : York, England) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
nb2009007264 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (15th : 2009 : York, England) ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International (15th : 2009 : York, England) | |||||
17. | TACAS (Conference) (4th : 1998 : Lisbon, Portugal) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
n98035531 | |
International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (4th : 1998 : Lisbon, Portugal) ; Workshop on Tools and Algorithms for the Construction and Analysis of Systems, International (4th : 1998 : Lisbon, Portugal) | |||||
18. | TACAS (Conference) (12th : 2006 : Vienna, Austria) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
no2006038025 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (12th : 2006 : Vienna, Austria) ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International (12th : 2006 : Vienna, Austria) | |||||
19. | TACAS (Conference) (18th : 2012 : Tallinn, Estonia) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
nb2012009459 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (18th : 2012 : Tallinn, Estonia) ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International (18th : 2012 : Tallinn, Estonia) | |||||
20. | TACAS (Conference) |
LC Name Authority File (LCNAF) |
ConferenceName SimpleType Name Authority |
nb2013011116 | |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; Conference on Tools and Algorithms for the Construction and Analysis of Systems, International |
Do you need assistance with your search?