出版者
- Imprint: Springer, (82)
- Springer Berlin Heidelberg, (31)
- Springer, (20)
- Springer-Verlag Berlin Heidelberg, (12)
- Springer-Verlag GmbH Berlin Heidelberg, (6)
- Springer-Verlag GmbH., (3)
- Springer-Verlag, (2)
- Imprint: Springer Vieweg, (2)
- Springer-Verlag London Limited, (2)
- Springer Science+Business Media, LLC, (2)
|
總筆數:474
| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Correct system design:symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / |
Roland Meyer, Andre Platzer, Heike Wehrheim. |
2015 |
查看
|
回報問題連結 |
| Reachability problems:9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / |
Mikolaj Bojanczyk, Slawomir Lasota, Igor Potapov. |
2015 |
查看
|
回報問題連結 |
| Relational and algebraic methods in computer science:15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / |
Wolfram Kahl, Michael Winter, Jose Oliveira. |
2015 |
查看
|
回報問題連結 |
| FM 2016:formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / |
John Fitzgerald ... [et al.]. |
2016 |
查看
|
回報問題連結 |
| Formal methods:foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / |
Leila Ribeiro, Thierry Lecomte. |
2016 |
查看
|
回報問題連結 |
| Formal techniques for safety-critical systems:5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / |
Cyrille Artho, Peter Csaba Olveczky. |
2017 |
查看
|
回報問題連結 |
| Algorithms and discrete applied mathematics:third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / |
Daya Gaur, N.S. Narayanaswamy. |
2017 |
查看
|
回報問題連結 |
| Formal techniques for safety-critical systems:5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / |
Cyrille Artho, Peter Csaba Olveczky. |
2017 |
查看
|
回報問題連結 |
| Algorithms and discrete applied mathematics:third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / |
Daya Gaur, N.S. Narayanaswamy. |
2017 |
查看
|
回報問題連結 |
| Programming for computations - MATLAB/Octave:a gentle introduction to numerical simulations with MATLAB/Octave / |
Svein Linge, Hans Petter Langtangen. |
2016 |
查看
|
回報問題連結 |
| Formal modeling and verification of cyber-physical systems ::1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / |
Rolf Drechsler, Ulrich Kuhne. |
|
查看
|
回報問題連結 |
| Descriptional complexity of formal systems ::17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings / |
Jeffrey Shallit, Alexander Okhotin. |
|
查看
|
回報問題連結 |
| Intelligent computer mathematics ::International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / |
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge. |
|
查看
|
回報問題連結 |
| Cellular automata and discrete complex systems ::21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings / |
Jarkko Kari. |
|
查看
|
回報問題連結 |
| Mathematics and computing ::ICMC, Haldia, India, January 2015 / |
Ram N. Mohapatra, Dipanwita Roy Chowdhury, Debasis Giri. |
|
查看
|
回報問題連結 |
| Foundation mathematics for computer science ::a visual approach / |
John Vince. |
|
查看
|
回報問題連結 |
| Mathematical foundations of computer science 2015 ::40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings. |
Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella. |
|
查看
|
回報問題連結 |
| Mathematical foundations of computer science 2015 ::40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings. |
Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella. |
|
查看
|
回報問題連結 |
| Information technology and applied mathematics :ICITAM 2017 / |
Peeyush Chandra, Debasis Giri, Fagen Li, Samarjit Kar, Dipak Kumar Jana. |
|
查看
|
回報問題連結 |
| Formal verification of floating-point hardware design :a mathematical approach / |
David M. Russinoff. |
|
查看
|
回報問題連結 |
| Formal techniques for safety-critical systems :6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / |
Cyrille Artho, Peter Csaba Olveczky. |
|
查看
|
回報問題連結 |
| NASA formal methods :11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / |
Julia M. Badger, Kristin Yvonne Rozier. |
|
查看
|
回報問題連結 |
| Formal methods :an appetizer / |
Flemming Nielson, Hanne Riis Nielson. |
|
查看
|
回報問題連結 |
| Combinatorial algorithms :30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019 : proceedings / |
Charles J. Colbourn, Roberto Grossi, Nadia Pisanti. |
|
查看
|
回報問題連結 |
| At the intersection of language, logic, and information :ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers / |
Jennifer Sikos, Eric Pacuit. |
|
查看
|
回報問題連結 |
| Computer algebra in scientific computing :19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / |
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. |
|
查看
|
回報問題連結 |
| Formal concept analysis :14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / |
Karell Bertet, Daniel Borchmann, Peggy Cellier, Sebastien Ferre. |
|
查看
|
回報問題連結 |
| Integrated formal methods :13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / |
Nadia Polikarpova, Steve Schneider. |
|
查看
|
回報問題連結 |
| ModelEd, testEd, trustEd :essays dedicated to Ed Brinksma on the occasion of his 60th birthday / |
Joost-Pieter Katoen, Rom Langerak, Arend Rensink. |
|
查看
|
回報問題連結 |
| NASA formal methods :9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / |
Clark Barrett, Misty Davies, Temesghen Kahsai. |
|
查看
|
回報問題連結 |
| Relational and algebraic methods in computer science :16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / |
Peter Hofner, Damien Pous, Georg Struth. |
|
查看
|
回報問題連結 |
|
|
|
