2008

25 years of model checking : history, achievements, perspectives

 

2016

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

ABZ (Conference) (5th : 2016 : Linz, Austria)

Switzerland : Springer, 2016

 

2022

Accelerating digital transformation : 10 years of Software Center

Cham : Springer, [2022]

 

2005

Accelerating Process Improvement Using Agile Techniques

Jacobs, Deb



 

2019

Achieving business agility : strategies for becoming pivot ready in a digital world

Orvos, John, author

[New York] : Apress, [2019]

 

2003

Acquisition of software engineering knowledge : SWEEP, an automatic programming system based on genetic programming and cultural algorithms

Cowan, George S



 

2017

ACS without an attitude

Hallock, Harold Louis, 1951- author.

London, United Kingdom : Springer, 2017

 

2020

Action research in software engineering : theory and applications

Staron, Miroslaw, author.

Cham, Switzerland : Springer, [2020]

 

2014

Activity monitoring by multiple distributed sensing : Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014 : revised selected papers

AMMDS (Workshop) (2nd : 2014 : Stockholm, Sweden)

Cham : Springer, [2014]

 

2015

Ad-hoc, mobile, and wireless networks : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29-July 1, 2015, Proceedings

ADHOC-NOW (Conference) (14th : 2015 : Athens, Greece)

Cham : Springer, 2015

 

1995

Ada 95 Rationale : the Language : The Standard Libraries

 

1995

Ada 95 Reference Manual : Language and Standard Libraries

 

2013

Ada 2012 rationale : the language, the standard libraries

Barnes, J. G. P. (John Gilbert Presslie), author.

Heidelberg : Springer, [2013]

 

2009

Ada for Software Engineers

Ben-Ari, M., 1948-
2nd ed. with Ada 2005


 

1984

ADA Software Tools Interfaces : Workshop, Bath, July 13-15, 1983. Proceedings

Wallis, Peter J. L., editor



 

2010

Adapting configuration management for Agile teams : balancing sustainability and speed

Moreira, Mario E



 

2011

Adaptive control approach for software quality improvement

New Jersey : World Scientific, 2011

 

2015

Adaptive resource management and scheduling for cloud computing : Second International Workshop, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015,

ARMS-CC (Workshop) (2nd : 2015 : San Sebastián, Spain)

Cham : Springer, [2015]

 

2014

Advanced C and C++ compiling

Stevanovic, Milan, author

[Berkeley, CA] : Apress, 2014

 

2013

Advanced computing

Heidelberg : Springer, 2013

 

2020

Advanced computing and systems for security.

International Doctoral Symposium on Applied Computation and Security Systems (10th : 2019 : Kolkata, India)

Singapore : Springer, [2020]

 

2018

Advanced computing strategies for engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I

EG-ICE Workshop (25th : 2018 : Lausanne, Switzerland)

Cham, Switzerland : Springer, [2018]

 

2018

Advanced computing strategies for engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings.

EG-ICE Workshop (25th : 2018 : Lausanne, Switzerland)

Cham, Switzerland : Springer, 2018

 

2018

Advanced concepts for intelligent vision systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings

ACIVS (Conference) (19th : 2018 : Poitiers, France)

Cham, Switzerland : Springer, 2018

 

1995

Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24-30, 1995 Tutorial Text

International Spring School on Advanced Functional Programming Techniques (1st : 1995 : Båstad, Sweden)



 

1996

Advanced Functional Programming : Second International School Olympia, WA, USA, August 26-30, 1996 Tutorial Text

 

2015

Advanced game design with HTML5 and JavaScript

Van der Spuy, Rex, author.

California : Apress, 2015

 

2018

Advanced gear engineering

Cham : Springer International Publishing : Imprint : Springer, 2018

 

1993

Advanced Information Systems Engineering : 5th International Conference, CAiSE '93 Paris, France, June 8-11, 1993 Proceedings

Rolland, Colette



 

1995

Advanced Information Systems Engineering : 7th International Conference, CAiSE '95 Jyväskylä, Finland, June 12-16, 1995 Proceedings

CAiSE (Conference) (7th : 1995 : Jyväskylä, Finland)



 

1996

Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20-24, 1996 Proceedings

CAiSE (Conference) (8th : 1996 : Crete, Greece)

Berlin, Heidelberg : Springer-Verlag, 1996

 

2017

Advanced information systems engineering : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings

CAiSE (Conference) (29th : 2017 : Essen, Germany)

Cham, Switzerland : Springer, 2017

 

2018

Advanced information systems engineering : 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

CAiSE (Conference) (30th : 2018 : Tallinn, Estonia)

Cham : Springer, 2018

 

2023

Advanced information systems engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, proceedings

CAiSE (Conference) (35th : 2023 : Zaragoza, Spain)

Cham : Springer, [2023]

 

2020

Advanced information systems engineering : CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings

CAiSE (Conference) (32nd : 2020 : Online)



 

2016

Advanced information systems engineering workshops : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings

CAiSE (Conference) (28th : 2016 : Ljubljana, Slovenia)

Switzerland : Springer, 2016

 

2015

Advanced information systems engineering workshops : CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings

Cham : Springer, 2015

 

2017

Advanced information systems engineering workshops : CAiSE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings

CAiSE (Conference) (29th : 2017 : Essen, Germany)

Cham, Switzerland : Springer, 2017

 

2018

Advanced information systems engineering workshops : CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings

CAiSE (Conference) (30th : 2018 : Tallinn, Estonia)

Cham, Switzerland : Springer, 2018

 

2018

Advanced information technology, services and systems : proceedings of the International Conference on Advanced Information Technology, Services and Systems (AIT2S-17) held on April 14/15, 2017 in Tan

International Conference on Advanced Information Technology, Services and Systems (2017 : Tangier, Morocco)

Cham : Springer, [2018]

 

2013

Advanced Joomla!

Rahmel, Dan



 

2010

Advanced lectures on software engineering : LASER summer school 2007/2008

 

2015

Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

APPT (Symposium) (11th : 2015 : Jinan Shi, China)

Cham : Springer, 2015

 

2017

Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

APPT (Symposium) (12th : 2017 : Santiago de Compostela, Spain)

Cham, Switzerland : Springer, 2017

 

2021

Advanced research in technologies, information, innovation and sustainability : first International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25-27, 2021, Proceedings

International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability (1st : 2021 : La Libertad, Ecuador ; Online)

Cham, Switzerland : Springer, 2021

 

2022

Advanced research in technologies, information, innovation and sustainability : second international conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, revised selected pap

International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability (2nd : 2022 : Santiago de Compostela, Spain)

Cham : Springer, [2022]

 

2022

Advanced research in technologies, information, innovation and sustainability : second international conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, revised selected pap

International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability (2nd : 2022 : Santiago de Compostela, Spain)

Cham : Springer, [2022]

 

2006

Advanced software engineering : expanding the frontiers of software technology

International Workshop on Advanced Software Engineering (1st : 2006 : Santiago, Chile)



 

2010

Advanced techniques in computing sciences and software engineering

 

2013

Advanced topics in C : core concepts in data structures

Kalicharan, Noel, author.

[Berkeley, CA] : Apress, 2013