|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Rough Sets XVIII [electronic resource] / edited by James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang, JingTao Yao, Hung Son Nguyen.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Li, Tianrui [editor.] | Yang, Yan [editor.] | Yao, JingTao [editor.] | Nguyen, Hung Son [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Current Trends in Web Engineering [electronic resource] : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / edited by Irene Garrigós, Manuel Wimmer.
by Garrigós, Irene [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.
by Atig, Mohamed Faouzi [editor.] | Bensalem, Saddek [editor.] | Bliudze, Simon [editor.] | Monsuez, Bruno [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Programming-Based Formal Languages and Automata Theory [electronic resource] : Design, Implement, Validate, and Prove / by Marco T. Morazán.
by Morazán, Marco T [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings / edited by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel.
by Guizzardi, Giancarlo [editor.] | Gailly, Frederik [editor.] | Suzana Pitangueira Maciel, Rita [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings / edited by Fairouz Kamareddine, Claudio Sacerdoti Coen.
by Kamareddine, Fairouz [editor.] | Sacerdoti Coen, Claudio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers / edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova.
by Yavorskiy, Rostislav [editor.] | Cavalli, Ana Rosa [editor.] | Kalenkova, Anna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
R-Calculus, V: Description Logics [electronic resource] / by Wei Li, Yuefei Sui.
by Li, Wei [author.] | Sui, Yuefei [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Trustworthy Global Computing [electronic resource] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers / edited by Pierre Ganty, Michele Loreti.
by Ganty, Pierre [editor.] | Loreti, Michele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.
by Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Geometric Modeling and Processing [electronic resource] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / edited by Falai Chen, Bert Jüttler.
by Chen, Falai [editor.] | Jüttler, Bert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / edited by Javier Cámara, Sung-Shik Jongmans.
by Cámara, Javier [editor.] | Jongmans, Sung-Shik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe.
by van den Herik, Jaap [editor.] | Rocha, Ana Paula [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Flexible Query Answering Systems [electronic resource] : 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings / edited by Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà, Troels Andreasen, Henning Christiansen.
by Cuzzocrea, Alfredo [editor.] | Greco, Sergio [editor.] | Larsen, Henrik Legind [editor.] | Saccà, Domenico [editor.] | Andreasen, Troels [editor.] | Christiansen, Henning [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings / edited by Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, Sven Linker.
by Pietarinen, Ahti-Veikko [editor.] | Chapman, Peter [editor.] | Bosveld-de Smet, Leonie [editor.] | Giardino, Valeria [editor.] | Corter, James [editor.] | Linker, Sven [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Topics in Theoretical Computer Science [electronic resource] : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings / edited by Luís S. Barbosa, Mohammad Ali Abam.
by S. Barbosa, Luís [editor.] | Ali Abam, Mohammad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizzini.
by Jirásková, Galina [editor.] | Pighizzini, Giovanni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
FPGA EDA [electronic resource] : Design Principles and Implementation / by Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipović, Zhufei Chu.
by Tu, Kaihui [author.] | Tang, Xifan [author.] | Yu, Cunxi [author.] | Josipović, Lana [author.] | Chu, Zhufei [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Provenance and Annotation of Data and Processes [electronic resource] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings / edited by Boris Glavic, Vanessa Braganholo, David Koop.
by Glavic, Boris [editor.] | Braganholo, Vanessa [editor.] | Koop, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
